Automated negotiation from declarative contract descriptions

ABSTRACT

Our approach for automating the negotiation of business contracts proceeds in three broad steps. First, determine the structure of the negotiation process byapplying general knowledge about auctions and domain-specific knowledge about the contract subject along with preferences from potential buyers and sellers. Second, translate the determined negotiation structure into an operational specification for an auction platform. Third, map the negotiation results to a final contract. We have implemented a prototype which supports these steps, employing a declarative specification (in Courteous Logic Programs) of (1) high-level knowledge about alternative negotiation structures, (2) general-case rules about auction parameters, (3) rules to map the auction parameters to a specific auction platform, and (4) special-case rules for subject domains. We demonstrate the flexibility of this approach by automatically generating several alternative negotiation structures for a previous domain: travel-shopping in a trading agent competition.

REFERENCES

• 1: IBM CommonRules. http://www.research.ibm.com/ rules/commonrules-overview.html.
• 2: The XSB Programming System. http://xsb.sourceforge.net/.
• 3: F. Branco. The design of multidimensional auctions. RAND Journal of Economics, 28:63-81, 1997.
• 4: A. Dan, D. Dias, T. Nguyen, M. Sachs, H. Shaikh, R. King, and S. Duri. The coyote project: Framework for multi-party e-commerce. In Seventh Delos Workshop on Electronic Commerce, Lecture Notesin Computer Science, Vol. 1513. Springer-Verlag, 1998.
• 5: D. Friedman and J. Rust, editors. The Double Auction Market. Addison-Wesley, 1993.
• 6: B. N. Grosof. Building Commercial Agents: An IBM Research Perspective. In Proceedings of the Second International Conference and Exhibition on Practical Applications of Intelligent Agents and Multi-Agent Technology (PAAM97), April 1997.
• 7: Benjamin N. Grosof, Prioritized conflict handing for logic programs, Proceedings of the 1997 international symposium on Logic programming, p.197-211, November 1997, Port Washington, New York, United States
• 8: Benjamin N. Grosof , Yannis Labrou , Hoi Y. Chan, A declarative approach to business rules in contracts: courteous logic programs in XML, Proceedings of the 1st ACM conference on Electronic commerce, p.68-77, November 03-05, 1999, Denver, Colorado, United States [doi>10.1145/336992.337010]
• 9: M. Kumar and S. I. Feldman. Internet auctions. In Third USENIX Workshop on Electronic Commerce, pages 49-60, Boston, 1998.
• 10: P. Milgrom. Putting auction theory to work: The simultaneous ascending auction. Journal of Political Economy, 108, 2000.
• 11: N. H. Minsky , V. Ungureanu, A Mechanism for Establishing Policies for Electronic Commerce, Proceedings of the The 18th International Conference on Distributed Computing Systems, p.322, May 26-29, 1998
• 12: A. E. Roth and A. Ockenfels. Last minute bidding and the rules for ending second-price auctions: Theory and evidence from a natural experiment on the internet. Technical report, May 2000.http: //www.economics.harvard.edu/~aroth/alroth.html.
• 13: Tuomas Sandholm, eMediator: a next generation electronic commerce server, Proceedings of the fourth international conference on Autonomous agents, p.341-348, June 03-07, 2000, Barcelona, Spain [doi>10.1145/336595.337522]
• 14: P. Szekely, B.Neches, D. P. Benjamin, J. Chen, and C. M. Rogers. Controlling supplier selection in an automated purchasing system. In AAAI-99 Workshop on Artificial Intelligence in Electronic Commerce (AIEC-99), Menlo Park, CA, USA, 1999.
• 15: TAC Team , Michael P. Wellman , Peter R. Wurman , Kevin O'Malley , Roshan Bangera , Shou-de Lin , Daniel Reeves , William E. Walsh, Designing the Market Game for a Trading Agent Competition, IEEE Internet Computing, v.5 n.2, p.43-51, March 2001 [doi>10.1109/4236.914647]
• 16: Peter R. Wurman , Michael P. Wellman , William E. Walsh, The Michigan Internet AuctionBot: a configurable auction server for human and software agents, Proceedings of the second international conference on Autonomous agents, p.301-308, May 10-13, 1998, Minneapolis, Minnesota, United States [doi>10.1145/280765.280847]
• 17: P. R.Wurman, M. P. Wellman, and W. E. Walsh. A parametrization of the auction design space. Games and Economic Behavior, 35, 2001.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

Additional Classification:
  J. Computer Applications
  J.1 ADMINISTRATIVE DATA PROCESSING
      Subjects: Business

  K. Computing Milieux
  K.4 COMPUTERS AND SOCIETY

General Terms:
Design, Management, Performance, Theory