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
Grandpa hates robots: interaction constraints for planning in inhabited environments
TL;DR: An approach for automatically generating plans that are conformant wrt.
Journal ArticleDOI
Merging structured text using temporal knowledge
TL;DR: The primary aim of this paper is to specify the language and types of axioms required in this temporal knowledge.
Journal ArticleDOI
Ten requirements for a theory of change
TL;DR: This work proposes a list of requirements that a rigorous theory of time and change must meet and “benchmark” some of the better known temporal formalisms that have been proposed in Artificial Intelligence by stating which of the requirements are met, in the opinion, by each formalism.
Journal ArticleDOI
Possible events, actual events, and robots
TL;DR: A new modal Logic as a notation for this theory and a technique for planning in the modal logic using a first‐order theorem prover augmented with simple modal reasoning is presented, avoiding the need for a general modal‐logic theoremProver.
Journal ArticleDOI
Job Socialization: The Carry-Over Effects of Work on Political and Leisure Activities.
TL;DR: In this article, a model of job socialization based on the joint effect of decision latitude and psychological demands is developed to predict how behaviors learned on the job would carry over to leisure and political activities out-side of work.
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.