Élaboration d'un système de maintien de vérité : une approche orientée objet

Authors: Diri, Driss
Advisor: Tourigny, NicoleCapus, Laurence
Abstract: The objective of this master’s degree dissertation is to propose an object oriented approach for the design of negated non-monotonic justifications-based truth maintenance systems (NNMJTMS). A truth maintenance system (TMS) is a module assisting knowledge-based systems to conduct belief revision. There are three main types of TMS: justification-based, logical-based and assumption-based. All of these systems use network structures to register instances of a set of production rules according to a list-oriented paradigm. We propose in our work to adopt an object-oriented approach for the design of a TMS. We went through the following steps: review of existing TMS, modeling a TMS at the knowledge level, design and implementation using patterns and testing. To test the TMS in conjunction with a client system, two examples borrowed from scientific literature indicate that our system offers functionalities equivalent to those of the TMS found in the literature. In the first example, we validate some textbook cases. And in the second one, we test the load capacity of the TMS system while assisting a tiny search engine.
Document Type: Mémoire de maîtrise
Issue Date: 2009
Open Access Date: 16 April 2018
Permalink: http://hdl.handle.net/20.500.11794/20719
Grantor: Université Laval
Collection:Thèses et mémoires

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