Journal ArticleDOI
Towards a general theory of action and time
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
Mining Healthcare Data with Temporal Association Rules: Improvements and Assessment for a Practical Use
TL;DR: This paper addresses the problem of developing an automated strategy for the filtering of output rules, exploiting the taxonomy underlying the drug coding system and considering the relationships between clinical variables and drug effects, and shows that the method could find a practical use for the evaluation of the pertinence of the care delivery flow.
Proceedings Article
Mining relationships between interacting episodes
Carl Mooney,John F. Roddick +1 more
TL;DR: An approach for finding temporal relationship between discovered episodes through the proposal of a robust and efficient search strategy and effective user interface both of which are validated through experiment are discussed.
Journal ArticleDOI
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
TL;DR: This paper argues that this new approach to dealing with action occurrences and narratives subsumes the linear approaches of Miller and Shanahan's, and Pinto and Reiter’s, and is able to represent various kinds of occurrences; namely, conditional, preventable and non-preventable occurrences.
Book ChapterDOI
Qualitative causal modeling in temporal GIS
TL;DR: A generic model for explicitly representing causal links within a spatiotemporal GIS is presented and its relationship to previous work is discussed, using a formal visual language designed to help understand the linkages implicit in the model.
Journal ArticleDOI
A temporal reasoning framework used in the diagnosis of skeletal dysplasias
TL;DR: In this paper, the representation of and reasoning with temporal information in the diagnosis of skeletal dysplasias and syndromes is discussed and a framework is developed with a view to applications in other domains, both medical and non-medical.
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.