论文信息 - Extending Knowledge Base Update into First-Order Knowledge Bases

Extending Knowledge Base Update into First-Order Knowledge Bases

In this paper, we introduce a new belief update operator. In contrast to all existing approaches to this problem, which are based on propositional or description logics, our proposal admits representing knowledge bases in full first-order logic. In consequence, our proposal is much more expressive than the existing ones.

Witold Lukaszewicz | Ewa Madalinska-Bugaj | W. Lukaszewicz | Ewa Madalinska-Bugaj

[1] Andreas Herzig,et al. The PMA Revisited , 1996, KR.

[2] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[3] George Boole,et al. An Investigation of the Laws of Thought: Frontmatter , 2009 .

[4] Joachim Hertzberg,et al. How to do Things with Worlds: On Formalizing Actions and Plans , 1993, J. Log. Comput..

[5] Patrick Doherty,et al. The PMA and Relativizing Minimal Change for Action Update , 1998, Fundam. Informaticae.

[6] Andreas Herzig,et al. Propositional Belief Base Update and Minimal Change , 1999, Artif. Intell..

[7] Carsten Lutz,et al. Updating Description Logic ABoxes , 2006, KR.

[8] Dov M. Gabbay,et al. Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[9] Marianne Winslett,et al. Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[10] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[11] Marianne Winslett,et al. Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science) , 2004 .