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
Journal ArticleDOI
Representing the dividing instant
Jixin Ma,Brian Knight +1 more
TL;DR: This paper shall examine various temporal models including those based solely on points, thosebased solely on intervals and those based on both points and intervals, and point out the corresponding DI problem with regard to each of these temporal models.
Journal ArticleDOI
TA-clustering: Cluster analysis of gene expression profiles through Temporal Abstractions
Lucia Sacchi,Riccardo Bellazzi,Cristiana Larizza,Paolo Magni,Tomaz Curk,Uroš Petrovič,Blaz Zupan,Blaz Zupan +7 more
TL;DR: The developed TA-clustering algorithm provides an innovative way to cluster gene profiles and is shown to be robust, efficient and to perform better than the standard hierarchical agglomerative clustering approach when dealing with temporal dislocations of time series.
Book ChapterDOI
Intention modelling: approximating computer user intentions for detection and prediction of intrusions
Thomas Spyrou,John Darzentas +1 more
TL;DR: This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive representation of knowledge about how to perform these actions.
Proceedings ArticleDOI
A theory of time and temporal incidence based on instants and periods
Lluís Vila,Eddie Schwalb +1 more
TL;DR: This paper presents a theory of time and temporal incidence which is more natural than its predecessors and satisfactorily addresses the issues above.
Temporal Constraints for Video Interpretation
Van-Thinh Vu,Francois Bremond +1 more
TL;DR: A declarative model to represent scenarios and a logic-based approach to recognize pre-defined scenario models are proposed and a new method to process the temporal operators of interval algebra and a method to extend the time interval of recognized scenarios are proposed.
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.