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
Temporal representation of clinical algorithms using expert-system and database tools
TL;DR: The HyperLipid Advisory System combines a rule-based implementation of a clinical algorithm with a temporal representation that facilitates reasoning over time while maintaining efficient storage in a standard database.
Proceedings ArticleDOI
Specification and verification of real-time embedded systems using time-constrained reactive automata
TL;DR: The authors briefly review the time-constrained reactive automata (TRA) model and its use in the specification and verification of real-time embedded systems.
Autonomous Learning of User's Preferences Improved through User Feedback.
TL;DR: This paper presents a system that discovers patterns related to user’s actions and improves them through user feedback, and an algorithm which taking as starting point information collected by sensor discovers these patterns.
Journal ArticleDOI
SEPPHORIS: An augmented hypergraph‐grammar representation for events, stipulations, and legal prescriptions
TL;DR: SEPPHORIS is a knowledge representation formalism for descriptions, stipulations, or prescriptions, where the normative and the narrative are intertwined, and is illustrated using exemplification on a particular paragraph from an ancient source, the Mishnah.
Journal ArticleDOI
TSMI: a CEN/TC251 standard for time specific problems in healthcare informatics and telematics
TL;DR: The European Prestandard 'TSMI: time standards for healthcare specific problems' (CEN/TC251 preENV 12381) is presented, which aims to be the first contribution to this harmonisation process, focusing on 'representation' and 'explicit reference' of temporal information in healthcare.
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.