In recent papers a new semantics, called Local Models Semantics, was presented and used to provide a foundation to reasoning with contexts. Local Models Semantics captures and makes precise the two main principles underlying contextual reasoning: the, so-called, Principle of Locality and Principle of Compatibility. In this chapter we aim at explaining the main intuitions underlying Local Models Semantics, its fundamental logical properties, and its relation with contextual reasoning. The emphasis is on motivations and intuitions, rather than on technicalities.
What is Local Models Semantics? / Giunchiglia, Fausto; Ghidini, Chiara. - ELETTRONICO. - (2002), pp. 1-17.
What is Local Models Semantics?
Giunchiglia, Fausto;Ghidini, Chiara
2002-01-01
Abstract
In recent papers a new semantics, called Local Models Semantics, was presented and used to provide a foundation to reasoning with contexts. Local Models Semantics captures and makes precise the two main principles underlying contextual reasoning: the, so-called, Principle of Locality and Principle of Compatibility. In this chapter we aim at explaining the main intuitions underlying Local Models Semantics, its fundamental logical properties, and its relation with contextual reasoning. The emphasis is on motivations and intuitions, rather than on technicalities.| File | Dimensione | Formato | |
|---|---|---|---|
|
90.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
598.46 kB
Formato
Adobe PDF
|
598.46 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
