Loading [MathJax]/extensions/TeX/mhchem.js
An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base | IEEE Journals & Magazine | IEEE Xplore

An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base


Abstract:

The belief revision process involves several problems considered hard. One of the crucial problems is how to represent to the knowledge base K to consider, as well as how...Show More

Abstract:

The belief revision process involves several problems considered hard. One of the crucial problems is how to represent to the knowledge base K to consider, as well as how to represent and to add new information , which may even be contradictory to the knowledge base. In this work, both the knowledge base and the new information are in conjunctive normal form. Each clause of a conjunctive normal form is encoded by a string consisting of: 0, 1, *, representing the falsifying assignments of the clause. To use the falsifying assignments of the clauses allows to perform efficiently different logical operators among conjunctive forms. Our belief revision process (K * ) between conjunctive forms is based on solving first the propositional inference, i.e. K = . Based on to count falsifying assignments represented by tertiary chains, an algorithmic proposal is made that allows to determine in a practical way, when (K E ( K * )) is inconsistent. Finally, the time-complexity analysis of our algorithmic proposal is carried out.
Published in: IEEE Latin America Transactions ( Volume: 19, Issue: 11, November 2021)
Page(s): 1867 - 1874
Date of Publication: 07 July 2021
Electronic ISSN: 1548-0992

Contact IEEE to Subscribe