Journal ArticleDOI
Towards a general theory of action and time
Reads0
Chats0
TLDR
In this article, a formalism for reasoning about actions is proposed that is based on a temporal logic, which allows a much wider range of actions to be described than with previous approaches such as the situation calculus.About:
This article is published in Artificial Intelligence.The article was published on 1984-07-18. It has received 2439 citations till now. The article focuses on the topics: Temporal logic of actions & Situation calculus.read more
Citations
More filters
Journal ArticleDOI
Are there cultural differences in learning style
Simy Joy,David A. Kolb +1 more
TL;DR: This paper examined the role that culture plays in the way individuals learn and found that a significant portion of the variance in the preference for abstract conceptualization was explained by culture, gender, level of education and area of specialization.
A formal theory of plan recognition
TL;DR: The thesis develops the first formal description of the plan recognition process, and shows how problems of medical diagnosis can be cast in the framework, and an example previously solved by a medical expert system is worked out in detail.
Journal ArticleDOI
Commitments and conventions: The foundation of coordination in multi-agent systems
TL;DR: Here agent communities are modelled using a distributed goal search formalism and it is argued that commitments (pledges to undertake a specified course of action) and conventions are the foundation of coordination in multi-agent systems.
Journal ArticleDOI
A propositional modal logic of time intervals
Joseph Y. Halpern,Yoav Shoham +1 more
TL;DR: In this paper, a modal temporal loglc based on time intervals is developed, a logic that can be viewed as a generalization of point-based modality temporal logic.
Book ChapterDOI
Constraint propagation algorithms for temporal reasoning: a revised report
TL;DR: The present paper departs from the original primarily in correcting claims made there about the point algebra, and in presenting some closely related results of van Beek [1989].
References
More filters
Journal ArticleDOI
Maintaining knowledge about temporal intervals
TL;DR: In this paper, an interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between time and space.
Book
Speech Acts: An Essay in the Philosophy of Language
TL;DR: A theory of speech acts is proposed in this article. But it is not a theory of language, it is a theory about the structure of illocutionary speech acts and not of language.
Book ChapterDOI
Some philosophical problems from the standpoint of artificial intelligence
TL;DR: In this paper, the authors consider the problem of reasoning about whether a strategy will achieve a goal in a deterministic world and present a method to construct a sentence of first-order logic which will be true in all models of certain axioms if and only if a certain strategy can achieve a certain goal.