1 / 18

Uncertainty Representation and Reasoning with MEBN/PR-OWL

Uncertainty Representation and Reasoning with MEBN/PR-OWL. Kathryn Blackmond Laskey Paulo C. G. da Costa The Volgenau School of Information Technology and Engineering George Mason University - Fairfax, VA [klaskey, pcosta]@gmu.edu. Uncertainty and Ambiguity are Ubiquitous.

pittsm
Download Presentation

Uncertainty Representation and Reasoning with MEBN/PR-OWL

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Uncertainty Representation and Reasoning with MEBN/PR-OWL Kathryn Blackmond Laskey Paulo C. G. da Costa The Volgenau School of Information Technology and Engineering George Mason University - Fairfax, VA [klaskey, pcosta]@gmu.edu

  2. Uncertainty and Ambiguity are Ubiquitous

  3. Semantic Awareness in an Uncertain World • Ontologies formalize our knowledge about entities and relationships in the world • Many relationships are intrinsically uncertain • Traditional ontology formalisms lack built-in means for handling uncertainty • Without a means of expressing uncertainty we are unable to say much of what we know Methodologies and tools are needed for principled handling of uncertainty in semantically aware systems

  4. There is an urgent practical need for sound and principled representation of uncertainties associated with our knowledge Intrinsically probabilistic phenomena may exist in Nature Today’s existential phenomenon is tomorrow’s superseded theory Is Probability Ontological or Epistemic?

  5. Why Bayes? • Requirement: reason in the presence of uncertainty about… • Input data • Existence of relationships among entities • Strength of relationships • Constraints governing relationships • Solution: Bayesian inference • Combine expert knowledge with statistical data • Represent cause and effect relationships • Learn from observations • Prevent over-fitting • Clear and understandable semantics • Logically coherent

  6. Parsimonious specification for joint probability distribution over many random variables Graph encodes dependence relationships Local distributions encode numerical probability information Implicitly specifies full joint distribution Computational architecture for evidential reasoning Condition on evidence Compute updated beliefs on unobserved variables Efficient local computations Bi-directional reasoning Bayesian Network Are BNs a suitable formal basis for probabilistic ontology?

  7. The Trouble with BNs Traditional BNs are insufficiently expressive for complex problems How many entities? What are their types? What are their features? How are they related to each other? How do they change over time?

  8. MEBN to the Rescue! MEBN can express: Attribute value uncertainty Number uncertainty Type uncertainty Reference uncertainty Structure uncertainty Repeated structure Recursion Existence uncertainty Parameter uncertainty Structure uncertainty Quantifiers

  9. MEBN: A First-Order Bayesian Logic • Represents knowledge as parameterized fragments of Bayesian networks • Expresses repeated structure • Represents probability distribution on interpretations of associated first-order theory • Expressive enough to express anything that can be said in FOL • Suitable logical basis for probabilistic ontology

  10. MEBN Theory

  11. Situation Specific Bayesian Network • Own ship, 4 other starships, 1 zone, 4 reports, 2 time steps • Ordinary Bayesian network constructed to process probabilistic query on a MEBN Theory

  12. PR-OWL: A Language for Probabilistic Ontologies • Upper OWL Ontology • Represents MEBN Theories

  13. MEBN / PR-OWL

  14. Logical Reasoning

  15. Logical *and* Plausible Reasoning

  16. MEBN/PR-OWL Probabilistic Ontologies • Allow both probabilistic and deterministic reasoning • The “probabilistic part” is a complete or partial MEBN theory • Different people will build different MEBN theories of their domains. • MEBN logic is expressive enough to provide logical basis for semantic integration.

  17. Probabilistic Semantic Mapping Costa, P., Laskey, K.B. and Laskey, K.J., Probabilistic Ontologies for Efficient Resource Sharing in Semantic Web Services, Workshop on Uncertainty in the Semantic Web, International Semantic Web Conference, November 2006. • A probabilistic ontology augments a standard ontology with a representation of uncertainty • A mapping ontology represents mapping of terms between domain ontologies

  18. THANKS!!!

More Related