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
Two Approaches to Event Definition
TL;DR: In this paper, the authors compare two approaches to event definition, deriving from the Active Database and Knowledge Representation communities, by taking a system of the former kind, displaying some of its shortcomings, and rectifying them by remodelling the system in the latter style.
Journal ArticleDOI
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Luca Chittaro,Angelo Montanari +1 more
TL;DR: The major emerging trends in temporal representation and reasoning as well as the relationships with other well‐established areas, such as temporal databases and logic programming are analyzed.
Proceedings ArticleDOI
Temporal deductive databases and infinite objects
Jan Chomicki,Tomasz Imielinski +1 more
TL;DR: In this article, the authors discuss deductive databases with one fixed occurrence of a monadic function symbol (successor) per predicate, and define the notion of infinite objects which makes some infinite least fixpoints computable in finite time.
An Ontology for Constructing Scheduling Systems
TL;DR: The use of ontologies as a basis for structuring and simplifying the process of constructing domain-specific problemsolving tools is considered, establishing linkages to recent concepts in software engineering and proposing an extended view of ontology that includes capability descriptions.
Journal ArticleDOI
Using data mining techniques to predict hospitalization of hemodialysis patients
TL;DR: This study combines temporal abstraction with data mining techniques for analyzing dialysis patients' biochemical data to develop a decision support system to predict hospitalization of hemodialysis patients and to suggest immediate treatments to avoid hospitalization.
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.