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
Journal ArticleDOI
In pursuit of authentic school leadership practices
TL;DR: A practice-grounded and research-validated reinterpretation of the ways in which values and ethics influence administrative activities in schools is presented in this paper, where a values perspective is used to link theory and practice with the objective of promoting authentic leadership and democracy in schools.
Book ChapterDOI
A formal theory of plan recognition and its implementation
TL;DR: In this article, Kautz proposed a plan recognition algorithm that uses a limited number of inferences and generate a finite set of conclusions. The inference steps are required to reach the conclusion that the agent must be making spaghetti rather than fettucini.
Journal ArticleDOI
Exact and approximate reasoning about temporal relations
TL;DR: This paper addresses a fundamental reasoning task that arises in applications of the algebra: Given (possibly indefinite) knowledge about the relationships between intervals, find all feasible relationships between two intervals, called the minimal labels problem.
Proceedings Article
A Reusable Ontology for Fluents in OWL
Chris Welty,Richard Fikes +1 more
TL;DR: The standard approach to dealing with relationships that change over time is discussed, and a new alternative based on a four-dimensionalist (perdurantist) ontology is contrasted, which allows us to use more of the expressive power of description logics.
Journal ArticleDOI
Backtracking algorithms for disjunctions of temporal constraints
TL;DR: In this article, the authors extend the framework of simple temporal problems studied originally by Dechter, Meiri and Pearl to consider constraints of the form x 1 −y 1 ≤r 1 ∨⋯∨ x n −y n ≤r n, where x 1,…,x n,y 1,…,y n are variables ranging over the real numbers, r 1,..,r n are real constants, and n≥1.
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.