Modeling a small agent society based on social choice logic programming
This paper reports a computational modeling toolkit, with several non-trivial applications, for collective decision making in a small artificial society of three alternatives, and two, three agents, or possibly of larger scale models. Based on the standard axioms in voting and social choice, this modeling makes the axiomatic approaches in social sciences computationally verifiable and intellectually tangible by means of the logic programming.
Unable to display preview. Download preview PDF.
- Arrow, K. J. (1963). Social Choice and Individual Values., 2nd edition. Yale University Press. (Originally published in 1951 by John Wiley & Sons)Google Scholar
- Arrow, K. J., et al. (2002). Handbook of Social Choice and Welfare, Vol. 1. Elsevier.Google Scholar
- Clocksin, W. F. and Mellish, C. S. (2003). Programming in Prolog: Using the ISO Standard, 5th edition, Springer.Google Scholar
- Gaertner, W. (2001). Domain Conditions in Social Choice Theory. Cambridge University Press.Google Scholar
- Gaertner, W. (2006). A Primer in Social Choice Theory. Oxford University Press.Google Scholar
- Moulin, H. (1988). Axiom of Cooperative Decision Making. Cambridge University Press.Google Scholar
- Indo, K. (2008). Logic programming for modeling social choice. http://xkindo/cog_dec/wp/mplsc.html. Accessed 15 May 2008.Google Scholar
- Sen, A. (1982). Choice, Welfare and Measurement, MIT Press.Google Scholar
- Shapley, L. S. (1962). Simple games: An outline of the descriptive theory. Behavioral Science, 67, 59–66.Google Scholar
- Starling, L. and Shapiro, E. (1994). The Art of Prolog: Advanced Programming, 2nd edition, MIT Press.Google Scholar
- Taylor, A. D. (2005). Social Choice and the Mathematics of Manipulation. Cambridge University Press.Google Scholar
- Tesfatsion, L. and Judd, L. (Eds.) (2006). Handbook of Computational Economics: Agent-based Computational Economics, Vol. 2. North Holland.Google Scholar