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
Testing for measurement equivalence of human values across online and paper-and-pencil surveys
TL;DR: In this paper, the authors investigated the measurement equivalence of an online and paper-and-pencil (PAP) survey of human values and concluded that the methods of measurement are essentially invariant.
Journal ArticleDOI
Knowledge-based acquisition of causal relationships in text
R. M. Kaplan,G. Berry-Rogghe +1 more
TL;DR: A procedure that integrates several techniques for recognizing causal relationships in expository text is described, which yields a knowledge representation consisting of classifications of the causal relationships contained in a text.
Book ChapterDOI
A logic for programming database transactions
Anthony J. Bonner,Michael Kifer +1 more
TL;DR: The semantics of Transaction Logic and a sound and complete SLD-style proof theory for a Horn-like subset of the logic are presented, which holds promise as a logical model of hitherto non-logical phenomena, including so-called procedural knowledge in AI and the behavior of object-oriented databases.
Proceedings ArticleDOI
Concurrent Action Detection with Structural Prediction
TL;DR: This paper proposes a concurrent action detection model where the action detection is formulated as a structural prediction problem, and an interval in a video sequence can be described by multiple action labels.
Journal ArticleDOI
Position paper: Temporal representation and reasoning in medicine: Research directions and challenges
TL;DR: The subjects of research have resulted from merging the different perspectives of the authors involved in this study and it is hoped the paper will succeed in stimulating discussion and multidisciplinary work in the described fields of research.
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.