Social programvara (forskningsfält)

Den här artikeln handlar om forskningsområdet. För datorprogramvara som används för social interaktion, se Social programvara .

Inom filosofi och samhällsvetenskap är social mjukvara ett tvärvetenskapligt forskningsprogram som lånar matematiska verktyg och tekniker från spelteori och datavetenskap för att analysera och utforma sociala procedurer . Målen för forskningen inom detta område är att modellera sociala situationer, utveckla teorier om korrekthet och utforma sociala procedurer.

Arbete under begreppet social mjukvara har pågått sedan omkring 1996 och konferenser i Köpenhamn, London, Utrecht och New York har helt eller delvis ägnats åt det. Mycket av arbetet utförs vid City University of New York under ledning av Rohit Jivanlal Parikh , som var inflytelserik i utvecklingen av området.

Mål och verktyg

Aktuell forskning inom området social mjukvara inkluderar analys av sociala procedurer och granskning av dem för rättvisa, lämplighet, korrekthet och effektivitet. Till exempel kan ett valförfarande vara en enkel majoritetsröst, Borda count , en Single Transferable Voice (STV) eller Approval-röstning. Alla dessa procedurer kan undersökas för olika egenskaper som monotoni. Monotonicitet har egenskapen att rösta på en kandidat inte ska skada den kandidaten. Detta kan verka självklart, sant under alla system, men det är något som kan hända i STV. [ citat behövs ] En annan fråga skulle vara möjligheten att välja en Condorcet-vinnare om det finns en.

Andra principer som övervägs av forskare inom social mjukvara inkluderar konceptet att en procedur för rättvis uppdelning ska vara Pareto-optimal, rättvis och avundsfri. Ett förfarande för auktioner bör vara ett förfarande som skulle uppmuntra budgivare att bjuda på sin faktiska värdering – en fastighet som håller med Vickrey-auktionen.

Det som är nytt inom social mjukvara jämfört med äldre områden är användningen av verktyg från datavetenskap som programlogik, analys av algoritmer och epistemisk logik. Liksom program, samverkar sociala procedurer med varandra. Till exempel tillhandahåller en flygplats landningsbanor för flygplan att landa, men den tillhandahåller också säkerhetskontroller, och den måste tillhandahålla sätt på vilka bussar och taxibilar kan ta ankommande passagerare till sina lokala destinationer. Hela mekanismen kan analyseras på det sätt som ett komplext datorprogram kan analyseras. Banach-Knaster-förfarandet för att dela en kaka rättvist, eller Brams och Taylor-förfarandet för rättvis delning har analyserats på detta sätt. För att peka på behovet av epistemisk logik behöver en byggnad inte bara toaletter, av uppenbara skäl behöver den också skyltar som anger var de är. Därmed kommer epistemiska överväganden in förutom strukturella. För ett mer brådskande exempel, förutom mediciner, behöver läkare också tester för att indikera vad en patients problem är.

Se även

Anteckningar

Vidare läsning

  • John Searle , The Construction of Social Reality (1995) New York: Free Press, c1995.
  • Rohit Parikh , "Social Software," Synthese , 132, sep 2002, 187–211.
  • Eric Pacuit och Rohit Parikh , "Social Interaction, Knowledge, and Social Software", i Interactive Computation: The New Paradigm , red. Dina Goldin, Sott Smolka, Peter Wegner, Springer 2007, 441–461.
  • Ludwig Wittgenstein , Philosophical Investigations, Macmillan, 1953.
  •   Jaakko Hintikka , Knowledge and Belief: an introduction to the logic of the two notions , Cornell University press, 1962, ISBN 9781904987086
  • D. Lewis, Convention, a Philosophical Study , Harvard U. Press, 1969.
  • R. Aumann, Agreeing to disagree, Annals of Statistics , 4 (1976) 1236–1239.
  • Paul Milgrom och Nancy Stokey (1982). "Information, handel och allmän kunskap" (PDF) . Journal of Economic Theory . 26 (1): 17–27. doi : 10.1016/0022-0531(82)90046-1 .
  • J. Geanakoplos och H. Polemarchakis, We Can't Disagree Forever, J. Economic Theory , 28 (1982), 192–200.
  • R. Parikh och P. Krasucki, Communication, Consensus and Knowledge, J. Economic Theory 52 (1990) s. 178–189.
  • W. Brian Arthur . Induktivt resonemang och avgränsad rationalitet . Complexity in Economic Theory , 84(2):406-411, 1994.
  • Ronald Fagin , Joseph Halpern , Yoram Moses och Moshe Vardi , Reasoning about Knowledge , MIT Press 1995.
  • Steven Brams och Alan Taylor, The Win-Win Solution: garanterar rättvisa andelar till alla, Norton 1999.
  • David Harel , Dexter Kozen och Jerzy Tiuryn, Dynamic Logic , MIT Press, 2000.
  • Michael Chwe, Rationell ritual: kultur, koordination och allmän kunskap , Princeton University Press, 2001.
  •   Marc Pauly, Logic for Social Software , Ph.D. Avhandling, University of Amsterdam. ILLC Dissertations Series 2001–10, ISBN 90-6196-510-1 .
  • Rohit Parikh , Språk som social programvara, i Future Pasts: the Analytic Tradition in Twentieth Century Philosophy, Ed. J. Floyd och S. Shieh, Oxford U. Press, 2001, 339–350.
  • Parikh, R. och Ramanujam, R., En kunskapsbaserad semantik av meddelanden, i J. Logic, Language, and Information , 12, s. 453 – 467, 2003.
  • Eric Pacuit, Ämnen i social programvara: Information i strategiska situationer , doktorsavhandling, City University of New York (2005).
  • Eric Pacuit, Rohit Parikh och Eva Cogan, The Logic of Knowledge Based Obligation, Knowledge, Rationality and Action , en undertidskrift av Synthese , 149(2), 311 – 341, 2006.
  • Eric Pacuit och Rohit Parikh , Reasoning about Communication Graphs, in Interactive Logic, redigerad av Johan van Benthem, Dov Gabbay och Benedikt Lowe (2007).
  • Mike Wooldridge, Thomas Ågotnes, Paul E. Dunne och Wiebe van der Hoek. Logik för automatiserad mekanismdesign – en lägesrapport. I Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07 ), Vancouver, Kanada, juli 2007.

externa länkar

Hämtad från " https://en.wikipedia.org/w/index.php?title=Social_software_(research_field)&oldid=1118994022 "