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
Database models for infinite and indefinite temporal information
TL;DR: A hierarchy of temporal data models: temporal relations, generalized temporal relations and temporal tables is presented and the semantics of these models are studied and algebraic and calculus query languages for them are developed.
Proceedings ArticleDOI
A Structured Learning Approach to Temporal Relation Extraction
Qiang Ning,Zhili Feng,Dan Roth +2 more
TL;DR: This article proposed a structured learning approach to identify temporal relations between events in a story, which takes these dependencies into account while learning to identify these relations and proposes a new perspective on handling missing relations, a known issue that hurts existing methods.
Book ChapterDOI
Towards a qualitative theory of movement
TL;DR: By attending closely to the constraints imposed by continuity on the temporal behaviour of different fluents the authors develop theory of dominance, which enables us to generate ab initio the perturbation relation on the full set of positional relations.
Time in OWL-S
TL;DR: An “entry” sub-ontology of time is introduced, which is much simpler than the full ontology of DAML-Time and provides the basic temporal concepts and relations that most simple applications would need, i.e., a vocabulary for expressing facts about topological relations among instants, intervals, and events.
Journal ArticleDOI
Integrating planning and scheduling in workflow domains
TL;DR: This work proposes the use of one of such BPR languages to enter knowledge on the organisation processes to be used by planning tools, and presents results in a real workflow domain, the telephone installation (TI) domain.
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.