Contextual Reasoning and Importing Contexts

Christo Dichev

This paper tackles the problem of understanding when and how a reasoning component of a distributed reasoning system is affected by the other components, and how it affects them. A number of relevant concepts which have a precise intuition in terms of cooperative reasoning systems are proposed thus providing a ground for defining a particular class of contexts -- importing context. The notion of importing context refers to those contexts of a MCS satisfying the property that only correct with respect to the other contexts formulas are derivable from them. A number of properties of the importing contexts are presented and discussed in a framework of cooperative reasoning systems.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.