Results 1 -
1 of
1
Logic for Automated Mechanism Design -- A Progress Report
- IN TWENTYSECOND CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-07), 2007. INSTITUTE OF LOGIC, LANGUAGE AND COMPUTATION, UNIVERSITY OF AMSTERDAM, PLANGTAGE MUIDERGRACHT 24, 1018 TV, AMSTERDAM E-MAIL ADDRESS: EPACUIT@SCIENCE.UVA.NL
, 2007
"... Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the potential to bring the same benefits to the design and analysis of computational economic mechanisms that the use of tempor ..."
Abstract
-
Cited by 9 (1 self)
- Add to MetaCart
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the potential to bring the same benefits to the design and analysis of computational economic mechanisms that the use of temporal logics and model checking have brought to the specification and analysis of reactive systems. In this paper, we give a survey of our work. We first discuss the use of cooperation logics such as Alternating-time Temporal Logic (ATL) for the specification and verification of mechanisms such as social choice procedures. We motivate the approach, and then discuss the work we have done on extensions to ATL to support incomplete information, preferences, and quantification over coalitions. We then discuss is the use of ATL-like cooperation logics in the development of social laws.

