Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
The consistency of syntactical treatments of knowledge
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Languages with self-reference II: knowledge, belief and modality
Artificial Intelligence
Reasoning situated in time I: basic concepts
Journal of Experimental & Theoretical Artificial Intelligence
Reasoning about knowledge
Conversational adequacy: mistakes are the essence
International Journal of Human-Computer Studies
Syntactical treatments of propositional attitudes
Artificial Intelligence
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Matter and Consciousness
A Deduction Model of Belief
Hi-index | 0.00 |
Beliefs play complex and sometimes confusing roles in AI. This paper survey (i) a variety of notions of belief, (ii) formal efforts to characterize beliefs, and (iii) how beliefs are related to action, to language, and to commonsense. In addition, we will consider certain logical tensions between beliefs and consistency.