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 Article
Intention = choice + commitment
TL;DR: This paper provides a logical analysis of the concept of intention as composed of two more basic concepts, choice (or goal) and commitment, and derives a preliminary account of interpersonal commitments.
Proceedings ArticleDOI
A model of plan inference that distinguishes between the beliefs of actors and observers
TL;DR: A model of PI that abandons the assumption that the agent whose plan is being inferred and the agent drawing the inference have identical beliefs about actions in the domain is described, which rests on an analysis of plans as mental phenomena.
Book ChapterDOI
Persistence, Intention, and Commitment
TL;DR: In this article, a formal theory of rational action is presented, with an end of fanaticism as a kind of persistent goal, and an end to fanatics as a persistent goal.
Journal ArticleDOI
Moments and points in an interval-based temporal logic
James F. Allen,Patrick J. Hayes +1 more
TL;DR: This paper presents a concise, formal axiomatization of “interval‐based” time as described by Allen and then explores the relationship between interval‐based and point‐based temporal theories in detail.
Journal ArticleDOI
Ontology-based Description of Functional Design Knowledge and its Use in a Functional Way Server
TL;DR: A new concept named “way of achievement” is proposed as a key concept for capturing functional knowledge representing achievement relations among functions and development of a design supporting system using the systematized knowledge, called a functional way server.
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.