Sciweavers

3970 search results - page 4 / 794
» A Logic For Causal Reasoning
Sort
View
JELIA
2010
Springer
13 years 6 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
IJCAI
1997
13 years 8 months ago
A Causal Time Ontology for Qualitative Reasoning
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizogu...
TPLP
2002
117views more  TPLP 2002»
13 years 7 months ago
On Properties of Update Sequences Based on Causal Rejection
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
NMR
2004
Springer
14 years 26 days ago
Frame consistency: computing with causal explanations
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
Andrea Bracciali, Antonis C. Kakas
CL
2000
Springer
13 years 12 months ago
Logic, Knowledge Representation, and Bayesian Decision Theory
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
David Poole