منابع مشابه
Probabilistic logic with independence
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without independence, and then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first order probabilistic log...
متن کاملProbabilistic Logic with Strong Independence
This papers investigates the manipulation of statements of strong independence in probabilistic logic. Inference methods based on polynomial programming are presented for strong independence, both for unconditional and conditional cases. We also consider graph-theoretic representations, where each node in a graph is associated with a Boolean variable and edges carry a Markov condition. The resu...
متن کاملProbabilistic Logic with Conditional Independence Formulae1
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with incomplete information like probabilities that are missing or only known to lie in some interval. However, probabilistic propositional logic as described e.g. by Halpern [9], has no way of expressing conditional indepe...
متن کاملProbabilistic Logic with Conditional Independence Formulae
We investigate a probabilistic propositional logic that is an extension of the logic proposed by Fagin et al. [4] with conditional independence formulae. We give an axiomatization which we show to be complete for the kind of inferences allowed by Bayesian networks.
متن کاملIndependence Relations in Probabilistic Logic (Extended Abstract)
In “standard” probability theory, one lists all events that are logically possible, and then places a normalized measure over them. This scheme is rather dry. It may happen that the list of possible events is encoded through logical sentences, and one must employ logical reasoning to determine which events are included in probabilistic assessments. It may also happen that probabilistic assessme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2008
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2007.08.002