Towards a fuzzy logic for automated multi-issue negotiation

We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interrelated, and may not be fixed in advance. We use logic to model relations among issues and to allow agents express their preferences on them. In particular, we introduce the logic PD, a fuzzy propositional logic extended with concrete domains in order to handle numerical, as well as non numerical features, and to deal with vagueness in buyer/seller preferences. Hence, agents can express preferences as eg textit{I am searching for a passenger car costing about 25000euro, yet if the car has a GPS system and more than two-year warranty I can spend up to 28000euro}. We illustrate the theoretical framework, the logical language, the protocol we adopt and show that using a mediator with a proactive behavior we can compute Pareto-efficient agreements.