Alan Frisch  Home/Search
Context Related
Links: ACM DBLP | uwm.edu/pub/tech_re...haddawyAIJ1.ps.Z uwm.edu/pub/tech_re...haddawyAIJ1.ps.Z cs.york.ac.uk/isg/paper...anytime.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uwm.edu/faculty/haddawy/papers (more) From: uwm.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes and investigates an approach to deduction in probabilistic logic, using as its medium a language that generalizes the propositional version of Nilsson's probabilistic logic by incorporating conditional probabilities. Unlike many other approaches to deduction in probabilistic logic, this approach is based on inference rules and therefore can produce proofs to explain how conclusions are drawn. We show how these rules can be incorporated into an anytime deduction procedure... (Update)
Context of citations to this paper: More
.... that have been explored in probabilistic logic, which ranges from constraints for unconditional and conditional events [AMA 91, FRI 94, LUK 99a, LUK 99b, LUK 01, NIL 86] to rich languages that specify linear inequalities over events [FAG 90] The main problems related to...
.... in model theoretic probabilistic logic, ranging from constraints for unconditional and conditional events [16, 20, 2, 53, 19, 23, 33, 45, 39, 40, 42, 46] to rich languages that specify linear inequalities over events [22] The main problems related to model theoretic...
Cited by: More
The Method of Assigning Incidences - Liu, McBryan, Bundy (Correct)
Probabilistic Logic under Coherence: Complexity and Algorithms - Biazzo (2002) (Correct)
Elimination of Boolean variables for probabilistic.. - Baioletti, Capotorti.. (2000) (Correct)
Active bibliography (related documents): More All
0.7: Probabilistic Satisfiability - Hansen, Jaumard (1997) (Correct)
0.5: Dynamics of Beliefs and Strategy of Perception. - Fabiani (1996) (Correct)
0.4: A Glance At Non-Standard Models and Logics of Uncertainty and.. - Dubois, Prade (Correct)
Similar documents based on text: More All
0.5: Believing Change and Changing Belief - Peter Haddawy Haddawy (1996) (Correct)
0.4: The Software Concordance: A User Interface for Advanced.. - Gupta, Nguyen, Munson (2002) (Correct)
0.3: Hiding the Hidden: A Software System for Concealing.. - Chapman, Davida (1997) (Correct)
Related documents from co-citation: More All
35: A logic for reasoning about probabilities - Fagin, Halpern et al. - 1990
26: Probabilistic logic (context) - Nilsson - 1986
25: Probabilistic deduction with conditional constraints over basic events - Lukasiewicz - 1998
BibTeX entry: (Update)
A.M. Frisch and P. Haddawy. Anytime deduction for probabilistic logic. Artificial Intelligence, 69(12) :93--122, Sept 1994. http://citeseer.ist.psu.edu/frisch94anytime.html More
@article{ frisch94anytime,
author = "Alan M. Frisch and Peter Haddawy",
title = "Anytime Deduction for Probabilistic Logic",
journal = "Artificial Intelligence",
volume = "69",
number = "1--2",
pages = "93--122",
year = "1994",
url = "citeseer.ist.psu.edu/frisch94anytime.html" }
Citations (may not include all citations):1543 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988 ACM
402 An analysis of time-dependent planning (context) - Dean, Boddy - 1988 DBLP
137 An analysis of first-order logics of probability - Halpern - 1991 ACM DBLP
129 Representing and Reasoning With Probabilistic Knowledge (context) - Bacchus - 1990 ACM
107 Artificial Intelligence (context) - Nilsson - 1986 ACM DBLP
87 Anytime synthetic projection: Maximizing the probability of .. - Drummond, Bresina - 1990 DBLP
85 Reasoning under varying and uncertain resource constraints - Horvitz - 1988
79 Scheduling periodic jobs that allow imprecise results (context) - Chung, Liu et al. - 1991 ACM DBLP
60 Reflection and action under scarce resources: Theoretical pr.. - Horvitz - 1989
57 Approximate processing in real-time problem solving (context) - Lesser, Pavlin et al. - 1988
55 A semantical framework for supporting subjective and conditi.. - Ng, Subrahmanian - 1993 ACM DBLP
24 INFERNO: A cautious approach to uncertain inference (context) - Quinlan - 1983 ACM DBLP
23 Incidence calculus: A mechanism for probabilistic reasoning (context) - Bundy - 1985 ACM DBLP
22 Monotonically improving approximate answers to relational al.. (context) - Smith, Liu - 1989
22 periodic jobs using imprecise results (context) - Liu, Lin et al. - 1987
21 A semantics for complex objects and approximate queries - Buneman, Davidson et al. - 1988 ACM DBLP
18 Anytime rescheduling (context) - Zweben, Deale et al. - 1990
16 Probabilistic logic revisited (context) - Nilsson - 1993 ACM DBLP
13 An inequality paradigm for probabilistic knowledge: The logi.. (context) - Grosof - 1986 DBLP
12 An inference technique for integrating knowledge from dispar.. (context) - Garvey, Lowrance et al. - 1981 ACM
12 An object-oriented query processor that returns monotonicall.. (context) - Vrbsky, Liu et al. - 1990
11 Correctness criteria of some algorithms for uncertain reason.. (context) - Bundy - 1986 ACM DBLP
9 Computing probability intervals under independency constrain.. (context) - van der Gaag - 1990 ACM DBLP
8 Partial computation in real-time database systems (context) - Davidson, Watters - 1988
8 Variable precision logic - Michalski, Winston - 1986
7 Probabilistic logic (context) - Paass - 1988 ACM DBLP
5 Modal logics of higher-order probability (context) - Haddawy, Frisch - 1990 ACM DBLP
3 Convergent deduction for probabilistic logic (context) - Haddawy, Frisch - 1987
3 the uncertainties transmitted from premises to conclusions i.. (context) - Adams, Levine - 1975
3 Decision making with linear constraints on probabilities (context) - Pittarelli - 1988
2 Combination and propagation of uncertainty with belief funct.. (context) - Dubois, Prade - 1985
1 also to appear in Information and Computation (context) - Fagin, Halpern et al. - 1988
1 Generalizing fuzzy logic probabilistic inferences (context) - Ursic - 1986
1 Probabilities that imply certainties (context) - Shvaytser - 1990 DBLP
1 Implementation of and experiments with a variable precision .. (context) - Haddawy - 1986 DBLP
1 Probabilistic reasoning in logic programming (context) - Ng, Subrahmanian - 1990 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.uwm.edu/faculty/haddawy/papers.html): More
The Decision-Theoretic Video Advisor - Nguyen, Haddawy (1998) (Correct)
Probabilistic Logic Programming and Bayesian Networks - Ngo, Haddawy (1995) (Correct)
Toward Case-Based Preference Elicitation: Similarity Measures.. - Ha, Haddawy (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC