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
Journal ArticleDOI
Deep learning-based extraction of construction procedural constraints from construction regulations
TL;DR: A hybrid deep neural network, combining the bidirectional long short-term memory (Bi-LSTM) and the conditional random field (CRF) for the automatic extraction of the qualitative construction procedural constraints is explored, demonstrating the good performance of the end-to-endDeep neural network in the extraction of construction procedural constraint constraints.
Journal ArticleDOI
Replanning mechanism for deliberative agents in dynamic changing environments
TL;DR: A replanning mechanism for deliberative agents as a new approach to tackling the frame problem using a case‐based planning mechanism for reasoning and the notion of an adaptable agent is introduced.
Proceedings ArticleDOI
Mining temporal patterns of movement for video content classification
TL;DR: A method in which temporal information is captured by representing events using a lexicon of hierarchical patterns of movement that are mined from large corpora of unannotated video data to create a discriminative model of event classification that exploits tree kernels in a Support Vector Machine.
Journal ArticleDOI
Interactional aspects of violent behaviour on acute psychiatric wards
Richard Whittington,Dirk Richter +1 more
TL;DR: In this article, the violent interaction between ward staff and patients on psychiatric wards involving staff and the patients is discussed. But the authors do not consider the role of patient psychopathology as a factor.
Journal ArticleDOI
Exploiting lattices in a theory of space and time
David A. Randell,Anthony G. Cohn +1 more
TL;DR: In this article, an axiomatic theory expressed in a first order predicate logic formalism is presented, which modifies and extends Bowman Clarke's calculus of individuals and is primarily concerned with a topological description of space and time.
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.