Working Memory for Assessment Under Inconsistency - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage Access content directly
Conference Papers Year :

Working Memory for Assessment Under Inconsistency


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.
Fichier principal
Vignette du fichier
Working_Memory.pdf (479.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03327998 , version 1 (27-08-2021)


  • 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⟩
147 View
33 Download


Gmail Facebook Twitter LinkedIn More