Autonomous Agents and Multi-Agent Systems

, Volume 20, Issue 2, pp 158–197 | Cite as

Specifying and monitoring economic environments using rights and obligations

Article
  • 91 Downloads

Abstract

We provide a formal scripting language to capture the semantics of economic environments. The language is based on a set of well-defined design principles and makes explicit an agent’s rights, as derived from property, and an agent’s obligations, as derived from restrictions placed on its actions either voluntarily or as a consequence of other actions. Coupled with the language is a run-time system that is able to monitor and enforce rights and obligations in an agent-mediated economic environment. The framework allows an agent to formally express guarantees (obligations) in relation to its actions, and the run-time system automatically checks that these obligations are met and verifies that an agent has appropriate rights before executing an action. Rights and obligations are viewed as first-class goods that can be transferred from one agent to another. This treatment makes it easy to define natural and expressive recursive statements, so that, for instance, one may have rights or obligations in selling or trading some other right or obligation. We define fundamental axioms about well-functioning markets in terms of rights and obligations, and delineate the difference between ownership and possession, arguably two of the most important notions in economic markets. The framework provides a rich set of action-related constructs for modeling conditional and non-deterministic effects, and introduces the use of transactions to safely bundle actions, including the issuing of rights and taking on of obligations. By way of example, we show that our language can represent a variety of economic mechanisms, ranging from simple two-agent single-good exchanges to complicated combinatorial auctions. The framework, which is fully implemented, can be used to formalize the semantics of markets; as a platform for prototyping, testing and evaluating agent-mediated markets; and also provide a basis for deploying an electronic market.

Keywords

