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
Incremental qualitative temporal reasoning: algorithms for the point algebra and the ORD-Horn class
TL;DR: A collection of new polynomial algorithms that can amortize their complexity when processing a sequence of input constraints to incrementally decide satisfiability, to maintain a solution, or to update the minimal representation of the CSP are proposed.
Journal ArticleDOI
On distributed artificial intelligence
Luis Eduardo,Castillo Hern +1 more
TL;DR: Two general frameworks, the System conceptual model and the agent conceptual model are used to compare the different approaches to formalizing some of the more critical capabilities required by multi-agent interaction.
Journal ArticleDOI
The Logical Approach to Temporal Reasoning
TL;DR: The purposes of this article are to summarize logic-based temporal reasoning research and give a glance on the different research tracks envisaging future lines of research to be useful to those who need to be involved in systems having these characteristics and to present newcomers some problems in the area that still waits for a solution.
Book ChapterDOI
Ontology Based Data Access on Temporal and Streaming Data
Özgür Lütfü Özçep,Ralf Möller +1 more
TL;DR: This tutorial gives an overview of state-of-the art query languages and engines for temporal and stream reasoning and discusses the new language STARQL (Reasoning-based Query Language for Streaming and Temporal ontology Access).
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.