Probabilistic Multi-Context Systems

The concept of contexts is widely used in artificial intelligence. Several recent attempts have been made to formalize multi-context systems (MCS) for ontology applications. However, these approaches are unable to handle probabilistic knowledge. This paper introduces a formal framework for representing and reasoning about uncertainty in multi-context systems (called p-MCS). Some important properties of p-MCS are presented and an algorithm for computing the semantics is developed. Examples are also used to demonstrate the suitability of p-MCS.

[1]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[2]  Federica Russo,et al.  Combining Probability and Logic , 2009, J. Appl. Log..

[3]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[4]  Floris Roelofsen,et al.  Minimal and Absent Information in Contexts , 2005, IJCAI.

[5]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[6]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[7]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[8]  Jiao Tao,et al.  Context Representation for the Semantic Web , 2010 .

[9]  John W. Lloyd,et al.  Probabilistic reasoning in a classical logic , 2009, J. Appl. Log..

[10]  Luciano Serafini,et al.  Comparing formal theories of context in AI , 2004, Artif. Intell..

[11]  A L Rector,et al.  The GALEN project. , 1994, Computer methods and programs in biomedicine.

[12]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[13]  V. S. Subrahmanian,et al.  Probabilistic Logic Programming , 1992, Inf. Comput..

[14]  Kent A. Spackman,et al.  Consolidating SNOMED CT's ontological commitment , 2011, Appl. Ontology.

[15]  James A. Hendler,et al.  From the Semantic Web to social machines: A research challenge for AI on the World Wide Web , 2010, Artif. Intell..

[16]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.

[17]  Alex Dekhtyar,et al.  Revisiting the Semantics of Interval Probabilistic Logic Programs , 2005, LPNMR.

[18]  Frank van Harmelen,et al.  C-OWL: Contextualizing Ontologies , 2003, SEMWEB.