Extending Knowledge Base Update into First-Order Knowledge Bases

Authors:
Ewa Madalińska-Bugaj;Witold Łukaszewicz
Affiliations:
Institute of Informatics, Warsaw University,;University of Computer Science and Economics, TWP, Olsztyn, Poland
Venue:
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Year:
2008

Citing 4
Cited 0

Updating logical databases

Updating logical databases
Propositional belief base update and minimal change

Artificial Intelligence
An Investigation of the Laws of Thought

An Investigation of the Laws of Thought
The PMA and Relativizing Minimal Change for Action Update

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.