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
Medical multiparametric time course prognoses applied to kidney function assessments
TL;DR: This paper develops abstraction methods suitable for integration into the authors' case-based reasoning system ICONS that combine medical experience with prognoses of multiparametric courses for the monitoring of the kidney function in an Intensive Care Unit (ICU) setting.
Journal ArticleDOI
Music and Multimedia Knowledge Representation and Reasoning: The HARP System
Journal ArticleDOI
Culture and Openness
TL;DR: In this paper, a cross-country analysis incorporating 53 countries over the period 1959-1997 was conducted, and the authors found positive effects of individualism and negative effects of uncertainty avoidance and power distance on openness.
Journal ArticleDOI
Logic and Artificial Intelligence: Divorced, Still Married, Separated...?
TL;DR: The answer is that logic and AI, despite tabloidish reports to the contrary, still enjoy matrimonial bliss, and only their future robotic offspring (as opposed to the children of connectionist AI) will mark real progress in the attempt to understand cognition.
Book
Constraint-based agents
TL;DR: The following paper defines a framework for constraint, as used within the EXCALIBI3R project, where constralnt-based agents are used as models and algorithms to ensure real-time behavior of these agents.
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.