We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas in a decidable fragment of First Order Logic (FOL). Although here we tailor our approach for Description Logics endowed with disjunction, all the results keep their validity in any decidable fragment of FOL. DLs offer expressivity advantages over propositional representations, and allow us to relax the often unrealistic assumption of additive independence among attributes. We provide suitable definitions of the problem and present algorithms to compute utility in our setting. We also study complexity issues of our approach and demonstrate its usefulness with a running example in a multiattribute negotiation scenario.
|Titolo:||Computing utility from weighted description logic preference formulas|
|Data di pubblicazione:||2010|
|Nome del convegno:||7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1007/978-3-642-11355-0_10|
|Appare nelle tipologie:||4.1 Contributo in Atti di convegno|