21,752 Hits in 4.8 sec

A proof theoretic approach to qualitative probabilistic reasoning

Simon Parsons
1998 International Journal of Approximate Reasoning  
This paper suggests one way of combining the advantages of both types of approach by introducing a means of reasoning with causal influences in a proof theoretic way.  ...  In recent years, several papers have described systems for plausible reasoning which do not use numerical measures of uncertainty.  ...  Acknowledgements Many thanks to Nic Wilson for pushing me to take this work as far as I claimed it could go.  ... 
doi:10.1016/s0888-613x(98)10011-7 fatcat:v3kruwq6uzb7hdvi7vgozshy7i

Page 1174 of Mathematical Reviews Vol. , Issue 85c [page]

1985 Mathematical Reviews  
., 310-319] also presents a modal logic which reasons about likelihood on a qualitative level, although the logic is not applied to reasoning about probabilistic programs. } Joseph Y.  ...  There is a large family of algorithms for which qualitative reasoning suffices to prove correctness, and it is in general much easier to reason qualitatively than quantitatively.  ... 


Laks V.S. Lakshmanan
1997 Theoretical Computer Science  
Nerode, Remmel, and Subrahmanian develop a unified approach to non-monotonic reasoning with uncertainty over arbitrary multiple-valued logics.  ...  Proof search in Preface Most real-life applications of information technology require an ability to repres- ent, manage, and reason with uncertain knowledge.  ... 
doi:10.1016/s0304-3975(96)00122-3 fatcat:kpaffnko6ffrlnnsi4l7gne23e

Integrating heterogeneous knowledges for understanding biological behaviors: a probabilistic approach [article]

Jérémie Bourdon, Samuel Gabillard
2007 arXiv   pre-print
We consider that both informations, qualitative and quantitative, have to be combined into a modeling method to provide a better understanding of the biological system.  ...  Reasoning on living systems hence implies to integrate heterogeneous and partial informations.  ...  Sketch of proof. See (Bourdon and Eveillard, 2007) for a complete proof of this theorem.  ... 
arXiv:0712.3900v1 fatcat:7yyzchslijgifejlh66bqo2vaa

Page 5142 of Mathematical Reviews Vol. , Issue 92i [page]

1992 Mathematical Reviews  
In this chapter, we argue for a model-theoretic rather than a proof-theoretic approach to the problem.  ...  In particular, it turns out that Geffner’s qualitative probabilistic default logic based on Adams’ semantics is equivalent to a form of possibilistic logic, and owes nothing to the additivity axiom of  ... 

Editors' Review and Introduction: Models of Rational Proof in Criminal Law

Henry Prakken, Floris Bex, Anne Ruth Mackor
2020 Topics in Cognitive Science  
This will advance the discussion on rational reasoning about evidence in law and will contribute more widely to cognitive science on a number of topics, including the value of probabilistic accounts of  ...  The aim of this topic is to obtain more insight into how the different approaches can be applied in a legal context.  ...  Norman Fenton's group at the School of Electronic Engineering and Computer Science, Queen Mary University London, which enabled us to organize three successive workshops devoted to the Simonshaven case  ... 
doi:10.1111/tops.12519 pmid:33146468 fatcat:7uzjr4m4ajbata7bi6ai426zyi

Page 3383 of Mathematical Reviews Vol. , Issue 91F [page]

1991 Mathematical Reviews  
This paper, primarily aimed at developing a deeper theoretical understanding of reason- ing backwards, can provide basic concepts to be incorporated into a specialized planning or expert system for support  ...  Summary: “In this paper, basic theoretical foundations of dynamic backward reasoning systems are presented.  ... 

Page 4881 of Mathematical Reviews Vol. , Issue 2004f [page]

2004 Mathematical Reviews  
Numerical examples il- lustrate this approach.” 2004f:68158 68137 03B52 03E72 28E10 60A05 91E30 Zadeh, Lotfi A. (1-CA-CDE; Berkeley, CA) Toward a perception-based theory of probabilistic reasoning with  ...  As AB grammars (also known as categorical grammars) only assign lo- cal tree languages to their languages, we arrive at a hierarchy of proof theoretical grammars with respect to their strong generative  ... 

Conditional Probability and Defeasible Inference

