Détail de l'auteur
Auteur Khaled Al-Taha |
Documents disponibles écrits par cet auteur (2)
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externes
Titre : Temporal reasoning in cadastral systems Titre original : [Raisonnement temporel dans les systèmes cadastraux] Type de document : Thèse/HDR Auteurs : Khaled Al-Taha, Auteur Editeur : Maine [Etats-Unis] : University of Maine Année de publication : 1992 Importance : 211 p. Format : 21 x 30 cm Note générale : Bibliographie
Philosophy Doctorate Dissertation, Department of Surveying EngineeringLangues : Anglais (eng) Descripteur : [Vedettes matières IGN] Cadastre numérique
[Termes IGN] base de connaissances
[Termes IGN] base de données foncières
[Termes IGN] base de données temporelles
[Termes IGN] cadastre
[Termes IGN] enregistrement immobilier
[Termes IGN] logique modale
[Termes IGN] prototype
[Termes IGN] raisonnement temporel
[Termes IGN] relation topologique
[Termes IGN] système d'information géographiqueIndex. décimale : THESE Thèses et HDR Résumé : (auteur) Recently, temporal reasoning is getting more attention in GIS. From 1985 until the present, the number of research groups working on temporal GIS has noticeably increased. Yet, much research must still be done before temporal GIS become available. Information systems have to consider temporal data to answer queries that could not be answered otherwise, such as: "Which town had the greatest increase in population last year?" We believe that a detailed case study was necessary to determine the actual-reasoning structures and requirements in temporal GIS. Cadastral systems provide us with such an example. A cadastral system must include temporal data to answer queries as: "Who owned this house in 1988?" The goal of this thesis is to understand the reasoning powers in traditional cadastral systems better. We are studying the process of recording and inferring about rights in traditional cadastral systems to obtain the underlying logic-base. Once we understand how the reasoning is done in such systems, we can formalize their conceptual entities and operations. Temporal reasoning is necessary for knowledge-based cadastral systems that will make assertions and inferences to assist users in making their decisions more easily and reliably. To achieve this goal, we need to gain a clear understanding of the temporal aspects, rules and operations used in the reasoning about cadastral records. The objectives for achieving this goal are (1) to study and analyze the needed expressive power for temporal data in cadastral systems; (2) to identify and formalize the conceptual entities of a cadastral system; (3) to formalize, with a temporal logic, procedures for an intelligent search and to make inferences about temporal events in these systems; and (4) to prove the correctness of the concept by implementing a prototype. The major contribution of this study is to provide the different temporal reasoning powers in cadastral systems, to provide a formal description of the legal and topological reasoning in them, and to provide us with the temporal logic that is necessary for it. Note de contenu : 1. Introduction
1.1. GIS and Dynamic World
1.2. Thesis goal
1.3. approach
1.4. Thesis contribution
2. Temporal reasoning models and temporal databases
2.1. Introduction
2.2. Issues in temporal reasoning
2.3. Temporal reasoning models
2.4. Temporal databases
2.5. Related work on temporal GIS
2.6. Summary
3.Temporal issues in cadastral systems
3.1. Introduction
3.2. Review of cadastral systems
3.3. Changes in a cadatre
3.4. Sample queries and reasoning examples
3.5. Summary
4. Temporal representation in cadatral system
4.1. Introduction
4.2. Time perspectives
4.3. Time primitives and time duration
4.4. Actions and their temporal effects
4.5. Summary
5. A temporal logic for deed-recording systems
5.1. Introduction
5.2. Predicate calculus (First-Order Logic)
5.3. A temporal reasoning model for deed-recording cadastral systems
5.4. Deed recording systems
5.5. Temporal reasoning examples
5.6. Summary
6. A knowledge-based temporal cadatral system
6.1. Introduction
6.2. Review of conceptual-Design models
6.3. Conceptual entities in the deed-recording cadastral system
6.4. Conceptual design of the deed recording cadastral system
6.5. Abstract representations of cadastral data-types
6.6. Summary
7. Pilot-Implementation
7.1. Introduction
7.2. Prototype
7.3. User interface
7.4. Reasoning abbout real estate records
7.5. Implementation issues for real data
7.6. Summary
8. Conclusions and Recommandations
8.1. Introduction
8.2. Summary of Thesis work
8.3. Results and major findings
8.4. Recommendations for future work
8.5. Open questionsNuméro de notice : 61697 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Thèse étrangère Note de thèse : PhD dissertation : Ingénierie géomatique : Maine : 1992 Organisme de stage : Department of Surveying Engineering Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=45865 Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 61697-01 THESE Livre Centre de documentation Thèses Disponible
