Soziale Software (soziales Verfahren) – Wikipedia

Posted on by
before-content-x4

Dieser Artikel befasst sich mit dem Forschungsgebiet. Informationen zu Computersoftware, die für soziale Interaktionen verwendet wird, finden Sie unter Soziale Software.

In der Philosophie und den Sozialwissenschaften soziale Software ist ein interdisziplinäres Forschungsprogramm, das mathematische Werkzeuge und Techniken aus der Spieltheorie und der Informatik entlehnt, um soziale Verfahren zu analysieren und zu entwerfen. Die Ziele der Forschung auf diesem Gebiet sind die Modellierung sozialer Situationen, die Entwicklung von Korrektheitstheorien und die Gestaltung sozialer Verfahren.[1]

Seit etwa 1996 wird unter dem Begriff Social Software gearbeitet, und Konferenzen in Kopenhagen, London, Utrecht und New York wurden teilweise oder vollständig diesem Thema gewidmet. Ein Großteil der Arbeiten wird an der City University of New York unter der Leitung von Rohit Jivanlal Parikh durchgeführt, der Einfluss auf die Entwicklung des Fachgebiets hatte.

Ziele und Werkzeuge[edit]

Aktuelle Forschungsergebnisse im Bereich Social Software umfassen die Analyse sozialer Verfahren und deren Prüfung auf Fairness, Angemessenheit, Korrektheit und Effizienz. Ein Wahlverfahren kann beispielsweise eine einfache Mehrheitsentscheidung, eine Borda-Zählung, eine übertragbare Einzelabstimmung (STV) oder eine Genehmigungsabstimmung sein. Alle diese Verfahren können auf verschiedene Eigenschaften wie Monotonie untersucht werden. Monotonie hat die Eigenschaft, dass die Wahl eines Kandidaten diesem Kandidaten keinen Schaden zufügen sollte. Dies mag unter jedem System offensichtlich erscheinen, aber es ist etwas, was in STV passieren kann.[citation needed] Eine andere Frage wäre die Möglichkeit, einen Condorcet-Gewinner zu wählen, falls es einen gibt.

Weitere Prinzipien, die von Forschern im Bereich Social Software berücksichtigt werden, sind das Konzept, dass ein Verfahren zur fairen Teilung paretooptimal, gerecht und neidfrei sein sollte. Ein Auktionsverfahren sollte ein Verfahren sein, das die Bieter dazu ermutigt, ihre tatsächliche Bewertung abzugeben – eine Eigenschaft, die bei der Vickrey-Auktion gilt.

Was in der sozialen Software im Vergleich zu älteren Bereichen neu ist, ist die Verwendung von Werkzeugen aus der Informatik wie Programmlogik, Analyse von Algorithmen und epistemischer Logik. Soziale Verfahren sind wie Programme miteinander verzahnt. Beispielsweise bietet ein Flughafen Landebahnen für die Landung von Flugzeugen, aber auch Sicherheitskontrollen und Möglichkeiten, wie Busse und Taxis ankommende Passagiere zu ihren lokalen Zielen bringen können. Der gesamte Mechanismus kann so analysiert werden, wie ein komplexes Computerprogramm analysiert werden kann. Auf diese Weise wurde das Banach-Knaster-Verfahren zur gerechten Aufteilung eines Kuchens oder das Brams-Taylor-Verfahren zur gerechten Aufteilung analysiert. Um auf die Notwendigkeit einer epistemischen Logik hinzuweisen, benötigt ein Gebäude aus offensichtlichen Gründen nicht nur Toiletten, sondern auch Schilder, die angeben, wo sie sich befinden. Somit kommen neben strukturellen auch epistemische Überlegungen hinzu. Für ein dringenderes Beispiel benötigen Ärzte neben Medikamenten auch Tests, um das Problem eines Patienten festzustellen.

Siehe auch[edit]

Weiterführende Literatur[edit]

  • John Searle, Die Konstruktion der sozialen Realität (1995) New York: Free Press, 1995.
  • Rohit Parikh, “Social Software”, Synthese132, September 2002, 187-211.
  • Eric Pacuit und Rohit Parikh, “Soziale Interaktion, Wissen und soziale Software”, in Interaktive Berechnung: Das neue Paradigma, ed. Dina Goldin, Sott Smolka, Peter Wegner, Springer 2007, 441-461.
  • Ludwig Wittgenstein, Philosophische Untersuchungen, Macmillan, 1953.
  • Jaakko Hintikka, Wissen und Glaube: eine Einführung in die Logik der beiden Begriffe, Cornell University Press, 1962, ISBN 9781904987086
  • D. Lewis, Konvention, eine philosophische Studie, Harvard U. Press, 1969.
  • R. Aumann, Einverstanden, nicht zuzustimmen, Annalen der Statistik4 (1976) 1236–1239.
  • Paul Milgrom und Nancy Stokey (1982). “Information, Handel und Allgemeinwissen” (PDF). Zeitschrift für Wirtschaftstheorie. 26 (1): 17–27. doi:10.1016 / 0022-0531 (82) 90046-1.
  • J. Geanakoplos und H. Polemarchakis, wir können nicht für immer widersprechen, J. Wirtschaftstheorie28 (1982), 192-200.
  • R. Parikh und P. Krasucki, Kommunikation, Konsens und Wissen, J. Wirtschaftstheorie 52 (1990), S. 178–189.
  • W. Brian Arthur. Induktives Denken und begrenzte Rationalität. Komplexität in der Wirtschaftstheorie84 (2), 406-411, 1994.
  • Ronald Fagin, Joseph Halpern, Yoram Moses und Moshe Vardi, Über Wissen nachdenken, MIT Press 1995.
  • Steven Brams und Alan Taylor, Die Win-Win-Lösung: Gewährleistung fairer Aktien für alle, Norton 1999.
  • David Harel, Dexter Kozen und Jerzy Tiuryn, Dynamische Logik, MIT Press, 2000.
  • Michael Chwe, Rationales Ritual: Kultur, Koordination und allgemeines Wissen, Princeton University Press, 2001.
  • Marc Pauly, Logik für Social Software, Ph.D. Diplomarbeit, Universität Amsterdam. ILLC Dissertation Series 2001–10, ISBN 90-6196-510-1.
  • Rohit Parikh, Sprache als soziale Software, in Zukünftige Vergangenheit: Die analytische Tradition in der Philosophie des 20. Jahrhunderts, Ed. J. Floyd und S. Shieh, Oxford U. Press, 2001, 339-350.
  • Parikh, R. und Ramanujam, R., Eine wissensbasierte Semantik von Nachrichten, in J. Logik, Sprache und Information12, S. 453-467, 2003.
  • Eric Pacuit, Themen in Social Software: Informationen in strategischen Situationen, Dissertation, City University of New York (2005).
  • Eric Pacuit, Rohit Parikh und Eva Cogan, Die Logik der wissensbasierten Verpflichtung, Wissen, Rationalität und Handeln, ein Unterjournal von Synthese149 (2), 311 – 341, 2006.
  • Eric Pacuit und Rohit Parikh, Überlegungen zu Kommunikationsgraphen, in Interactive Logic, herausgegeben von Johan van Benthem, Dov Gabbay und Benedikt Lowe (2007).
  • Mike Wooldridge, Thomas Ågotnes, Paul E. Dunne und Wiebe van der Hoek. Logik für das automatisierte Mechanismusdesign – Ein Fortschrittsbericht. Im Tagungsband der zweiundzwanzigsten Konferenz über künstliche Intelligenz (AAAI-07), Vancouver, Kanada, Juli 2007.

Externe Links[edit]

after-content-x4