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
EVORM: a conceptual modelling technique for evolving application domains
TL;DR: EVORM is the result of applying a general theory for the evolution of application domains to the object role modelling technique PSM, a generalisation of ER, EER, FORM and NIAM.
Journal ArticleDOI
Rationale in planning: causality, dependencies, and decisions
Stephen T. Polyak,Austin Tate +1 more
TL;DR: The contribution of this paper is to explore this categorisation, and to motivate the need to explicitly record and represent rationale knowledge for situated, mixed-initiative planning systems.
Journal ArticleDOI
Mining health care administrative data with temporal association rules on hybrid events.
TL;DR: An algorithm for the extraction of temporal association rules (TARs) on sequences of hybrid events and its application on health care administrative databases is presented and the main potentials of the algorithm are highlighted.
Journal ArticleDOI
Participatory sociotechnical design of organizations and information systems – an adaptation of ETHICS methodology
Peter Adman,Lorraine Warren +1 more
TL;DR: A practical adaptation of the ETHICS methodology used in redesigning an information technology (IT) support service in an academic setting is examined, exploring the claimed association with the viable systems methodology and concluding with suggestions for further research.
Proceedings ArticleDOI
Situations and intervals
TL;DR: The PUNDIT system processes natural language descriptions of situations and the intervals over which they hold using an algorithm that integrates aspect and tense logic to generate representations of three types of situations.
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.