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
Representation and querying in temporal databases: the power of temporal constraints
TL;DR: A temporal database model capable of representing absolute, relative, imprecise, and infinite temporal data is proposed, and an algebraic query language for temporal tables is defined, and some problems related to query answering are discussed.
Journal ArticleDOI
An introduction to executable temporal logics
TL;DR: An introduction to some of the basic concepts of executable temporal logics, together with an overview of the main approaches being pursued.
Book
Action Based Collaboration Analysis for Group Learning
TL;DR: The automatic analysis of user actions in shared workspaces (action-based collaboration analysis) is regarded as a promising new direction that takes into account the operational grounding of group interactions in the context of collaboratively constructed problem representations.
Book ChapterDOI
This is MYWORLD: the logic of an agent-oriented DAI testbed
TL;DR: In this article, the authors present a formal model of MyWorld, a testbed for experimentation in distributed Artificial Intelligence (DAI), and a logic that can be used to represent the properties of Myworld systems.
Proceedings Article
Recent developments in temporal information extraction
TL;DR: The growing interest in practical NLP applications such as text summarization and question-answering places increasing demands on the processing of temporal information in natural languages, and several new capabilities have emerged, including the ability to tag events and time expressions, and to build models of the temporal structure of discourse.
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.