Possibilistic reasoning in multi-context systems: preliminary report

Authors:
Yifan Jin;Kewen Wang;Lian Wen
Affiliations:
School of Information and Communication Technology, Griffith University, Brisbane, QLD, Australia;School of Information and Communication Technology, Griffith University, Brisbane, QLD, Australia;School of Information and Communication Technology, Griffith University, Brisbane, QLD, Australia
Venue:
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Year:
2012

Citing 10
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Multilanguage hierarchical logics, or: how we can do without modal logics

Artificial Intelligence
Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Possibilistic uncertainty handling for answer set programming

Annals of Mathematics and Artificial Intelligence
Reasoning with multiple-source information in a possibilistic logic framework

Information Fusion
Equilibria in heterogeneous nonmonotonic multi-context systems

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Notes on formalizing context

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Contextual default reasoning

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Minimal and absent information in contexts

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A survey of context modelling and reasoning techniques

Pervasive and Mobile Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.