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
Boundaries, Continuity, and Contact
TL;DR: In this article, the authors treat boundaries as ontologically on a par with (albeit parasitic upon) voluminous parts, and examine some ways of taking the puz- zle at face value within a realist perspective.
Journal ArticleDOI
Conceptual descriptions from monitoring and watching image sequences
Richard J. Howarth,Hilary Buxton +1 more
TL;DR: This paper contrasts two ways of forming conceptual descriptions from images, and looks at how motion verbs and the perception of events contribute to an effective representational scheme.
Journal ArticleDOI
SpatialML: annotation scheme, resources, and evaluation
Inderjeet Mani,Christy Doran,Dave Harris,Janet Hitzeman,Rob Quimby,Justin Richer,Ben Wellner,Scott A. Mardis,Seamus Clancy +8 more
TL;DR: In adapting the extent tagger to new domains, merging the training data from the ACE corpus with annotated data in the new domain provides the best performance.
Wayfinding choremes - conceptualizing wayfinding and route direction elements.
Abstract: v TABLE OF CONTENTS vii
Journal ArticleDOI
Concurrent planning and execution for autonomous robots
TL;DR: The use of TCA in a system that walks a legged robot through rugged terrain is described, using TCA features for task sequencing and monitoring to concurrently plan and execute steps.
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.