Filters








664 Hits in 2.7 sec

Nonmonotonic reasoning and causation

Y Shoham
1990 Cognitive Science  
Specifically, I will suggest connecting the concept of causation to the notion of nonmonotonic reasoning.  ...  Specif- ically, it is proposed that causal reasoning is intimately bound to nonmonotonic reasoning.  ...  If tvl ETV and tv2 En then tvl = tvz and tvt 5 tv2 are wffs. 2.  ... 
doi:10.1016/0364-0213(90)90003-f fatcat:yhg4tp3snnboffw67mdixmee4a

Nonmonotonic Reasoning and Causation

Yoav Shoham
1990 Cognitive Science  
Specifically, I will suggest connecting the concept of causation to the notion of nonmonotonic reasoning.  ...  Specif- ically, it is proposed that causal reasoning is intimately bound to nonmonotonic reasoning.  ...  If tvl ETV and tv2 En then tvl = tvz and tvt 5 tv2 are wffs. 2.  ... 
doi:10.1207/s15516709cog1402_2 fatcat:n4347msgvrdmlap3kq3u2p5xfy

Nonmonotonic Reasoning and Causation: Comment

Herbert A. Simon
1991 Cognitive Science  
In a recent issue of Cognitive Science, * Yoav Shoham (1990) proposed a theory of causation based on a nonmonotonic logic of temporal knowledge.  ...  (p. 217) We can restate this causal theory symbolically, by designating the turning of the key by K, the operability of battery and spark plugs by B and P, respectively, and the starting of the motor by  ...  Causal ordering is "nonmonotonic" in the sense that if A causes C, this does not imply that A and B cause C.  ... 
doi:10.1207/s15516709cog1502_5 fatcat:wi2tx6t2zjfavduw6luknorwzq

Causation and nonmonotonic temporal reasoning [chapter]

Peter Grünwald
1997 Lecture Notes in Computer Science  
We introduce a new approach to reasoning about action and change using nonmonotonic logic.  ...  We thus provide a reinterpretation in terms of causal network theory of much of the work done in nonmonotonic temporal reasoning. 1. The two languages share the same FC and EC .  ...  For any two theories T nc for our language and T b for a language of Baker's approach, we de ne T nc T b to hold i all of the following hold:  ... 
doi:10.1007/3540634932_12 fatcat:cgi2dmsrevak3jvvmrn3fifmsi

Nonmonotonic reasoning and causation: Comment

H SIMON
1991 Cognitive Science  
In a recent issue of Cognitive Science, * Yoav Shoham (1990) proposed a theory of causation based on a nonmonotonic logic of temporal knowledge.  ...  (p. 217) We can restate this causal theory symbolically, by designating the turning of the key by K, the operability of battery and spark plugs by B and P, respectively, and the starting of the motor by  ...  Causal ordering is "nonmonotonic" in the sense that if A causes C, this does not imply that A and B cause C.  ... 
doi:10.1016/0364-0213(91)80009-t fatcat:mt3sfk3yd5cgnlwubdb3pqt5jm

Remarks on Simon's Comments

Yoav Shoham
1991 Cognitive Science  
causation and its formal model.  ...  I disagree, however, that causal ordering is "isomorphic" to my nonmonotonic account of causation.  ...  causation and its formal model.  ... 
doi:10.1207/s15516709cog1502_6 fatcat:7ibumwt5ifhqbgzv7btxkqmoeu

Remarks on Simon's comments

Y SHOHAM
1991 Cognitive Science  
causation and its formal model.  ...  I disagree, however, that causal ordering is "isomorphic" to my nonmonotonic account of causation.  ...  causation and its formal model.  ... 
doi:10.1016/0364-0213(91)80010-3 fatcat:uvmrwbpaqnddpogefdwseyjk2m

Actual Causality in a Logical Setting

Alexander Bochman
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
On the way, we explore general capabilities of the logical representation for structural equation models of causation and beyond.  ...  We provide a definition of actual causation in the logical framework of the causal calculus, which is based on a causal version of the well-known NESS (or INUS) condition.  ...  General Causation in the Causal Calculus The causal calculus was introduced in [McCain and Turner, 1997 ] as a nonmonotonic formalism for reasoning about action and change in AI.  ... 
doi:10.24963/ijcai.2018/239 dblp:conf/ijcai/Bochman18 fatcat:kscnyo2unbdhhgxkokcwuosnha

