Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation

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 e 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...

• Type: Conference
• Year: 2007
• Where: DALT
• Authors: Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
• Keywords: DALT 2007, Intelligent Agents, Multi-issue Bilateral Negotiation, Navigator Pack, Numerical