Skip to Main content Skip to Navigation
Conference papers

Working Memory for Assessment Under Inconsistency

Pierre Bisquert 1, 2 Florence Dupin de Saint Cyr - Bannay 3 
2 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
3 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Abstract : This paper proposes a new way of handling the inconsistency of a knowledge base when answering to a query about the validity of a formula. The idea is inspired by human behavior in front of inconsistency, namely, try to never encounter it. For this purpose, we encode a kind of compartmentalization of the working memory. More precisely, given a query and a potentially inconsistent knowledge base, called long term memory, our system only loads in working memory the consistent knowledge which is the most related to the query. We position this system with regard to a major reference in the field, Brewka's preferred subtheories, and study its efficiency by providing complexity and experimental results.
Document type :
Conference papers
Complete list of metadata
Contributor : Florence Dupin de Saint-Cyr Connect in order to contact the contributor
Submitted on : Friday, August 27, 2021 - 5:59:14 PM
Last modification on : Friday, August 5, 2022 - 3:03:00 PM
Long-term archiving on: : Sunday, November 28, 2021 - 6:54:20 PM


Files produced by the author(s)


  • HAL Id : hal-03327998, version 1


Pierre Bisquert, Florence Dupin de Saint Cyr - Bannay. Working Memory for Assessment Under Inconsistency. NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, Nov 2021, Hanoï, Vietnam. pp.149--158. ⟨hal-03327998⟩



Record views


Files downloads