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
Managing time granularity of narrative clinical information: the temporal data model TIME-NESIS
TL;DR: The temporal data model TIME-NESIS (TIME in anamNESIS) is defined, which provides temporal dimension to the data by using intervals that can be specified by different granularities and supports a three-valued logic, where True, False and Undefined are the truth values.
Journal ArticleDOI
Automatic generation of control sequences for manufacturing systems based on partial order planning techniques
TL;DR: A specialized interval-based model of action is defined by extending the classic model ofstrips giving it more expressiveness so that it is able to deal with features of manufacturing systems that have some special features that must be considered in the planning process.
Book ChapterDOI
An Ambient Intelligence Based Multi-Agent Architecture
TL;DR: An Ambient Intelligence based distributed architecture that uses intelligent agents with reasoning and planning mechanisms that can be implemented on a wide diversity of dynamic environments to manage tasks and services is presented.
Proceedings ArticleDOI
Hybrid temporal reasoning for planning and scheduling
Silvana Badaloni,M. Berati +1 more
TL;DR: The properties of the new sub-algebra called IDSA (Interval-Distance Sub-Algebra), the algorithms used to propagate temporal information and their complexity are illustrated.
Journal ArticleDOI
A conceptualisation of narratives and its expression in the CRM
TL;DR: A conceptualisation based on narratology was developed and expressed using the CIDOC CRM and CRMinf as reference ontologies, and this expression was used to validate the conceptualisation, creating a narrative of the biography of Dante Alighieri as a realistic case study.
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.