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

Daphne Koller Publications

A logic for approximate reasoning (1992)

by D. Koller and J. Y. Halpern


Abstract: We investigate the problem of reasoning with imprecise quantitative information. We give formal semantics to a notion of approximate observations, and define two types of entailment for a knowledge base with imprecise information: a cautious notion, which allows only completely justified conclusions, and a bold one, which allows jumping to conclusions. Both versions of the entailment relation are shown to be decidable. We investigate the behavior of the two alternatives on various examples, and show that the answers obtained are intuitively desirable. The behavior of these two entailment relations is completely characterized for a certain sublanguage, in terms of the logic of true equality. We demonstrate various properties of the full logic, and show how it applies to many situations of interest.


Download Information

D. Koller and J. Y. Halpern (1992). "A logic for approximate reasoning." Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR) (pp. 153-164). pdf ps.gz

Bibtex citation

@inproceedings{Koller+Halpern:KR92,
  author =       "D. Koller and J.~Y. Halpern",
  editor =       "B. Nebel and C. Rich and W. Swartout",
  booktitle =    "Proceedings of the Third International Conference on Principles of
      Knowledge Representation and Reasoning (KR)",
  title =        "A logic for approximate reasoning",
  pages =        "153--164",
  year =         "1992",
}

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