Belief Revision in Propositional Knowledge Bases

George Flouris
Dimitris Plexousakis

Department of Computer Science, University of Crete
P.O.Box 2208, Heraklion, Crete, GR-714 09 GREECE
{fgeo,dp}@csd.uch.gr

Abstract
A most crucial problem in knowledge representation is the revision of 
knowledge when new, possibly contradictory, information is obtained 
(belief revision). In this paper, we address this problem when the 
knowledge base is a set of expressions in propositional logic. We 
introduce a new representation of propositional expressions using 2-
dimensional tables and show why this representation is more 
expressive than classical propositional logic. We exploit this 
increased expressiveness to devise a solution to the problem of 
belief revision in propositional knowledge bases and describe how to 
represent data and knowledge with tables, as well as a simple method 
to perform revisions under this new notion. Finally, we provide a 
theoretical foundation of our method and compare it with proposed 
algorithms from the literature.