Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals

De Giacomo, Giuseppe; Lespérance, Yves; Levesque, Hector J.

doi:10.5591/978-1-57735-516-8/IJCAI11-144

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 827-831.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-144

Abstract

This work develops an approach to efficient reasoning in first-order knowledge bases with incomplete information. We build on Levesque's proper knowledge bases approach, which supports limited incomplete knowledge in the form of a possibly infinite set of positive or negative ground facts. We propose a generalization which allows these facts to involve unknown individuals, as in the work on labeled null values in databases. Dealing with such unknown individuals has been shown to be a key feature in the database literature on data integration and data exchange. In this way, we obtain one of the most expressive first-order open-world settings for which reasoning can still be done efficiently by evaluation, as in relational databases. We show the soundness of the reasoning procedure and its completeness for queries in a certain normal form.

Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. 2011. Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 827–831. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-144

@inproceedings{ijcai2011p144,
  title     = {Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals},
  author    = {De Giacomo, Giuseppe and Lespérance, Yves and Levesque, Hector J.},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {827--831},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-144},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-144},
}

TY  - CPAPER
TI  - Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals
AU  - De Giacomo, Giuseppe
AU  - Lespérance, Yves
AU  - Levesque, Hector J.
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 827
EP  - 831
DO  - 10.5591/978-1-57735-516-8/IJCAI11-144
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-144
ER  -