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
14 Hybrid logics
Carlos Areces,Balder ten Cate +1 more
TL;DR: This chapter discusses the proof theory, expressivity, and complexity of a number of the well-known hybrid logics and provides a snapshot of the logical territory lying between the basic modal languages and their classical companions.
Book ChapterDOI
The Blackness of Black: Color Categories as Situated Practice
TL;DR: In this paper, the authors use data videotape of chemists attempting to determine when to stop a reaction by deciding when the material they are working with is jet black, and explore the diverse practices they deploy to establish what can count as black; how such a distinction is embedded within a local activity system lodged in turn within a relevant community of practice.
Patent
Computer system and computer implemented process for representing software system descriptions and for generating executable computer programs and computer system configurations from software system descriptions
TL;DR: In this paper, an architectural description language which represents activities and dependencies between activities as separate entities is presented, where the dependencies are managed by coordination processes associated with the dependency and the attributes for a particular activity are inherited by its specializations.
Journal ArticleDOI
Deliberation for autonomous robots: A survey
Félix Ingrand,Malik Ghallab +1 more
TL;DR: A global overview of deliberation functions in robotics is presented and the main characteristics, design choices and constraints of these functions are discussed.
Journal ArticleDOI
Some contributions to the metatheory of the situation calculus
Fiora Pirri,Raymond Reiter +1 more
TL;DR: It is proved that the logic programming language GOLOG never requires any of the foundational axioms for the evaluation of programs, including an induction axiom, whose presence complicates human and automated reasoning in the situation calculus.
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.