Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Steps towards a first-order logic of explicit and implicit belief
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
All I know: a study in autoepistemic logic
Artificial Intelligence
Models of belief for decidable reasoning in incomplete knowledge bases
Models of belief for decidable reasoning in incomplete knowledge bases
Knowledge retrieval as specialized inference (artificial intelligence, sorted logic)
Knowledge retrieval as specialized inference (artificial intelligence, sorted logic)
Decidable, logic-based knowledge representation
Decidable, logic-based knowledge representation
A tractable knowledge representation service with full introspection
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Semantical considerations on nonmonotonic logic
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Since knowledge is usually incomplete, agents need to introspect on what they know and do not know. The best known models of introspective reasoning suffer from intractability or even undecidability if the underlying language is first-order. To better suit the fact that agents have limited resources, we recently proposed a model of decidable introspective reasoning in first-order knowledge bases (KBs). However, this model is deficient in that it does not allow for quantifying-in, which is needed to distinguish between knowing that and knowing who. In this paper, we extend our earlier work by adding quantifying-in and equality to a model of limited belief that integrates ideas from possible-world semantics and relevance logic.