A practical parallel algorithm for propositional knowledge base revision

1996 ◽  
Vol 1 (3-4) ◽  
pp. 473-477
Author(s):  
Sun Wei ◽  
Tao Xuehong ◽  
Ma Shaohao
Keyword(s):  
Knowledge Base ◽  
Parallel Algorithm ◽  
Propositional Knowledge ◽  
Base Revision ◽  
Propositional Knowledge Base

A practical propositional knowledge base revision algorithm

1997 ◽  
Vol 12 (2) ◽  
pp. 154-159 ◽  
Author(s):  
Xuehong Tao ◽  
Wei Sun ◽  
Shaohan Ma
Keyword(s):  
Knowledge Base ◽  
Propositional Knowledge ◽  
Base Revision ◽  
Propositional Knowledge Base

Propositional knowledge base revision and minimal change

1991 ◽  
Vol 52 (3) ◽  
pp. 263-294 ◽  
Author(s):  
Hirofumi Katsuno ◽  
Alberto O. Mendelzon
Keyword(s):  
Knowledge Base ◽  
Minimal Change ◽  
Propositional Knowledge ◽  
Base Revision ◽  
Propositional Knowledge Base

scholarly journals New Polynomial Classes for Logic-Based Abduction

2003 ◽  
Vol 19 ◽  
pp. 1-10 ◽  
Author(s):  
B. Zanuttini
Keyword(s):  
Knowledge Base ◽  
Propositional Logic ◽  
Propositional Knowledge ◽  
General Algorithm ◽  
Propositional Knowledge Base

We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of abduction problems.

Knowledge-base revision

2000 ◽  
Vol 15 (4) ◽  
pp. 339-370 ◽  
Author(s):  
ODILE PAPINI
Keyword(s):  
Knowledge Base ◽  
Base Revision

This paper surveys the most representative approaches of knowledge-base revision. After a description of the revision characterization according to the AGM paradigm, the paper reviews different revision methods. In each case, the same example is used, as a reference example, to illustrate the different approaches. Closely connected with revision, some other non-monotonic approaches, like update, are briefly presented.

Sign in / Sign up

Export Citation Format

Share Document