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
A practical approach to integrating reaction and deliberation
Damian M. Lyons,A.J. Hendriks +1 more
TL;DR: A method is presented whereby the planner can make iterative improvements to the reactor so that it eventually converges on the ideal reactor (a concept related to the universal plan) for its environment and set of planner goals.
Journal ArticleDOI
Inpatriates' adjustment to home country headquarters: a social/cultural conundrum
TL;DR: This article examined Trompenaars' cultural dimensions using reference point theory to propose the adjustment difficulties that inpatriates will experience when entering the home market/global headquarters organization culture.
Proceedings Article
Localized representation and planning methods for parallel domains
Amy L. Lansky,David S. Fogelsong +1 more
TL;DR: It is shown how localized domain descriptions can alleviate aspects of the frame problem and serve as the foundation of a planning technique based on localized planning spaces because domain constraints and properties are localized.
Book ChapterDOI
Chapter 16 – Temporality
TL;DR: In this paper, the authors focus on temporality and claim that the semantics outlined in the chapter depends directly upon the conceptual representation of action and contingency, and suggest that this semantics is universal, despite considerable differences in its syntactic and morphological encoding across languages.
Journal ArticleDOI
Applying object-oriented technologies in modeling and querying temporally oriented clinical databases dealing with temporal granularity and indeterminacy
TL;DR: GCH-OSQL (Granular Clinical History-Object Structured Query Language), an object-oriented/temporally-oriented extension of SQL, based on anobject-oriented temporal data model, GCH-OODM, which is applied to data management of follow-up patients after coronary angioplasty intervention.
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.