Le raisonnement à base de logique propositionnelle à l'appui de la fusion et de la révision de bases de données géospatiales
|Authors:||Noël de Tilly, Antoine|
|Advisor:||Edwards, Geoffrey; Mostafavi, Mir Abolfazl|
|Abstract:||The objective of this thesis is to make a comparison between a qualitative reasoning approach based on PROLOG with another approach based on ASP. Our principal research question was the following : Can the Smodels reasoning engine, allowing for advanced non monotonic reasoning and introducing the stable model concept, allow us to solve ontological consistency checking problems as well as revision problems in a geomatic context ? To answer this question, we carried out a series of tests on a cross-section from the National Topographical Database (NTDB). In the light of the results obtained, this approach has proven very effective and contributes to the amelioration of geospatial information consistency and to the resultant improvement in spatial reasoning.|
|Document Type:||Mémoire de maîtrise|
|Open Access Date:||13 April 2018|
|Collection:||Thèses et mémoires|
All documents in CorpusUL are protected by Copyright Act of Canada.