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 las conferencias en Copenhague, Londres, Utrecht y Nueva York se han dedicado total o parcialmente a este tema. Gran parte del trabajo se lleva a cabo en la City University of New York bajo el liderazgo de Rohit Jivanlal Parikh , quien fue influyente en el desarrollo del campo.
Objetivos y herramientas
La investigación actual en el área del software social incluye el análisis de los procedimientos sociales y su examen para determinar su imparcialidad, idoneidad, corrección y eficiencia. Por ejemplo, un procedimiento de elección podría ser un voto de mayoría simple , un recuento de Borda , un voto único transferible (STV) o una votación de aprobación. Todos estos procedimientos pueden examinarse en busca de varias propiedades como la monotonicidad. La monotonicidad tiene la propiedad de que votar por un candidato no debe dañar a ese candidato. Esto puede parecer obvio, cierto en cualquier sistema, pero es algo que puede suceder en STV. [ cita requerida ] Otra pregunta sería la capacidad de elegir un ganador de Condorcet en caso de que haya uno.
Otros principios que son considerados por los investigadores en software social incluyen el concepto de que un procedimiento para una división justa debe ser óptimo de Pareto, equitativo y libre de envidias. Un procedimiento para las subastas debe ser uno que anime a los postores a ofertar su valoración real, una propiedad que se mantiene con la subasta de Vickrey.
Lo nuevo en el software social en comparación con los campos más antiguos es el uso de herramientas de la informática como la lógica de programas, el análisis de algoritmos y la lógica epistémica. Al igual que los programas, los procedimientos sociales encajan entre sí. Por ejemplo, un aeropuerto proporciona pistas de aterrizaje para los aviones, pero también proporciona controles de seguridad y debe prever las formas en que los autobuses y taxis pueden llevar a los pasajeros que llegan a sus destinos locales. Todo el mecanismo se puede analizar de la misma manera que se puede analizar un programa informático complejo. El procedimiento de Banach-Knaster para dividir un pastel de manera justa, o el procedimiento de Brams y Taylor para la división justa se han analizado de esta manera. Para señalar la necesidad de una lógica epistémica, un edificio no solo necesita baños, por razones obvias, también necesita letreros que indiquen dónde están. Así, las consideraciones epistémicas entran además de las estructurales. Para un ejemplo más urgente, además de los medicamentos, los médicos también necesitan pruebas para indicar cuál es el problema de un paciente.
Ver también
Notas
- ↑ Pacuit (2005), p. 10
Otras lecturas
- 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 , ed. Dina Goldin, Sott Smolka, Peter Wegner, Springer 2007, 441-461.
- Ludwig Wittgenstein , Investigaciones filosóficas, Macmillan, 1953.
- Jaakko Hintikka , Knowledge and Belief: 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 U. Press, 1969.
- R. Aumann, Acordar el desacuerdo, Annals of Statistics , 4 (1976) 1236–1239.
- Paul Milgrom y Nancy Stokey (1982). "Información, comercio y conocimiento común" (PDF) . Revista de teoría económica . 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) págs. 178–189.
- W. Brian Arthur . Razonamiento inductivo y racionalidad acotada . 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, The Win-Win Solution: garantizando acciones justas para todos, Norton 1999.
- David Harel , Dexter Kozen y Jerzy Tiuryn , Dynamic Logic , 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 , Ph.D. Tesis, Universidad de Amsterdam. Serie de tesis de ILLC 2001–10, ISBN 90-6196-510-1 .
- Rohit Parikh , El lenguaje como software social, en Future Pasts: la tradición analítica en la filosofía del siglo XX , Ed. J. Floyd y S. Shieh, Oxford U. 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 de 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, el conocimiento, la racionalidad y la acción basadas en el conocimiento, subjournal de Synthese , 149 (2), 311 - 341, 2006.
- Eric Pacuit y Rohit Parikh , Reasoning about Communication Graphs, en Interactive Logic, 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 de mecanismos automatizados: un informe de progreso. En Actas de la Vigésima Segunda Conferencia sobre Inteligencia Artificial (AAAI-07 ), Vancouver, Canadá, julio de 2007.
enlaces externos
- Grupo de Conocimientos, Juegos y Creencias . Universidad de la Ciudad de Nueva York, Centro de Graduados.
- Conferencia de Software Social . Academia Carlsberg, Copenhague. 27-29 de mayo de 2004. Consultado el 26 de junio de 2009.
- Lógica interactiva: Taller de juegos y software social . King's College, Londres. 4 al 7 de noviembre de 2005. Consultado el 26 de junio de 2009.
- Taller de 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 de software social . Grupo de Conocimientos, Juegos y Creencias, City University of New York. 18-19 de mayo de 2007. Consultado el 26 de junio de 2009.