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
Is Time a Real Time? An Overview of Time Ontology in Informatics
TL;DR: Several aspects of time in the heterogeneous world of Informatics are introduced and ontologies for time in different domains of computers and their applications are defined.
Journal ArticleDOI
Using hindsight in medical decision making
TL;DR: In this paper, the Temporal Control Structure (TCS) is presented to support reasoning with data changing over time and show how it can be used to implement reasoning by hindsight.
Journal ArticleDOI
Representation and use of imprecise temporal knowledge in dynamic systems
TL;DR: A representation of imprecise temporal knowledge is given for describing the dynamic behavior of systems and a method for fuzzy proposition reasoning and temporal reasoning is put forward.
Journal ArticleDOI
On periodicity in temporal databases
TL;DR: In this paper, the authors describe two concepts of periodicity, which they call strong periodicity and near periodicity; they compare the expressive power of these two concepts, relate them to existing temporal query languages, and show how they can be incorporated into temporal relational database query languages in a clean and straightforward manner.
Book ChapterDOI
Deductive and Object Data Languages: A Quest for Integration
TL;DR: Hybrid languages have the potential for becoming an ideal turf for cultivating the next generation of information systems, while logic and deduction offer the power and flexibility of ad hoc querying and reasoning.
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.