Possibilistic Reasoning in Multi-Context Systems: Preliminary Report
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.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.
View less >
View less >
Conference Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume
7458 LNAI
Subject
Artificial Intelligence and Image Processing not elsewhere classified