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
Capturing Telic/Atelic Temporal Data Semantics: Generalizing Conventional Conceptual Models
TL;DR: An annotation-based temporal conceptual model that generalizes the semantics of a conventional conceptual model is proposed that represents telic/atelic temporal semantics using temporal annotations and shows how these semantics can be formally defined using constructs of the conventional conceptual models and axioms in first-order logic.
Journal ArticleDOI
Enhancing Spatio-Temporal Identity: States of Existence and Presence
Pierre Hallot,Roland Billen +1 more
TL;DR: A formal analysis of the spatio-temporal states of presence and existence of a geographical object and a combination of these states in order to define a set of life and motion configurations is proposed.
Journal ArticleDOI
Visual style: Qualitative and context-dependent categorization
Julie Jupp,John S. Gero +1 more
TL;DR: The model proposes a method of categorizing two-dimensional unannotated design diagrams using both low-level geometric and high-level semantic features that are automatically derived from the pictorial content of the design.
Proceedings ArticleDOI
A generic formal plan recognition theory
TL;DR: A new logical formalization of plan recognition is provided, which allows us to clearly specify, validate and design the plan recognition process (useful in several domains such as: discourse understanding, human computer interaction, and so on).
Proceedings Article
Semantic Annotation of Clinical Events for Generating a Problem List
Danielle L. Mowery,Pamela W. Jordan,Janyce Wiebe,Henk Harkema,John N. Dowling,Wendy W. Chapman +5 more
TL;DR: The ability for humans to annotate clinical reports using the schema and the contribution of semantic annotations in determining the status of a problem mention as active, inactive, proposed, resolved, negated, or other are evaluated.
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.