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
Book ChapterDOI
The TOVE Project Towards a Common-Sense Model of the Enterprise
TL;DR: Critical to the TOVE effort is enabling the easy instantiation of the model for a particular enterprise TOVE models will be automatically created as a by product of the enterprise design function.
Journal ArticleDOI
Generalizing the Partial Global Planning Algorithm
Keith Decker,Victor Lesser +1 more
TL;DR: The coordination problem as it was viewed by the PGP algorithm is described, and a new model of task structures and coordination relationships is described that has less communication overhead and can be more easily adapted and extended to new styles of problem solving and new multi-agent environments that have different characteristics from the original DVMT.
Journal ArticleDOI
From image sequences towards conceptual descriptions
TL;DR: It is suggested to introduce a ‘generically describable situation’ as a new conceptual unit for the computer-internal representation of more complex discourse worlds.
The LKIF core ontology of basic legal concepts
TL;DR: The methodology underlying the LKIF core ontology is described, the concepts it defines are introduced, and its use in the formalisation of an EU directive is discussed.
Book ChapterDOI
Qualitative physics: past, present, and future
TL;DR: This chapter describes what qualitative physics is, why one should be doing it, and where it came from and discusses some open problems in qualitative physics.
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.