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
Book ChapterDOI
On the comparison of AI and DAI based planning techniques for automated manufacturing systems
TL;DR: AI and DAI based planning techniques, suitable for automated manufacturing systems are surveyed and compared and it is explained how learning may be used to improve planning.
Proceedings ArticleDOI
Concurrent planning and execution for a walking robot
TL;DR: A system that autonomously navigates a legged robot through complex obstacle courses has been developed using the task control architecture (TCA), which provides communication and coordination facilities.
Book ChapterDOI
Spatial and Spatiotemporal Data Mining
TL;DR: This book covers not only concepts and algorithms, but also includes appropriate examples and exercises suitable for class room teaching, and is an edited book with chapters written by eminent scholars or experts.
Journal ArticleDOI
Plan generation in robotics: State of the art and perspectives
TL;DR: The state of the art of Automatic Plan Generation is presented, with special emphasis on its application to Robotics, as well as some personal perspectives on the topics covered.
Journal ArticleDOI
Planning and decision theory
Peter Haddawy,Larry A. Rendell +1 more
TL;DR: In this article, it was shown that decision theory can be used to remove a number of the limitations of STRIPS planning representation and to provide a precise definition of rational behaviour.
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.