Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals

Lakemeyer, Gerhard; Levesque, Hector J.

Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals

Download BibTeX Cite

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 969-974.

Abstract

There are not very many existing logics of belief which have both a perspicuous semantics and are computationally attractive. An exception is the logic SL, proposed by Liu, Lakemeyer, and Levesque, which allows for a decidable and often even tractable form of reasoning. While the language is first-order and hence quite expressive, it still has a number of shortcomings. For one, beliefs about beliefs are not addressed at all. For another, the names of individuals are rigid, that is, their identity is assumed to be known. In this paper, we show how both shortcomings can be overcome by suitably extending the language and its semantics. Among other things, we show that determining the beliefs of a certain kind of fully introspective knowledge bases is decidable and that unknown individuals in the knowledge base can be accommodated in a decidable manner as well.

Gerhard Lakemeyer, and Hector J. Levesque. 2013. Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 969–974. https://ijcai.org/proceedings/2013/148

@inproceedings{ijcai2013p148,
  title     = {Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals},
  author    = {Lakemeyer, Gerhard and Levesque, Hector J.},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-13}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Francesca Rossi},
  pages     = {969--974},
  year      = {2013},
  month     = {8},
  url       = {https://ijcai.org/proceedings/2013/148},
}

TY  - CPAPER
TI  - Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals
AU  - Lakemeyer, Gerhard
AU  - Levesque, Hector J.
T2  - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2013
SP  - 969
EP  - 974
UR  - https://ijcai.org/proceedings/2013/148
ER  -