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
Dissertation
Visual recognition of multi-agent action
TL;DR: Highly structured, multi-agent action can be recognized from noisy perceptual data using visually grounded goal-based primitives and low-order temporal relationships that are integrated in a probabilistic framework.
Book
A Survey of Formal Methods for Intelligent Swarms
TL;DR: A survey of formal methods techniques for verification and validation of space missions that use swarm technology found the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission.
Journal ArticleDOI
A Network of Dynamic Probabilistic Models for Human Interaction Analysis
TL;DR: A novel method of analyzing human interactions based on the walking trajectories of human subjects, which provide elementary and necessary components for understanding and interpretation of complex human interactions in visual surveillance tasks is proposed.
Proceedings ArticleDOI
The Tangram stream query processing system
TL;DR: The authors describe the Tangram stream processor, the part of theTangram environment performing query processing on large streams of data, using the paradigm of transducers on streams to provide a database flow computation capability.
Proceedings ArticleDOI
Support vector machines and learning about time
Stefan Rüping,Katharina Morik +1 more
TL;DR: The paper presents a concise overview of the application of support vector machines to different temporal learning tasks and the corresponding temporal representations.
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.