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
Machine Translation: Interlingual Methods
TL;DR: The components of an Interlingua and the principal issues faced by designers and builders of interlinguas and interlingua MT systems are defined, illustrating with examples from operational systems and research prototypes and current efforts to annotate texts withinterlingua-based information are discussed.
Dissertation
The work programme: making welfare work?
TL;DR: This article conducted a full-time fieldwork conducted over four weeks in May 2014 within two welfare-to-work centres in the north of England and found that the Work Programme did not support the long-term unemployed into work, but also did not act as a punitive forced work scheme.
Journal ArticleDOI
Temporal agent programs
TL;DR: This paper presents the concept of a “temporal agent program” (tap for short) and shows that using taps, it is possible to build agents on top of legacy code that can reason about the past and about the future, and that can make temporal commitments for the future now.
Journal ArticleDOI
Symbolic discrete event system specification
Bernard P. Zeigler,Sung-Do Chi +1 more
TL;DR: An extension of the discrete event system specification modeling formalism (DEVS) that facilitates symbolic expression of event times by extending the time base from the real numbers to the field of linear polynomials over the reals is presented.
Proceedings ArticleDOI
Chopping a point
Zhou Chaochen,Michael R. Hansen +1 more
TL;DR: With this modality, the paper defines a real-time semantics for an OCCAM-like language, where assignments and passing of messages in communications are assumed to be timeless operations.
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.