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
Analyzing health insurance claims on different timescales to predict days in hospital
Yang Xie,Günter Schreier,Michael Hoy,Ying Liu,Sandra Neubauer,David C. W. Chang,Stephen J. Redmond,Nigel H. Lovell +7 more
TL;DR: A time series data mining approach to predict the number of days in hospital in the coming year for individuals from a general insured population based on their insurance claim data and the superiority of the half-yearly model was found to be particularly pronounced in the senior sub-population.
Proceedings Article
An epistemology for clinically significant trends
Ira J. Haimowitz,Isaac S. Kohane +1 more
TL;DR: It is demonstrated how trend templates may represent trends that occur at fixed times or at unknown times, and their utility for domains that are quantitalively both poorly and well understood.
Book
Enaction, Embodiment, Evolutionary Robotics: Simulation Models for a Post-Cognitivist Science of Mind
TL;DR: This book endorses an enactive and constructivist view on the human mind, in opposition to the traditional information-processing view, and proposes a novel framework for the study of perception that combines a number of methods, including computational modeling, in a previously unseen and promising way.
Book ChapterDOI
A Predication Calculus for Qualitative Spatial Representations
TL;DR: This article addresses the relation between regions and thematic information by presenting a calculus of spatial predicators that is coping with qualitative distinctions and provides a flexible tool for the representation of and inferences on spatial information.
Journal ArticleDOI
Towards a Benchmark for the Evaluation of LD Expressiveness and Suitability
TL;DR: A methodology to achieve an evaluation benchmark for LD and EMLs based on the identification of perspectives and patterns is proposed, which is proposed to carry out two kinds of evaluation: expressiveness and suitability.
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.