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
Journal ArticleDOI
DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO)
Daniel Oberle,Anupriya Ankolekar,Pascal Hitzler,Philipp Cimiano,Michael Sintek,Malte Kiesel,Babak Mougouie,Stephan Baumann,Shankar Vembu,Massimo Romanelli,Paul Buitelaar,Ralf Engel,Daniel Sonntag,Norbert Reithinger,Berenike Loos,Hans-Peter Zorn,Vanessa Micelli,Robert Porzel,Christian Schmidt,Moritz Weiten,Felix Burkhardt,Jianshen Zhou +21 more
TL;DR: A foundational ontology is developed, the SmartSUMO ontology, on the basis of the DOLCE and SUMO ontologies to combine all the developed ontologies into a single SmartWeb Integrated Ontology (SWIntO), having a common modeling basis with conceptual clarity and the provision of ontology design patterns for modeling consistency.
Journal ArticleDOI
Dynamic Bayesian networks as prognostic models for clinical patient management
TL;DR: It is shown that the DBN can make detailed predictions, about not only patient survival, but also other variables of interest, such as disease progression, the effect of treatment, and the development of complications.
Journal ArticleDOI
Reasoning situated in time I: basic concepts
TL;DR: Sittinguated logic is formulated, an approach to reasoning in which the formalism has a kind of real-time self-reference that affects the course of deduction itself, and some specific inference mechanisms for real- time default reasoning are suggested, notably a form of introspection relevant to default reasoning.
Book
Handbook of French Semantics
F. Corblin,H.E. de Swart +1 more
TL;DR: This book focuses on the semantic particularities of the French language, covering five empirical themes: determiners, adverbs, tense and aspect, negation, and information structure.
Journal ArticleDOI
Changing legal systems: legal abrogations and annulments in Defeasible Logic
TL;DR: This paper proposes a temporal extension of Defeasible Logic suitable to express this model and to capture abrogation and annulment, and shows that the proposed framework overcomes the difficulties discussed in regard to belief and base revision, and is sufficiently flexible to represent many of the subtleties characterizing legal abrogations andannulments.
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.