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
Proceedings Article
Step-logic and the three-wise-men problem
TL;DR: In this article, the authors use step-logic to model the Three-wisemen Problem and show that the reasoning process takes time and that the other wise men would have concluded such and such by now.
Journal ArticleDOI
Recovering the basic structure of human activities from noisy video-based symbol strings
TL;DR: This paper presents a framework for identifying noise and recovering the basic activity grammar from a noisy symbol string produced by video, and shows the robustness of the system to noise and its effectiveness in learning the basic structure of human activity.
Book ChapterDOI
Learning Accurate Temporal Relations from User Actions in Intelligent Environments
TL;DR: This paper presents an algorithm that taking as starting point information collected by sensors finds out accurate temporal relations among actions carried out by the user.
Object-oriented temporal GIS for urban applications
TL;DR: This paper aims to provide a history of Samenvatting and its applications in the social sciences and investigates its role in the development of democracy and human rights.
Journal ArticleDOI
Fuzzy constraint networks for signal pattern recognition
TL;DR: This paper supply algorithms guaranteeing local levels of consistency that allow to correct a large proportion of the errors committed by a human expert in the linguistic description of the profile, and proposes a new topology whose consistency can be guaranteed in polynomial time.
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.