Horacio Arl� Costa, Rohit Parikh
2005 Journal of Philosophical Logic  
We use this model to relate probabilistic and qualitative models of nonmonotonic relations in terms of expectations. In doing so we propose a probabilistic model of the notion of expectation.  ...  We offer a probabilistic model of rational consequence relations (Lehmann and Magidor, 1990 ) by appealing to the extension of the classical Ramsey-Adams test proposed by Vann McGee in (McGee, 1994) .  ...  This approach permits us to construct a reasonable definition of both expectations and full beliefs for a generalized conditional probability function.  ... 
doi:10.1007/s10992-004-5553-6 fatcat:a4elbwafsjbd7c5rymtyyefr5y

Decision theory in expert systems and artificial intelligence

Eric J. Horvitz, John S. Breese, Max Henrion
1988 International Journal of Approximate Reasoning  
This disenchantment seems to have arisen, in part, from a perception that decisiontheoretic approaches were hopelessly intractable and were inadequate for expressing the rich structure of human knowledge  ...  For example, someone willing to bet according to incoherent beliefs would be willing to accept a "Dutch book"--that is, a combination of bets leading to guaranteed loss under any outcome (Lehman [5], Shimony  ...  of probabilistic inference and the informal, qualitative approach characteristic of human reasoning.  ... 
doi:10.1016/0888-613x(88)90120-x fatcat:6gzvzf6rufckfcfmc3adec7leu

Background to Qualitative Decision Theory

Jon Doyle, Richmond H. Thomason
1999 The AI Magazine  
Qualitative decision theory studies qualitative approaches to problems of decision making and their sound and effective reconciliation and integration with quantitative approaches.  ...  Although it inherits from a long tradition, the field offers a new focus on a number of important unanswered questions of common concern to AI, economics, law, psychology, and management. Articles  ...  Acknowledgments The preceding presentation reflects our debts to the participants of the 1997 AAAI Spring Symposium on Qualitative Preferences in Deliberation and Practical Reasoning, especially to Fahiem  ... 
doi:10.1609/aimag.v20i2.1456 dblp:journals/aim/DoyleT99 fatcat:yx2azbymyjd47lpbl32lks3x3q

Page 7297 of Mathematical Reviews Vol. , Issue 2003j [page]

2003 Mathematical Reviews  
7297 with words more as a fuzzy logic discipline that is near to fuzzy reasoning methods. Both approaches are rational and acceptable but, actually, neither of them appears to be complete.  ...  The fuzzy set theoretical model of verbal variables, their generation and pro- cessing, as suggested here and in other papers, is intended to offer such a combined view on the quantitative-qualitative  ... 

Page 5488 of Mathematical Reviews Vol. , Issue 2003g [page]

2003 Mathematical Reviews  
The second system is the possibilistic approach to default reasoning developed by Benferhat, Dubois and Prade.  ...  The aim of this chapter is to show how to find such priorities. This chapter is not intended to give an overview of existing approaches to default reasoning which use the ideas of specificity.  ... 

Using Probabilistic Analysis for the Certification of Machine Control Systems [chapter]

Atif Mashkoor, Osman Hasan, Wolfgang Beer
2013 Lecture Notes in Computer Science  
The probabilistic analysis approach can assist in their evaluation by providing a subjective evidence of their safety and reliability.  ...  The synergy of probabilistic analysis and expressiveness of higher-order logic theorem proving results into convincing modelling and reasoning of several stringent safety cases that contribute towards  ...  The main idea here is either to use a probabilistic choice operator to reason about termination conditions [17] or to use the semantics of a Markov process to reason about the reliability or performance  ... 
doi:10.1007/978-3-642-40588-4_21 fatcat:e4fjb4edtzhzvcqbvydhpt5b6u

Qualitative Probabilistic Networks for Planning Under Uncertainty [article]

Michael P. Wellman
2013 arXiv   pre-print
Bayesian networks provide a probabilistic semantics for qualitative assertions about likelihood.  ...  A qualitative reasoner based on an algebra over these assertions can derive further conclusions about the influence of actions.  ...  The approach described here attempts to an swer some of the concerns of non-probabilists with out abandoning probabilistic semantics.  ... 
arXiv:1304.3115v1 fatcat:nnyl5oqtd5ch5b3psfbiu4jdle
« Previous Showing results 1 — 15 out of 21,752 results