Specifying and Monitoring Economic Environments Using Rights and Obligations

DSpace/Manakin Repository

Specifying and Monitoring Economic Environments Using Rights and Obligations

Citable link to this page


Title: Specifying and Monitoring Economic Environments Using Rights and Obligations
Author: Michael, Loizos; Parkes, David C.; Pfeffer, Avi

Note: Order does not necessarily reflect citation order of authors.

Citation: Michael, Loizos, David C. Parkes, and Avi Pfeffer. 2010. Specifying and monitoring economic environments using rights and obligations. Autonomous Agents and Multi-Agent Systems 20(2): 158-197.
Full Text & Related Files:
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.
Published Version: doi:10.1007/s10458-009-9089-6
Terms of Use: This article is made available under the terms and conditions applicable to Open Access Policy Articles, as set forth at http://nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of-use#OAP
Citable link to this page: http://nrs.harvard.edu/urn-3:HUL.InstRepos:3967324
Downloads of this work:

Show full Dublin Core record

This item appears in the following Collection(s)


Search DASH

Advanced Search