Title
Extending propositional logic with concrete domains for multi-issue bilateral negotiation
Abstract
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical ones. The framework makes possible to formally represent typical situations in real e-marketplaces such as "if I spend more than 20000 € for a sedan then I want a navigator pack included" where both numerical (price) and non-numerical (sedan, navigator pack) issues coexist. To this aim we introduce P(N), a propositional logic extended with concrete domains, which allows to: model relations among issues (both numerical and not numerical ones) via logical entailment, differently from well-known approaches that describe issues as uncorrelated; represent buyer's request, seller's supply and their respective preferences as formulas endowed with a formal semantics. By modeling preferences as formulas it is hence possible to assign a utility value also to a bundle of issues, which is obviously more realistic than the trivial sum of utilities assigned to single elements in the bundle itself. We illustrate the theoretical framework, the logical language, the one-shot negotiation protocol we adopt, and show we are able to compute Pareto-efficient outcomes, using a mediator to solve a multi-objective optimization problem.
Year
Venue
Keywords
2007
declarative agent languages and technologies
logical language,issues coexist,theoretical framework,Pareto-efficient outcome,propositional logic,numerical feature,one-shot negotiation protocol,navigator pack,logical entailment,concrete domain,one-shot multi-issue bilateral negotiation
Field
DocType
Volume
Logical consequence,Computer science,Homogeneous,Propositional calculus,Uncorrelated,Artificial intelligence,Optimization problem,Bundle,Negotiation,Semantics of logic
Conference
4897
ISSN
ISBN
Citations 
0302-9743
3-540-77563-3
3
PageRank 
References 
Authors
0.38
12
4
Name
Order
Citations
PageRank
Azzurra Ragone151140.86
Tommaso Di Noia21857152.07
Eugenio Di Sciascio31733147.71
Francesco M. Donini43481452.47