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
A representation of parallel activity based on events, structure, and causality
TL;DR: This paper presents an event-based model that focuses on domain events and on the causal and temporal relationships among them, based on first-order temporal logic, which has well-understood semantics and has been employed extensively in concurrency theory.
Journal ArticleDOI
Default reasoning about spatial occupancy
TL;DR: Algorithms which generate behavioral models for mechanical devices by first using kinematic analysis to find state variables and then using dynamics to find differential equations relating the state variables are presented.
Proceedings ArticleDOI
Intelligent visualization and exploration of time-oriented clinical data
Yuval Shahar,C. Cheng +1 more
TL;DR: The new framework KNAVE (Knowledge-based Navigation of Abstractions for Visualization and Explanation) has broad ramifications for reducing the load that large numbers of time oriented clinical data put on practising physicians.
Proceedings Article
Towards an Integrated Logic of Space, Time and Motion.
TL;DR: This paper shows how Allen’s temporal logic, with the modifications suggested by Galton to enable it to accommodate continuityphenomena, can be combined with the spatial logic of Randall, Cui and Cohn to yield a useful framework for reasoning about the motion of a rigid body in space.
Journal Article
Plan management in the medical domain
TL;DR: The requirements for these intertwined tasks of plan management so as to respond to the practical demands are described, to compare approaches in planning and medical informatics to these requirements, and to discuss how the Asgaard project can meet them.
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.