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
Proceedings Article
Reasoning about qualitative spatio-temporal relations at multiple levels of granularity
TL;DR: This paper discusses aspects of qualitative reasoning about approximate spatio-temporal location at multiple levels of granularity by defining systems of granularities which are tree-like hierarchical structures and which are used as frames of reference in order to specify approximate location of objects.
Journal ArticleDOI
A New Model for Family Decision Making in Child Care and Protection.
TL;DR: The Family Group Conference (FG) was introduced in New Zealand in 1989 and has been used for child care and protection in England and Wales since 1989 as mentioned in this paper, with a focus on the safety and welfare of children.
Journal ArticleDOI
Multiple representations and multi-modal reasoning in medical diagnostic systems
TL;DR: The paper addresses the problem of replacing heuristic knowledge provided by human experts with operational knowledge automatically derived from the deep model by revisiting the architectural choices of the CHECK system and summarizing the experience gained in developing AID and ADAPtER.
Book ChapterDOI
nfer – A Notation and System for Inferring Event Stream Abstractions
TL;DR: This work proposes a notation for specifying event stream abstractions for use in spacecraft telemetry processing, inspired by Allen's Temporal Logic, and provides a rule-based declarative way to express event abstractions.
Journal ArticleDOI
Orientation in French Spatial Expressions: Formal Representations and Inferences
TL;DR: This modular approach constitutes an original contribution to the semantic and cognitive studies of linguistic space by taking into account the different inferential schemata linked to the use of spatial expressions in discourse.
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.