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
PDM++: Planning Framework from a Construction Requirements Perspective
David K. H. Chua,K. W. Yeoh +1 more
TL;DR: A modeling framework, PDM++, is proposed that deals with schedule constraints arising from both static and dynamic construction requirements, provides greater semantic expression to capture schedule constraints unambiguously, and facilitates the representation of interdependent conditional relationships.
Représentation des expressions calendaires dans les textes : vers une application à la lecture assistée de biographies
TL;DR: Un projet d'aide a la lecture d'un texte biographique long selon une navigation temporelle ou une analyse fonctionnelle, fondee sur la representation categorique des ordinaux.
Journal ArticleDOI
Data-Driven Rule Mining and Representation of Temporal Patterns in Physiological Sensor Data
Hadi Banaee,Amy Loutfi +1 more
TL;DR: This paper leverages from rule mining techniques to extract and represent temporal relation of prototypical patterns in clinical data streams to validate the rules, and shows that the extracted rule set for any particular clinical condition was distinct from other clinical conditions.
Book
Quotient Space Based Problem Solving: A Theoretical Foundation of Granular Computing
Ling Zhang,Bo Zhang +1 more
TL;DR: An in-depth treatment of hierarchical problem solving, computational complexity, and the principles and applications of multi-granular computing, including inference, information fusing, planning, and heuristic search.
Journal ArticleDOI
Feminización de la vejez y Estado del Bienestar en España
TL;DR: In this paper, the authors argue that the distribucion of roles productivos and reproductivos esta dejando de tener al sexo como eje, para articularse en torno a la edad.
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.