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
A VORONOi-BASED PIVOT REPRESENTATION OF SPATIAL CONCEPTS AND ITS APPLICATION TO ROUTE DESCRIPTIONS EXPRESSED IN NATURAL LANGUAGE
TL;DR: It is shown how, by combining a linguistic analysis of a route description and the Voronoi model of space, one can construct a pivot representation that integrates both the spatial and linguistic aspects of a situation.
Journal ArticleDOI
A logic-based model of intention formation and action for multi-agent subcontracting
TL;DR: This work uses a syntactic approach presenting a formal logical calculus that can be regarded as a meta-logic that describes the reasoning and activities of the agents and shows that under various initial conditions and known facts about agent beliefs and abilities, the meta-theory representation yields good results.
Journal ArticleDOI
On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic
Asma Moubaiddin,Nadim Obeid +1 more
TL;DR: Com-TFONL allows for an integration of commitments and arguments which helps in capturing the public aspects of a conversation and the reasoning aspects required in coherent conversations.
Journal ArticleDOI
Maturity and effectiveness in small groups
TL;DR: Sjovold et al. as mentioned in this paper presented a study of role-structure, group constitution and effectiveness of task-groups using the SPGR (Systematizing Person-Group Relation) method.
Journal ArticleDOI
Interpreting a dynamic and uncertain world: high-level vision
TL;DR: This paper surveys work relevant to the development of an attentional mechanism, using surveillance as an application domain to tie together issues of spatial representation, events, behaviour, control and planning in HIVIS-WATCHER.
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.