Market semantics Rights Obligations Electronic transactions 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aldewereld, H. M., Garcia-Camino, A., Dignum, F. P. M., Noriega, P., Rodriguez-Aguilar, J. A., & Sierra, C. (2006, May). Operationalisation of norms for usage in electronic institutions. In Proceedings of fifth international joint conference on autonomous agents and multi-agent systems (AAMAS’06), pp. 223–225.Google Scholar
  2. 2.
    Aldewereld H. M., Vázquez-Salceda J., Dignum F., Meyer J.-J.Ch. (2006) Verifying norm compliance of protocols. In: Bossier O., Padget J., Dignum V., Lindeman G., Matson E., Ossowski S., Sichman J., Vázquez-Salceda J. (eds) Coordination, organisation, institutions and norms in agent systems I. Springer-Verlag, Berlin, pp 222–236Google Scholar
  3. 3.
    Arcos J.L., Esteva M., Noriega P., Rodriguez-Aguilar J.A., Sierra C. (2005) Engineering open environments with electronic institutions. Journal on Engineering Applications of Artificial Intelligence 18(2): 191–204CrossRefGoogle Scholar
  4. 4.
    Artikis, A., Pitt, J., & Sergot, M. (2002, July). Animated specifications of computational societies. In Proceedings of first international joint conference on autonomous agents and multi-agent systems (AAMAS’02), pp. 1053–1061.Google Scholar
  5. 5.
    Bikhchandani S., Ostroy J.M. (2002) The package assignment model. Journal of Economic Theory 107(2): 377–406MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Boella, G., & van der Torre, L. (2004, August). Contracts as legal institutions in organizations of autonomous agents. In V. Dignum, D. Corkill, C. Jonker, & F. Dignum (Eds.), In Proceedings of third international joint conference on autonomous agents and multi-agent systems (AAMAS’04), pp. 948–955.Google Scholar
  7. 7.
    Boella, G., van der Torre, L. (2007, March). Norm negotiation in multiagent systems. International Journal of Cooperative Information Systems 16(1): 97–122Google Scholar
  8. 8.
    Boman M. (1999) Norms in artificial decision making. Artificial Intelligence and Law 7: 17–35CrossRefGoogle Scholar
  9. 9.
    Brafman R.I., Tennenholtz M. (1996) On partially controlled multi-agent systems. Journal of Artificial Intelligence Research 4: 477–507MATHMathSciNetGoogle Scholar
  10. 10.
    Carmo, J., Jones, A. (2002). Deontic logic and contrary-to-duties. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (Vol. 3, pp. 265–343). Dordrecht: Kluwer.Google Scholar
  11. 11.
    Castelfranchi, C., Conte, R., & Paolucci, M. (1998, June). Normative reputation and the cost of compliance. Journal of Artificial Societies and Social Simulation, 1(3).Google Scholar
  12. 12.
    Cramton, P., Shoham, Y., & Steinberg, R. (Eds.). (2006, January). Combinatorial auctions. MIT Press: Cambridge.Google Scholar
  13. 13.
    Cuni, G., Esteva, M., Garcia, P., Puertas, E., Sierra, C., & Solchaga, T. (2004, August). MASFIT: Multi-agent systems for fish trading. In Proceedings of sixteenth European conference on artificial intelligence (ECAI’04), pp. 710–714.Google Scholar
  14. 14.
    d’Altan P., Meyer J.-J.Ch., Wieringa M. (1996) An integrated framework for ought-to-be and ought-to-do constraints. Artificial Intelligence and Law 4: 77–111CrossRefGoogle Scholar
  15. 15.
    Daskalopulu, A., & Maibaum, T. S. E. (2001). Towards electronic contract performance. In Proceedings of international workshop on legal information systems and applications (LISA’01), pp. 771–777.Google Scholar
  16. 16.
    Dellarocas, C., Klein, M., & Rodriguez-Aguilar, J. A. (2000, October). An exception-handling architecture for open electronic marketplaces of ContractNet software agents. In Proceedings of second ACM conference on electronic commerce (EC’00), pp. 225–232.Google Scholar
  17. 17.
    Estava, M. (2003). Electronic institutions: From specification to development. PhD thesis, Politechnica de Catalunya.Google Scholar
  18. 18.
    Esteva, M., de la Cruz, D., & Sierra, C. (2002, July). ISLANDER: An electronic institutions editor. In Proceedings of first international joint conference on autonomous agents and multi-agent systems (AAMAS’02), pp. 1045–1052.Google Scholar
  19. 19.
    Esteva, M., Rodriguez-Aguilar, J. A., Sierra, C., Garcia, P., & Arcos, J. L. (2001). On the formal specifications of electronic institutions. In F. Dignum & C. Sierra (Eds.), Agent-mediated electronic commerce: The European agentlink perspective, Vol. LNCS 1991, pp. 126–147. New York: Springer-Verlag.Google Scholar
  20. 20.
    Fornara, N., & Colombetti, M. (2006). Specifying and enforcing norms in artificial institutions. In A. Omicini, B. Dunin-Keplicz, & J. Padget (Eds.), Proceedings of fourth European workshop on multi-agent systems (EUMAS’06).Google Scholar
  21. 21.
    Garcia-Camino, A., Noriega, P., & Rodriguez-Aguilar, J. A. (2005, July). Implementing norms in electronic institutions. In Proceedings of fourth international joint conference on autonomous agents and multi-agent systems (AAMAS’05), pp. 667–673.Google Scholar
  22. 22.
    Grossi, D., Aldewereld, H., & Dignum, F. (2006, May). Ubi lex, ibi poena: Designing norm enforcement in e-institutions. In V. Dignum, N. Fornara, & P. Noriega (Eds.), Proceedings of AAMAS’06 workshop on coordination, organization, institutions and norms in agent systems (COIN’06), pp. 107–120.Google Scholar
  23. 23.
    Guttman R., Moukas A., Maes P. (1998) Agent-mediated electronic commerce: A survey. Knowledge Engineering Review 13(2): 147–159CrossRefGoogle Scholar
  24. 24.
    Hanachi C., Sibertin-Blanc C. (2004) Protocol moderators as active middle-agents in multi-agent systems. Autonomous Agents and Multi-Agent Systems 8(2): 131–164CrossRefGoogle Scholar
  25. 25.
    Hart H.L.A. (1961) The concept of law. Clarendon Press, OxfordGoogle Scholar
  26. 26.
    Hart O.D. (1995) Firms, contracts, and financial structure. Oxford University Press, OxfordCrossRefGoogle Scholar
  27. 27.
    He M., Jennings N.R., Leung H. (2003) On agent-mediated electronic commerce. IEEE Transactions on Knowledge and Data Engineering 15(4): 985–1003CrossRefGoogle Scholar
  28. 28.
    Jackson M.O. (2000) Mechanism theory. In: Derigs U. (eds) The encyclopedia of life support systems. EOLSS Publishers, OxfordGoogle Scholar
  29. 29.
    Jones S.L.P., Eber J.-M. (2003) How to write a financial contract. In: Gibbons J., Moor O. (eds) The fun of programming. Palgrave Macmillan, BasingstokeGoogle Scholar
  30. 30.
    Kephart J., Greenwald A.R. (2002) Shopbot economics. Autonomous Agents and Multi-Agent Systems 5(3): 255–287CrossRefMathSciNetGoogle Scholar
  31. 31.
    Krishna V. (2002) Auction theory. Academic Press, San DiegoGoogle Scholar
  32. 32.
    Lehmann, D., Muller, R., & Sandholm, T. W. (2004). The winner determination problem. In Combinatorial auctions, Chap. 12. MIT Press: Cambridge.Google Scholar
  33. 33.
    Lehmann D., O’Callaghan L.I., Shoham Y. (2002) Truth revelation in approximately efficient combinatorial auctions. Journal of the ACM 49(5): 577–602CrossRefMathSciNetGoogle Scholar
  34. 34.
    Lomuscio A., Sergot M. (2003) Deontic interpreted systems. Studia Logica 75: 63–92MATHCrossRefMathSciNetGoogle Scholar
  35. 35.
    Lópezy Lopez F., Luck M., d’Inverno M. (2006) A normative framework for agent-based systems. Computational and Mathematical Organization Theory 12: 227–250CrossRefGoogle Scholar
  36. 36.
    Maes P., Guttman R., Moukas A. (1999) Agents that buy and sell: Transforming commerce as we know it. Communications of the ACM 42(3): 81–91CrossRefGoogle Scholar
  37. 37.
    McCarty, L. T. (1983, August). Permissions and obligations. In Proceedings of tenth international joint conference on artificial intelligence (IJCAI’83), pp. 287–294.Google Scholar
  38. 38.
    Meyer, J.-J.Ch., Wieringa, R.J. (eds) (1994) Deontic logic in computer science: Normative system specification. Wiley, New YorkGoogle Scholar
  39. 39.
    Myerson R.B. (1981) Optimal auction design. Mathematics of Operation Research 6(1): 58–73MATHCrossRefMathSciNetGoogle Scholar
  40. 40.
    Nemhauser G., Wolsey L. (1999) Integer and combinatorial optimization. Wiley-Interscience, New YorkMATHGoogle Scholar
  41. 41.
    Nisan, N. (2005). Bidding languages for combinatorial auctions. In Combinatorial auctions, Chap. 9. MIT Press: Cambridge.Google Scholar
  42. 42.
    Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., & Tummolini, L. (2004, August). Coordination artifacts: Environment-based coordination for intelligent agents. In Proceedings of third international joint conference on autonomous agents and multi-agent systems (AAMAS’04), pp. 286–293.Google Scholar
  43. 43.
    Padget, J., & Bradford, R. (1998, May). A π-calculus model of a Spanish fish market. In Proceedings of first international workshop on agent mediated electronic trading (AMET’98), pp. 166–188.Google Scholar
  44. 44.
    Rodriguez-Aguilar, J. A. (2001). On the Design and Construction of Agent-Mediated Electronic Institutions. PhD thesis, IIIA, Universitat Autonoma de Barcelona.Google Scholar
  45. 45.
    Rodriguez-Aguilar, J. A., Noriega, P., Sierra, C., & Padget, J. (1997, April). FM96.5 A Java-based electronic auction house. In Proceedings of second international conference on the practical application of intelligent agents and multi-agent technology (PAAM’97), pp. 207–224.Google Scholar
  46. 46.
    Rosenschein, J. S., & Zlotkin, G. (1994, Fall). Designing conventions for automated negotiation. AI Magazine, 15(3), 29–46.Google Scholar
  47. 47.
    Rothkopf M.H., Pekeč A., Harstad R.M. (1998) Computationally manageable combinatorial auctions. Management Science 44(8): 1131–1147MATHCrossRefGoogle Scholar
  48. 48.
    Sandholm T.W. (1999) Automated negotiation. Communications of the ACM 42(3): 84–85CrossRefGoogle Scholar
  49. 49.
    Sandholm, T. W. (2006). Optimal winner determination algorithms. In Combinatorial auctions, Chap. 14. MIT Press: Cambridge.Google Scholar
  50. 50.
    Sierra C. (2004) Agent-mediated electronic commerce. Autonomous Agents and Multi-Agent Systems 9(3): 285–301CrossRefMathSciNetGoogle Scholar
  51. 51.
    Sierra, C., & Noriega, P. (2002, May). Agent-mediated interaction. From auctions to negotiation and argumentation. In M. d’Inverno, M. Luck, M. Fisher, & C. Preist, (Eds.), Lecture notes in artificial intelligence (Vol. 2403, pp. 27–48). New York: Springer-Verlag.Google Scholar
  52. 52.
    Stone P., Greenwald A.R. (2005) The first international trading agent competition: Autonomous bidding agents. Electronic Commerce Research 5(2): 229–265MATHCrossRefGoogle Scholar
  53. 53.
    Tan Y.-H., Thoen W. (1998) A logical model of directed obligations and permissions to support electronic contracting. International Journal of Electronic Commerce 3(2): 87–104Google Scholar
  54. 54.
    Tennenholtz M. (1998) On stable social laws and qualitative equilibria. Artificial Intelligence 102: 1–20MATHCrossRefMathSciNetGoogle Scholar
  55. 55.
    Tirole J. (1999) Incomplete contracts: Where do we stand? Econometrica 67(4): 741–781MATHCrossRefMathSciNetGoogle Scholar
  56. 56.
    van der Torre L., Hulstijn J., Dastani M., Broersen J. (2004) Specifying multiagent organizations. In: Lomuscio A., Nute D. (eds) Deontic logic in computer science (DEON’04). Springer-Verlag, BerlinGoogle Scholar
  57. 57.
    Vázquez-Salceda J., Aldewereld H., Dignum F. (2005) Norms in multiagent systems: From theory to practice. International Journal of Computer Systems Science and Engineering 20: 225–236Google Scholar
  58. 58.
    Vázquez-Salceda, J., & Dignum, F. (2003). Modeling electronic organizations. In Multi-Agent Systems and Applications III, (Vol. LNAI 2691, pp. 584–593). New York: Springer-Verlag.Google Scholar
  59. 59.
    Vázquez-Salceda J., Dignum V., Dignum F. (2005) Organizing multiagent systems. Autonomous Agents and Multi-Agent Systems 11(3): 307–360CrossRefGoogle Scholar
  60. 60.
    Vickrey W. (1961) Counterspeculation, auctions, and competitive sealed tenders. Journal of Finance 16(1): 8–37CrossRefGoogle Scholar
  61. 61.
    Wellman M.P., Greenwald A.R., Stone P. (2007) Autonomous bidding agents: Strategies and lessons from the trading agent competition. MIT Press, CambridgeGoogle Scholar
  62. 62.
    Wieringa, R. J., Meyer, J.-J. Ch. (1994). Applications of deontic logic in computer science: A concise overview. In Deontic logic in computer science: Normative system specification (pp. 17–40). New York: Wiley.Google Scholar
  63. 63.
    Wong, H. C., & Sycara, K. (2000, July). A taxonomy of middle-agents for the internet. In Proceedings of fourth international conference on multi-agent systems (ICMAS’00), pp. 465–466.Google Scholar
  64. 64.
    Wooldridge M., Jennings N.R., Kinny D. (2000) The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3): 285–312CrossRefGoogle Scholar
  65. 65.
    Wurman, P. R., Wellman, M. P., & Walsh, W. E. (2002, Fall). Specifying rules for electronic auctions. AI Magazine, 23(3), 15–23.Google Scholar
  66. 66.
    Wyner A.Z. (2004) Maintaining obligations on stative expressions in a deontic action logic. In: Lomuscio A., Nute D. (eds) Deontic logic in computer science (DEON’04). Springer-Verlag, Berlin, pp 258–274Google Scholar
  67. 67.
    Wyner, A. Z. (2006). A functional program for agents, actions, and deontic specifications. In Proceedings of fourth international workshop on declarative agent languages and technologies (DALT’ 06), pp. 239–256.Google Scholar
  68. 68.
    Wyner, A. Z. (2006). Sequences, obligations and the contrary-to-duty paradox. In Proceedings of eighth international workshop on application of deontic logic to computer science (DEON’06), Vol. 4048. Springer Lecture Notes in AI.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of CyprusNicosiaCyprus
  2. 2.School of Engineering and Applied SciencesHarvard UniversityCambridgeUSA

Personalised recommendations