Different formalisms for contexts have been successfully used to represent and reason about distributed knowledge. In these formalisms, knowledge is represented as a set of contexts, each representing a piece of the whole knowledge. Contexts have been proved particularly adapt to deal with heterogeneous distributed knowledge, but, in order to deal with the change of such a knowledge, they must be extended. In particular, they must cope with the problems of adding, deleting, or changing facts in a context, and computing the effect of this change in the other contexts. The current approaches to belief revision and multi-agent belief revision can be helpful, but they do not provide a satisfactory treatment of heterogeneity. We provide a formal definition of the operation of updating a context, and we define an algorithm that computes the effects of updating a context on other related contexts. We take a semantic perspective, i.e., each context is formalized as a set of possible partial models of the world

Updating Contexts

Serafini, Luciano
2002-01-01

Abstract

Different formalisms for contexts have been successfully used to represent and reason about distributed knowledge. In these formalisms, knowledge is represented as a set of contexts, each representing a piece of the whole knowledge. Contexts have been proved particularly adapt to deal with heterogeneous distributed knowledge, but, in order to deal with the change of such a knowledge, they must be extended. In particular, they must cope with the problems of adding, deleting, or changing facts in a context, and computing the effect of this change in the other contexts. The current approaches to belief revision and multi-agent belief revision can be helpful, but they do not provide a satisfactory treatment of heterogeneity. We provide a formal definition of the operation of updating a context, and we define an algorithm that computes the effects of updating a context on other related contexts. We take a semantic perspective, i.e., each context is formalized as a set of possible partial models of the world
2002
9781558605541
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/469
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact