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
Ontology-based Information Retrieval
TL;DR: This thesis presents methods for introducing ontologies in information retrieval, and appears that the fuzzy set model comprises the flexibility needed when generalizing to an ontology-based retrieval model and, with the introduction of a hierarchical fuzzy aggregation principle, compound concepts can be handled in a straightforward and natural manner.
Book ChapterDOI
Knowledge preconditions for actions and plans
TL;DR: In this article, the authors develop a robust and highly expressive theory of action and planning which allows for actions of varying granularity, primitive as well as complex acts, multi-agent plans, and partially specified plans.
Book ChapterDOI
Temporal logic in information systems
Jan Chomicki,David Toman +1 more
TL;DR: This chapter surveys the fundamental varieties of temporal logic and describes their applications in information systems.
Proceedings ArticleDOI
Temporal ontology in natural language
Marc Moens,Mark Steedmant +1 more
TL;DR: It is claimed that any manageable logic or other formal system for natural language temporal descriptions will have to embody such an ontology, as will any usable temporal database for knowledge about events which is to be interrogated using natural language.
Journal ArticleDOI
Temporal reasoning and temporal data maintenance in medicine: Issues and challenges
Carlo Combi,Yuval Shahar +1 more
TL;DR: It is suggested that tasks such as abstraction of time-oriented data and the handling of different temporal-granularity levels should provide common ground for collaboration between the two research directions and fruitful areas for future research.
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.