We start from a notion of similarity-based unification, as defined by the Arcelli et al. (1998), and we introduce a more structured process that can be seen more adequately as a form of unification as negotiation between agents, each of them equipped with the own notion of context. We start by modeling a context through a particular t-norm, i.e. a way of interpreting the conjunction according to capture the features of a given context and we show how it is possible to represent a context through the choice of a suitable t-norm. We assume that each agent is situated in a particular context or, more precisely, that he believes to be in a particular context and chooses a t-norm accordingly. Then we introduce a process of negotiation among the agents, each of them endowed with a notion of similarity associated to the context; for this purpose we attempt to formulate a theory of negotiation as a fragment of modal logic and in particular we show that similarity-based unification can be expressed in terms of modal logic, by means of an "acceptance" operator
ARCELLI FONTANA, F., Formato, F. (2001). Unification as negotiation: A context-based approach. In IFSA/NAFIPS'2001, Possibilistic uncertainty and fuzzy unification (pp.1881-1885). IEEE [10.1109/NAFIPS.2001.944353].
Unification as negotiation: A context-based approach
ARCELLI FONTANA, FRANCESCA;
2001
Abstract
We start from a notion of similarity-based unification, as defined by the Arcelli et al. (1998), and we introduce a more structured process that can be seen more adequately as a form of unification as negotiation between agents, each of them equipped with the own notion of context. We start by modeling a context through a particular t-norm, i.e. a way of interpreting the conjunction according to capture the features of a given context and we show how it is possible to represent a context through the choice of a suitable t-norm. We assume that each agent is situated in a particular context or, more precisely, that he believes to be in a particular context and chooses a t-norm accordingly. Then we introduce a process of negotiation among the agents, each of them endowed with a notion of similarity associated to the context; for this purpose we attempt to formulate a theory of negotiation as a fragment of modal logic and in particular we show that similarity-based unification can be expressed in terms of modal logic, by means of an "acceptance" operatorI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.