Possibilistic Reasoning in Multi-Context Systems: Preliminary Report

This paper makes the first attempt to establish a framework for possibilistic reasoning in (nonmonotonic) multi-context systems, called possibilistic MCS. We first introduce the syntax for possibilistic MCS and then define its equilibrium semantics based on Brewka and Eiter's nonmonotonic multi-context systems. Then we investigate several properties and develop a fixoint theory for possibilistic MCS.

[1]  Jadwiga Indulska,et al.  A survey of context modelling and reasoning techniques , 2010, Pervasive Mob. Comput..

[2]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[3]  Grigoris Antoniou,et al.  A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence , 2007, AmI Workshops.

[4]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[5]  Didier Dubois,et al.  Possibilistic Logic in Decision , 1999 .

[6]  Igor Stéphan,et al.  Possibilistic uncertainty handling for answer set programming , 2006, Annals of Mathematics and Artificial Intelligence.

[7]  H. Prade,et al.  Possibilistic logic , 1994 .

[8]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[9]  Floris Roelofsen,et al.  Contextual Default Reasoning , 2007, IJCAI.

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

[11]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

[12]  R. Yager.  An introduction to applications of possibility theory (+ commentaries by L.A. Zadeh, W. Bandler, T. Saaty, A. Kandel, D. Dubois & H. Prade, R.M. Tong and M. Kochen) , 1982 .

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

[14]  Salem Benferhat,et al.  Reasoning with multiple-source information in a possibilistic logic framework , 2006, Inf. Fusion.

[15]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

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