Norm Implementation via Mechanisms

Samenvatting

Although the study of norms (e.g., obligations, rights, etc.) with formal methods has already a tradition of more than fifty years, the problem concerning how systems of norms (i.e. normative systems, such as legal codes) are made operational in a given society has yet never been formally addressed. To say it with a terminology proper of legal theory, while the legislative aspects of norms have been formally studied in disciplines such as deontic logic, the executive ones still await a formal analysis. The point is to provide formal tools, which not only represent the content of a norm, but also represent how a norm can be implemented in a society. This would enable formal methods for rigorously assessing whether, for instance, a given normative system (e.g., a piece of the commercial law of a country) is successfully implemented by a given social procedure or "social software" (e.g., an e-commerce system).
The proposed research intends to provide formal foundations to the design of normative systems and their implementations, and thus to practices like institutional design, which are, to the date, still mainly informal. That the issue of norm implementation is of key relevance also for technological developments is proven by the considerable attention dedicated to norms by recent researches in multi-agent systems within artificial intelligence. A formal understanding of such issue would provide formal foundations to a programming paradigm for artificial societies based on the notion of norm.
The key idea underlying the project's approach consists in viewing the problem of norm implementation as an instance of the implementation problem as studied in game theory. The issue will therefore be tackled by importing techniques and results from the disciplines of mechanism design and implementation theory, and by interfacing them with logical formalisms developed for the representation of norms.

Output

Wetenschappelijk artikel

  • D. Grossi, M. Dastani, N. Tinnemeier, J.-J. Ch. Meyer(2009): A Programming Language for Normative Multi-Agent Systems Lecture Notes in Artificial Intelligence
  • E. Lorini, D. Grossi, G. Aucher, A. Herzig(2009): Dynamic Context Logic and its Application to Norm Change Dagstuhl Seminar Proceedings ISSN: 1862-4405.
  • F. Velazquez-Quesada, D. Grossi(2009): Twelve Angry Men: A Study in the Fine-grain of Announcements Lecture Notes in Artificial Intelligence
  • D. Grossi, N. Tinnemeier, J.-J. Ch. Meyer, M. Dastani(2009): Normative Multi-Agent Programs and Their Logics Dagstuhl Seminar Proceedings ISSN: 1862-4405.
  • D. Grossi(2009): A Note on Brute vs. Institutional Facts Dagstuhl Seminar Proceedings ISSN: 1862-4405.
  • D. Grossi(2009): Unifying Preference and Judgment Aggregation Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'09), ACM
  • M. Slavkovik, G. Pigozzi, D. Grossi(2009): White Manipulation in Judgment Aggregation Proceedings of the 21st Benelux Conference on Artificial Intelligence, BNAIC'09 ISSN: 1568-7805.
  • D. Grossi, F. Dignum, H. Aldewereld, L. Penserini, V. Dignum(2009): Evaluating Organizational Configurations Proceedings of 2009 IEEE/WIC/ACM International Conference on Web Intelligence
  • G. Aucher, A. Herzig, E. Lorini, D. Grossi(2009): Dynamic Context Logic Lecture Notes in Artificial Intelligence

Kenmerken

Projectnummer

639.021.816

Hoofdaanvrager

Dr. D. Grossi

Verbonden aan

University of Liverpool, Department of Computer Science

Uitvoerders

Dr. D. Grossi

Looptijd

15/01/2009 tot 01/02/2012