Programa de investigación interdisciplinaria
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]
Se viene trabajando bajo el término software social desde aproximadamente 1996, y se han dedicado parcial o totalmente conferencias en Copenhague, Londres, Utrecht y Nueva York. Gran parte del trabajo se lleva a cabo en la City University de Nueva York bajo el liderazgo de Rohit Jivanlal Parikh , quien fue influyente en el desarrollo de este campo.
Objetivos y herramientas
La investigación actual en el área del software social incluye el análisis de los procedimientos sociales y el examen de su equidad, idoneidad, corrección y eficiencia. Por ejemplo, un procedimiento electoral podría ser una votación por mayoría simple, un recuento de Borda , un voto único transferible (STV) o una votación de aprobación . Todos estos procedimientos pueden examinarse para determinar diversas propiedades, como la monotonicidad. La monotonicidad tiene la propiedad de que votar por un candidato no debería dañarlo. Esto puede parecer obvio, cierto en cualquier sistema, pero es algo que puede suceder en STV. [ cita necesaria ] Otra pregunta sería la posibilidad de elegir un ganador de Condorcet en caso de que lo haya.
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 envidia. Un procedimiento para las subastas debería ser uno que anime a los postores a ofrecer su valoración real: una propiedad que se mantiene en la subasta de Vickrey.
Lo que es nuevo en el software social en comparación con 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 para que aterricen los aviones, pero también proporciona controles de seguridad y debe prever formas en que los autobuses y taxis puedan 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. De esta manera se han analizado el procedimiento de Banach-Knaster para dividir un pastel de manera equitativa, o el procedimiento de Brams y Taylor para una división equitativa. Para señalar la necesidad de una lógica epistémica, un edificio no sólo necesita baños, por razones obvias, también necesita carteles que indiquen dónde están. Así, además de las estructurales, entran en juego consideraciones epistémicas. Para poner un ejemplo más urgente, además de los medicamentos, los médicos también necesitan pruebas para indicar cuál es el problema del paciente.
Ver también
Notas
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 , 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 U. Press, 1969.
- R. Aumann, Aceptar estar en 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.
- W. Brian Arthur . Razonamiento inductivo y racionalidad limitada. Complejidad en la teoría económica , 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 beneficiosa para todos: garantizar una participació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 , Ph.D. Tesis, Universidad de Amsterdam. Serie de disertaciones de ILLC 2001-2010, ISBN 90-6196-510-1 .
- Rohit Parikh , El lenguaje como software social, en Futuros pasados: 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, págs. 453 – 467, 2003.
- Eric Pacuit, Temas de software social: información en situaciones estratégicas, tesis doctoral, City University de Nueva York (2005).
- Eric Pacuit, Rohit Parikh y Eva Cogan, La lógica de la obligación, el conocimiento, la racionalidad y la acción basados en el conocimiento , una subdivisión 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: 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 sobre software social. Academia Carlsberg, Copenhague. 27 al 29 de mayo de 2004. Consultado el 26 de junio de 2009.
- Taller de Lógica Interactiva: 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 a 3 de noviembre de 2006. Consultado el 26 de junio de 2009.
- Miniconferencia de Software Social. Grupo de Conocimientos, Juegos y Creencias, City University de Nueva York. 18 y 19 de mayo de 2007. Consultado el 26 de junio de 2009.