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
On the co-operation between abductive and temporal reasoning in medical diagnosis
Luca Console,Pietro Torasso +1 more
TL;DR: This paper presents an architecture for diagnostic problem solving based on the use of a pathophysiological model in which both causal and temporal relations are explicitly represented and shows that in such an extended framework diagnostic problems can be solved correctly only by means of a strict co-operation between abductive and temporal reasoning.
Journal ArticleDOI
Towards next-generation visual archives: image, film and discourse
John A. Bateman,Chiao-I Tseng,Ognyan Seizov,Arne Jacobs,A. Lüdtke,Marion G. Müller,Otthein Herzog +6 more
TL;DR: The meaningful interrelations between semiotic modes, the combinations between manual and (semi)automated annotation, the seamless integration of coding and annotation schemes which share common logics and the contextual embedding of the presented analyses strongly suggest multimodal document analysis in all its forms will continuously benefit from a corpus-based approach.
Proceedings Article
Robust operative diagnosis as problem solving in a hypothesis space
TL;DR: An approach that formulates diagnosis of physical systems in operation (operative diagnosis) as problem solving in a hypothesis space by grouping fault hypotheses according to the type of physical system representation and problem solving techniques used in their construction is described.
Journal ArticleDOI
Predictive modeling of colorectal cancer using a dedicated pre-processing pipeline on routine electronic medical records
Reinier Kop,Mark Hoogendoorn,Annette ten Teije,Frederike L. Büchner,Pauline Slottje,Leon M G Moons,Mattijs E. Numans +6 more
TL;DR: A dedicated medical pre-processing pipeline aimed at taking on many problems and opportunities contained within EMR data, such as their temporal, inaccurate and incomplete nature is proposed, which has great potential to enhance disease prediction, and hence early detection and intervention in medical practice.
Proceedings ArticleDOI
Variants of temporal defeasible logics for modelling norm modifications
TL;DR: This paper proposes some variants of Temporal Defeasible Logic to reason about normative modifications that make it possible to differentiate cases in which modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.
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.