Wednesday, November 03, 2004

MultiContext Logics 

MultiContext Logics: "The term 'MultiContext Logics' (MC Logics) refers to a family of logics for the representation of contextual reasoning based on the two following principles:
Principle 1 (of Locality)
Reasoning uses only part of what is potentially available (e.g., what is known, the available inference procedures). The part being used while reasoning is what we call context (of reasoning).
Principle 2 (of Compatibility)
there is compatibility among the reasoning performed in different contexts. "

0 Comments:

Post a Comment

This page is powered by Blogger. Isn't yours?