Journal ArticleDOI
Towards a general theory of action and time
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
Too cool for school - adding social constraints in human aware planning
TL;DR: A method for extending HAP to so-called Socially Aware planning, which is able to define social norms and rules which are taken into account by the planning mechanism to obtain plans consisting of socially adjusted behaviors.
Journal ArticleDOI
Back from the future
TL;DR: It is shown that LTL∇ is equivalent to the linear temporal logic LTL with until, which follows by formalizing back and forth translations between the two logics, and an indirect translation from LTL ∇ into LTL via temporal logics with past operators is defined, which provides an upper bound to the problem of satisfiability for L TL∇ formulas.
Journal ArticleDOI
The relation-based knowledge representation of King Kong
Samuel Bayer,Marc Vilain +1 more
TL;DR: This paper presents an overview of the knowledge representation facilities of King Kong a transportable natural language system, focusing particularly on King Kong's innovative treatment of relations, as this treatment provides the system with much of its language analysis strengths.
Robust fault diagnosis of physical systems in operation
Kathy H. Abbott,Louis Steinberg +1 more
TL;DR: This thesis presents and demonstrates ideas for improved robustness in diagnostic problem solving of complex physical systems in operation, or operative diagnosis, and demonstrates an incremental, constructive approach to manipulating this graph representation that supports certain characteristics of operative diagnosis.
Proceedings ArticleDOI
HERMES: an expert system for the prognosis of hepatic diseases
TL;DR: The authors present the design and implementation of HERMES (HEpathology Rule-based Medical Expert System), an expert system for the prognosis of chronic liver diseases developed over the last three years at the Gastroenterology Unit of Bellaria Hospital in Bologna.
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.