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
Proceedings Article
An approach to reasoning about continuous change for applications in planning
Thomas Dean,Greg Siegle +1 more
TL;DR: One proposal for combining a temporal logic of time with the differential and integral calculus to provide a hybrid calculus suitable for planning applications is taken and some of the issues involved in implementing a practical system that derives conclusions consistent with such a hybridculus are explored.
Book ChapterDOI
XTM: a robust temporal text processor
Caroline Hagège,Xavier Tannier +1 more
TL;DR: The aim of this processor is to extract events described in texts and to link them, when possible, to a temporal anchor, and one of the originalities of this work is that the temporal processor is coupled with a syntactic-semantic analyzer.
Proceedings Article
Knowledge-based temporal abstraction for diabetic monitoring.
TL;DR: This paper describes five problem-solving mechanisms that solve the five subtasks into which the KBTA method decomposes its task, and four types of knowledge necessary for instantiating these mechanisms in a particular domain.
Proceedings Article
Using Description Logics for Indexing Audiovisual Documents
TL;DR: This work proposes an algorithm to automatically classify sub-sequences of shots, based on a bottom-up construction of descriptions using the rule mechanism of the CLASSIC system, to build automatically high level descriptions of subsets of this collection.
Journal ArticleDOI
An ontological framework for representing and exploiting medical knowledge
Francisco Jesús Torralba-Rodríguez,Jesualdo Tomás Fernández-Breis,Rafael Valencia García,Juana Marı́a Ruı́z-Sánchez,Rodrigo Martínez-Béjar,Juan Antonio Gómez-Rubı́ +5 more
TL;DR: The main goal was to build an intelligent system for ICUs, so that given a set of patient's event, that system could check whether the patient meets some diagnostic hypothesis in order to keep track of his/her correct evolution.
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.