Software social (campo de investigación)

En filosofía y ciencias sociales, el software social es un programa de investigación interdisciplinario que toma prestadas herramientas y técnicas matemáticas de la teoría de juegos y la informática para analizar y diseñar procedimientos sociales . Los objetivos de la investigación en este campo son modelar situaciones sociales, desarrollar teorías de corrección y diseñar procedimientos sociales. ^{[ 1 ]}

El trabajo bajo el término software social se lleva a cabo desde aproximadamente 1996, y conferencias en Copenhague, Londres, Utrecht y Nueva York se han dedicado parcial o totalmente a este tema. Gran parte de la investigación se realiza en la Universidad de la Ciudad de Nueva York bajo el liderazgo de Rohit Jivanlal Parikh , quien fue una figura clave en el desarrollo de este campo.

Las investigaciones actuales en el campo del software social incluyen el análisis de procedimientos sociales y su examen en cuanto a equidad, idoneidad, corrección y eficiencia. Por ejemplo, un procedimiento electoral podría ser la votación por mayoría simple, el recuento de Borda , el voto único transferible (VST) o la votación por aprobación . Todos estos procedimientos pueden examinarse en función de diversas propiedades, como la monotonicidad. La monotonicidad implica que votar por un candidato no debería perjudicarlo. Esto puede parecer obvio, válido en cualquier sistema, pero es algo que puede ocurrir en el VST. Otra cuestión sería la capacidad de elegir un ganador de Condorcet, en caso de que exista.

Otros principios que consideran los investigadores en software social incluyen el concepto de que un procedimiento para una división justa debe ser óptimo en el sentido de Pareto, equitativo y libre de envidia. Un procedimiento para subastas debe incentivar a los postores a ofrecer el valor real de sus bienes, una característica que se cumple en la subasta de Vickrey.

La novedad del software social, en comparación con campos más antiguos, reside en el uso de herramientas de la informática, como la lógica de programación, el análisis de algoritmos y la lógica epistémica. Al igual que los programas, los procedimientos sociales se interrelacionan. Por ejemplo, un aeropuerto proporciona pistas de aterrizaje, controles de seguridad y debe garantizar que autobuses y taxis transporten a los pasajeros a sus destinos. Todo el mecanismo puede analizarse del mismo modo que un programa informático complejo. El procedimiento de Banach-Knaster para dividir un pastel equitativamente, o el de Brams y Taylor para una división justa, se han analizado de esta forma. Para ilustrar la necesidad de la lógica epistémica, un edificio no solo necesita baños, por razones obvias, sino también señalización que indique su ubicación. Así, las consideraciones epistémicas se suman a las estructurales. Un ejemplo más urgente es que, además de medicamentos, los médicos también necesitan pruebas para determinar el problema de un paciente.

• Lógica dinámica
• Lógica epistémica
• División justa
• teoría de juegos
• Diseño de mecanismos
• Teorema de no comercio
• procedimiento social
• Tecnología social

• John Searle , La construcción de la realidad social (1995) Nueva York  : Free Press, c1995.
• Rohit Parikh , “Social Software”, Synthese , 132, septiembre de 2002, 187–211.
• Eric Pacuit y Rohit Parikh , "Interacción social, conocimiento y software social", en Computación interactiva: el nuevo paradigma , editado por Dina Goldin, Sott Smolka, Peter Wegner, Springer 2007, 441–461.
• Ludwig Wittgenstein , Investigaciones filosóficas, Macmillan, 1953.
• Jaakko Hintikka , Conocimiento y creencia: una introducción a la lógica de las dos nociones , Cornell University Press, 1962, ISBN 9781904987086
• D. Lewis, Convención, un estudio filosófico , Harvard University Press, 1969.
• R. Aumann, Acordar estar en desacuerdo, Anales de Estadística , 4 (1976) 1236–1239.
• Paul Milgrom y Nancy Stokey (1982). "Información, comercio y conocimiento común" (PDF) . Journal of Economic Theory . 26 (1): 17– 27. doi : 10.1016/0022-0531(82)90046-1 .
• J. Geanakoplos y H. Polemarchakis, No podemos estar en desacuerdo para siempre, J. Economic Theory , 28 (1982), 192–200.
• R. Parikh y P. Krasucki, Comunicación, consenso y conocimiento, J. Economic Theory 52 (1990) pp.  178–189.
• W. Brian Arthur . Razonamiento inductivo y racionalidad limitada . Complexity in Economic Theory , 84(2):406-411, 1994.
• Ronald Fagin , Joseph Halpern , Yoram Moses y Moshe Vardi , Razonamiento sobre el conocimiento , MIT Press, 1995.
• Steven Brams y Alan Taylor, La solución de ganar-ganar: garantizar una distribución justa para todos, Norton 1999.
• David Harel , Dexter Kozen y Jerzy Tiuryn , Lógica dinámica , MIT Press, 2000.
• Michael Chwe, Ritual racional  : cultura, coordinación y conocimiento común , Princeton University Press, 2001.
• Marc Pauly, Lógica para software social , Tesis doctoral, Universidad de Ámsterdam. Serie de tesis doctorales del ILLC 2001-10, ISBN 90-6196-510-1.
• Rohit Parikh , El lenguaje como software social, en Pasados ​​futuros: la tradición analítica en la filosofía del siglo XX , editado por J. Floyd y S. Shieh, Oxford University Press, 2001, 339-350.
• Parikh, R. y Ramanujam, R., Una semántica de mensajes basada en el conocimiento, en J. Logic, Language, and Information , 12, pp.  453 – 467, 2003.
• Eric Pacuit, Temas en software social: información en situaciones estratégicas , tesis doctoral, City University of New York (2005).
• Eric Pacuit, Rohit Parikh y Eva Cogan, La lógica de la obligación basada en el conocimiento, Conocimiento, racionalidad y acción , una subrevista de Synthese , 149(2), 311 – 341, 2006.
• Eric Pacuit y Rohit Parikh , Razonamiento sobre grafos de comunicación, en Lógica interactiva, editado por Johan van Benthem, Dov Gabbay y Benedikt Lowe (2007).
• Mike Wooldridge, Thomas Ågotnes, Paul E. Dunne y Wiebe van der Hoek. Lógica para el diseño automatizado de mecanismos: un informe de progreso. En Actas de la Vigésimo Segunda Conferencia sobre Inteligencia Artificial (AAAI-07 ), Vancouver, Canadá, julio de 2007.

• Grupo de Conocimiento, Juegos y Creencias . Centro de Posgrado de la Universidad de la Ciudad de Nueva York.
• Conferencia sobre software social . Academia Carlsberg, Copenhague. 27-29 de mayo de 2004. Consultado el 26 de junio de 2009.
• Taller sobre lógica interactiva: juegos y software social . King's College, Londres. 4-7 de noviembre de 2005. Consultado el 26 de junio de 2009.
• Taller sobre juegos, acción y software social . Centro Lorentz, Universidad de Leiden, Países Bajos. 30 de octubre de 2006 – 3 de noviembre de 2006. Consultado el 26 de junio de 2009.
• Miniconferencia sobre Software Social . Grupo de Conocimiento, Juegos y Creencias, Universidad de la Ciudad de Nueva York. 18 y 19 de mayo de 2007. Consultado el 26 de junio de 2009.