Formalizing Negotiations Using Logic Programming-Reference-Cited by-同舟云学术

Formalizing Negotiations Using Logic Programming

Published:2014-04 Issue:2 Volume:15 Page:1-30
ISSN:1529-3785
Container-title:ACM Transactions on Computational Logic
language:en
Short-container-title:ACM Trans. Comput. Logic

Author:

Son Tran Cao¹,Pontelli Enrico¹,Nguyen Ngoc-Hieu²,Sakama Chiaki³

Affiliation:

1. New Mexico State University, Las Cruces, NM

2. Vinh University, VietNam

3. Wakayama University, Wakayama, Japan

Abstract

The article introduces a logical framework for negotiation among dishonest agents. The framework relies on the use of abductive logic programming as a knowledge representation language for agents to deal with incomplete information and preferences. The article shows how intentionally false or inaccurate information of agents can be encoded in the agents' knowledge bases. Such disinformation can be effectively used in the process of negotiation to have desired outcomes by agents. The negotiation processes are formulated under the answer set semantics of abductive logic programming, and they enable the exploration of various strategies that agents can employ in their negotiation. A preliminary implementation has been developed using the ASP-Prolog platform.

Publisher

Association for Computing Machinery (ACM)

Subject

Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/2526270

Reference42 articles.

1. A unified and general framework for argumentation-based negotiation

2. M. Balduccini and M. Gelfond. 2003. Diagnostic reasoning with A-Prolog. Theory Pract. Logic Program. 3 4 5 425--461. 10.1017/S1471068403001807 M. Balduccini and M. Gelfond. 2003. Diagnostic reasoning with A-Prolog. Theory Pract. Logic Program. 3 4 5 425--461. 10.1017/S1471068403001807

3. T. X. Bui and M. F. Shakun. 1996. Negotiation processes eovlutionary systems design and negotiator. In Negotiation Processes Kluwer Academic Publishers 39--53. T. X. Bui and M. F. Shakun. 1996. Negotiation processes eovlutionary systems design and negotiator. In Negotiation Processes Kluwer Academic Publishers 39--53.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalizing and Reasoning About Supply Chain Contracts Between Agents;Practical Aspects of Declarative Languages;2023

2. Update models for lying and misleading announcements;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25

3. Answer Set Planning: A Survey;Theory and Practice of Logic Programming;2022-04-01

4. Answer Set Planning in Single- and Multi-agent Environments;KI - Künstliche Intelligenz;2018-06-14

5. A Complex Networked Method of Sorting Negotiation Demand Based on Answer Set Programs;Intelligent Automation and Soft Computing;2018-01