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 ArticleDOI
Temporal knowledge discovery for multivariate time series with enhanced self-organizing maps
TL;DR: The method provides a conversion of discovered temporal patterns in multivariate time series with enhanced SOM into a linguistic knowledge representation, in form of temporal grammatical rules, which was successfully applied to a problem in medicine.
Patent
Simulation of complex systems
TL;DR: In this article, a software architecture for generating and selfassembling multi-scale computer models of dynamic systems, in a way that mimics (bottom-up) morphogenesis in living organisms, but with the addition of (top-down) constraints that result in efficient model generation.
Book ChapterDOI
Temporal Relationships between Rough Time Intervals
TL;DR: This article focuses on a mathematical abstraction for calculating periods of time based on rough set theory as a powerful device to handle the indeterminate time interval.
Book ChapterDOI
Active Image Capturing and Dynamic Scene Visualization by Cooperative Distributed Vision
TL;DR: In this article, the authors address active image capturing and dynamic scene visualization by Cooperative Distributed Vision (CDV) in real-time wide-area surveillance, remote conference and lecturing systems, interactive 3D TV and intelligent TV studio, navigation of (non-intelligent) mobile robots and disabled people, cooperative mobile robots, and so on.
Proceedings Article
Dynamic semantics for tense and aspect
TL;DR: The paper investigates a non-reified dynamic logic based, formulation of the situation calculus as a formalism for a computational semantics for a number of temporal categories in English and suggests that some recent claims that dynamic logics are inherently unsuitable for this purpose have taken too narrow a view ofThe situation calculus.
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.