Model-based Algorithm for Belief Revisions between Normal Conjunctive Forms

Authors

  • Guillermo De Ita Fac. Cs. de la Computación, Benemerita Universidad Autonoma de Puebla
  • Fernando Zacarias Flores Benemerita Universidad Autonoma de Puebla
  • Alma Delia García García Benemerita Universidad Autonoma de Puebla

DOI:

https://doi.org/10.13053/cys-21-3-2442

Keywords:

Propositional inference, belief revision, model based inference, postulates KM.

Abstract

Belief revision is a central area in knowledge representation and processing of automated reasoning. We will consider a knowledge base (KB) K and a new information φ, both expressed in conjunctive form(CF). We present here, a novel, deterministic and correct algorithm for belief revision of φ in K. We denote our revision operator as: K 0 = K ◦ φ. We introduce a new logical binary operator Ind between two conjunctive forms, such that Ind(φ,K) generates also a conjunctive form. The operator Ind(φ,K) works building independent clauses with the clauses of K, and whose falsifying assignments of the resulting formula cover exactly the space of assignments Fals(φ) − Fals(K), this is essential for performing the process of belief revision K 0 = K ◦ φ, where K 0 |= φ. Furthermore, our proposal satisfies the KM postulates. We also present the correctness proof of our belief revision method, and the analysis of its time complexity.

Author Biography

Guillermo De Ita, Fac. Cs. de la Computación, Benemerita Universidad Autonoma de Puebla

Professor-Researcher

Downloads

Published

2016-12-26

Issue

Vol. 21 No. 3 (2017): Thematic issue: Advances in Logic-based Methods for Intelligent Systems (J. C. Nieves, E. Hermann Haeusler, B. Lopes)

Section

Articles of the Thematic Issue

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.