Page 5737 of Mathematical Reviews Vol. , Issue 92j [page]

1992 Mathematical Reviews  
Logic programming and nonmonotonic reasoning (Washington, DC, 1991), 3-20, MIT Press, Cambridge, MA, 1991.  ...  From the summary: “Moore’s autoepistemic logic (AEL) proved to be a very successful approach to formalizing nonmonotonic reasoning and logic programming.  ... 

From Turner's Logic of Universal Causation to the Logic of GK [chapter]

Jianmin Ji, Fangzhen Lin
2012 Lecture Notes in Computer Science  
Logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.  ...  Besides showing the generality of GK as a logic for nonmonotonic reasoning, these embeddings shed light on the relationships among these other logics.  ...  Acknowledgements We want to thank Vladimir Lifschitz for his pioneering work in nonmonotonic logic and reasoning about action that makes this work possible.  ... 
doi:10.1007/978-3-642-30743-0_25 fatcat:bp3ewsovpzalpe6q22g57iyg6u

A Logic For Causal Reasoning

Alexander Bochman
2003 International Joint Conference on Artificial Intelligence  
The results of the study seem to suggest causal production relations as a viable general framework for nonmonotonic reasoning.  ...  The formalism is shown to provide a complete characterization for the causal reasoning behind causal theories from [McCain and Turner, 1997] .  ...  The author is grateful to Vladimir Lifschitz, Hudson Turner, David Makinson and Leendert van der Torre, as well as to the anonymous referees, for their instructive comments and suggestions.  ... 
dblp:conf/ijcai/Bochman03 fatcat:cishcvvs7zgj3hbfzwbtuu2xh4

Motivated action theory: a formal theory of causal reasoning

Lynn Andrea Stein, Leora Morgenstern
1994 Artificial Intelligence  
In this paper, we explore the problem of temporal reasoning-reasoning about change over time-and the crucial role that causation plays in our intuitions.  ...  We propose a new system for causal reasoning, motivated action theory, which builds upon causation as a crucial preference criterion.  ...  do general nonmonotonic reasoning, but that temporal reasoning is not general nonmonotonic reasoning.  ... 
doi:10.1016/0004-3702(94)90061-2 fatcat:kk7o5sss6balzo373qgark5vsu

Page 620 of Mathematical Reviews Vol. , Issue 92b [page]

1992 Mathematical Reviews  
Summary: “Human commonsense reasoning is at the same time nonmonotonic and temporal. This paper proposes a logic for non- monotonic temporal reasoning.  ...  The nonmonotonic temporal logic ‘autoepistemic temporal logic’ (ATL) is an extension of both au- toepistemic logic, a kind of nonmonotonic logic, and propositional temporal logic (PTL).  ... 

Low-dose effects and nonmonotonic dose–responses of endocrine disrupting chemicals: Has the case been made?

Lorenz R. Rhomberg, Julie E. Goodman
2012 Regulatory toxicology and pharmacology  
They propose a number of different nonmonotonic dose-response curves, but do not consider reasons for why they should be expected to apply generally across species.  ...  They assume that any statistically significant association indicates causation of an adverse effect, and their limited evaluation of specific studies is not done uniformly (i.e., studies with positive  ...  indicative of causation, and do not evaluate whether positive results are consistent with one another and BPA's purported mode of action.  ... 
doi:10.1016/j.yrtph.2012.06.015 pmid:22750031 fatcat:myfil5btdvhwnofndc34imu2qu

Page 3629 of Mathematical Reviews Vol. , Issue 2000e [page]

2000 Mathematical Reviews  
This paper presents a commonsense language for reasoning about action and causation whose semantics is expressed by way of coun- terfactuals.  ...  {For the entire collection see MR 99m:03005.} 2000e:68159 68T27 Ortiz, Charles L., Jr. (1-SRI; Menlo Park, CA) A commonsense language for reasoning about causation and rational action.  ... 
« Previous Showing results 1 — 15 out of 664 results