Title :
A Model-Based Algorithm for Propositional Belief Revision
Author :
De I Luna, G. ; Flores, F.Z.
Author_Institution :
Univ. Autonoma de Puebla (BUAP), Puebla, Mexico
Abstract :
Propositional Inference and belief revision are quite relevant to Automatic Reasoning. Given a KB Σ in DF and new information Σ´ in CF, we show a deterministic and complete linear-time algorithm to decide Σ ⊢ Σ´. We adapt the previous algorithm to build a model-based proposal for belief revision: Σ´ = Σ · P. Our proposal is based on Dalal´s method of building a new DF Σ´ consistent with p and whose models have the property to hold minimum changes with models of the original KB Σ. We show that, in the worst case, our proposal of belief revision involves the solution of satisfiability instances formed by subformulas of p, which implies the solution of NP-complete problems.
Keywords :
computability; computational complexity; deterministic algorithms; model-based reasoning; Dalal method; NP-complete problems; automatic reasoning; complete linear-time algorithm; deterministic algorithm; model-based algorithm; propositional belief revision; propositional inference; satisfiability instances; Adaptation models; Artificial intelligence; Bismuth; Cognition; Inference algorithms; Proposals; Silicon; Automated Reasoning; Belief Revision; Model-Based Procedures; Propositional Inference;
Journal_Title :
Latin America Transactions, IEEE (Revista IEEE America Latina)
DOI :
10.1109/TLA.2015.7106357
