Handling Incoming Beliefs

Philippe Besnard (1, 2) , Eric Grégoire (3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 CRIL - Centre de Recherche en Informatique de Lens

Most logic-based approaches to knowledge and belief change in artificial intelligence assume that when a new piece of information comes up, it should be merely added to the current beliefs or knowledge when this does not lead to inconsistency. This paper addresses situations where this assumption does not hold. The focus is on the construction of Boolean standard-logic knowledge and belief bases in this context. We propose an approach to handle incoming beliefs that can require some formulas reconstruction or a form of preemption to be performed.

Mots clés: Knowledge Engineering; Knowledge Representation; Logic-based Artificial Intelligence

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Philippe Besnard, Eric Grégoire. Handling Incoming Beliefs. 6th International Conference on Knowledge Science, Engineering and Management (KSEM 2013), Aug 2013, Dalian, China. pp. 206-217. ⟨hal-01177078⟩