My home page
Biography
Research
Publications
My group
Courses
Professional activities
FAQ
Personal
Papers

Daphne Koller Publications

Irrelevance and conditioning in first-order probabilistic logic (1996)

by D. Koller and J. Y. Halpern


Abstract: First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support certain desirable patterns of reasoning, such as indifference to irrelevant information or substitution of constants into universal rules. We show that both these patterns rely on a first-order version of probabilistic independence, and provide semantic conditions to capture them. The resulting insight enables us to understand the effect of conditioning on independence, and allows us to describe a procedure for determining when independencies are preserved under conditioning. We apply this procedure in the context of a sound and powerful inference algorithm for reasoning from statistical knowledge bases.


Download Information

D. Koller and J. Y. Halpern (1996). "Irrelevance and conditioning in first-order probabilistic logic." Proceedings of the 13th National Conference on Artificial Intelligence (AAAI) (pp. 569-576). pdf ps.gz

Bibtex citation

@inproceedings{Koller+Halpern:AAAI96,
  author =       "D. Koller and J. Y. Halpern",
  booktitle =    "Proceedings of the 13th National Conference on Artificial Intelligence (AAAI)",
  title =        "Irrelevance and conditioning in first-order
                 probabilistic logic",
  pages =        "569--576",
  year =         "1996",
}

full list
Click to go to robotics Click to go to theory Click to go to CS Stanford Click to go to Stanford's Webpage
home | biography | research | papers | my group
courses | professional activities | FAQ | personal