Towards a general theory of action and time
Artificial Intelligence
Languages with self-reference II: knowledge, belief and modality
Artificial Intelligence
Belief, awareness, and limited reasoning
Artificial Intelligence
Reasoning situated in time I: basic concepts
Journal of Experimental & Theoretical Artificial Intelligence
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
Step-logic: reasoning situated in time
Step-logic: reasoning situated in time
On epistemic logic and logical omniscience
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Steps towards a first-order logic of explicit and implicit belief
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Reasoning about epistemic states of agents by modal logic programming
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.01 |
The kind of resource limitation that is most evident in commonsense reasoners is the passage of time while the reasoner reasons. There is not necessarily any fixed and final set of consequences with which such a reasoning agent ends up. In formalizing commonsense reasoners, then, one must be able to take into account that time is passing as the reasoner is reasoning. The reasoner can then make use of such information in subsequent deductions. Step-logic is such a formalism. It was developed in [Elgot-Drapldn, 1988] to model the on-going process of deduction. Conclusions are drawn step-by-step. There is no "final" state of reasoning; the emphasis is on intermediate conclusions. In this paper we use step-logic to model the Three-wisemen Problem. Although others have formalized this problem, they have ignored the time aspect that is inherent in the problem: a correct assessment of the situation is made by recognizing that the reasoning process takes time and determining that the other wise men would have concluded such and such by now. This is an important aspect of the problem that needs to be addressed.