In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise the two main intuitions underlying contextual reasoning: (i) reasoning is mainly local and uses only part of what is potentially avilable (e.g. what is known, the available interference procedures), this part is what we call context (of reasoning), however (ii) the context may change and there is compatibility among the reasoning performed in different contexts. We validate or semantics by formalizing two important forms of contextual reasoning: reasoning with viewpoints and reasoning about belief
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
Ghidini, Chiara;Giunchiglia, Fausto
2001-01-01
Abstract
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise the two main intuitions underlying contextual reasoning: (i) reasoning is mainly local and uses only part of what is potentially avilable (e.g. what is known, the available interference procedures), this part is what we call context (of reasoning), however (ii) the context may change and there is compatibility among the reasoning performed in different contexts. We validate or semantics by formalizing two important forms of contextual reasoning: reasoning with viewpoints and reasoning about beliefI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
