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, GeoffreyMostafavi, 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
Issue Date: 2007
Open Access Date: 13 April 2018
Permalink: http://hdl.handle.net/20.500.11794/19730
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
Description SizeFormat 
25066.pdfTexte1.29 MBAdobe PDFThumbnail
All documents in CorpusUL are protected by Copyright Act of Canada.