Oprogramowanie społecznościowe (dziedzina badań)

Ten artykuł dotyczy dziedziny badań. Aby zapoznać się z oprogramowaniem komputerowym używanym do interakcji społecznościowych, zobacz Oprogramowanie społecznościowe .

W filozofii i naukach społecznych oprogramowanie społeczne to interdyscyplinarny program badawczy, który zapożycza narzędzia i techniki matematyczne z teorii gier i informatyki w celu analizy i projektowania procedur społecznych . Celem badań w tej dziedzinie jest modelowanie sytuacji społecznych, rozwijanie teorii poprawności oraz projektowanie procedur społecznych.

Prace nad terminem social software trwają od około 1996 roku, a konferencje w Kopenhadze, Londynie, Utrechcie i Nowym Jorku zostały mu częściowo lub w całości poświęcone. Wiele prac jest prowadzonych na City University of New York pod kierownictwem Rohita Jivanlala Parikha , który miał wpływ na rozwój tej dziedziny.

Cele i narzędzia

Bieżące badania w obszarze oprogramowania społecznościowego obejmują analizę procedur społecznych i badanie ich pod kątem rzetelności, stosowności, poprawności i skuteczności. Na przykład procedurą wyborczą może być zwykłe głosowanie większościowe, liczenie Borda , pojedynczy głos przechodni (STV) lub głosowanie zatwierdzające. Wszystkie te procedury można zbadać pod kątem różnych właściwości, takich jak monotoniczność. Monotoniczność ma tę właściwość, że głosowanie na kandydata nie powinno mu zaszkodzić. Może się to wydawać oczywiste, prawdziwe w każdym systemie, ale jest to coś, co może się zdarzyć w STV. [ potrzebne źródło ] Innym pytaniem byłaby możliwość wyboru zwycięzcy Condorcet, jeśli taki istnieje.

Inne zasady, które są brane pod uwagę przez badaczy oprogramowania społecznościowego, obejmują koncepcję, zgodnie z którą procedura sprawiedliwego podziału powinna być optymalna w sensie Pareto, sprawiedliwa i wolna od zazdrości. Procedura licytacji powinna zachęcać oferentów do licytowania ich faktycznej wyceny – właściwości, która jest zgodna z aukcją Vickreya.

Nowością w oprogramowaniu społecznościowym w porównaniu ze starszymi dziedzinami jest wykorzystanie narzędzi z informatyki, takich jak logika programu, analiza algorytmów i logika epistemiczna. Podobnie jak programy, procedury społeczne zazębiają się ze sobą. Na przykład lotnisko zapewnia pasy startowe dla samolotów do lądowania, ale zapewnia również kontrole bezpieczeństwa i musi zapewniać sposoby, w jakie autobusy i taksówki mogą przewozić przylatujących pasażerów do miejsc docelowych. Cały mechanizm można analizować w sposób, w jaki analizuje się złożony program komputerowy. Procedura Banacha-Knastera na sprawiedliwe dzielenie tortu, czyli Bramsa i Taylora dla sprawiedliwego podziału zostały przeanalizowane w ten sposób. Aby wskazać na potrzebę logiki epistemicznej, budynek nie tylko potrzebuje toalet, z oczywistych powodów, potrzebuje również znaków wskazujących, gdzie się znajdują. W ten sposób względy epistemiczne wkraczają obok rozważań strukturalnych. Dla bardziej pilnego przykładu, oprócz leków, lekarze potrzebują również testów, aby wskazać, jaki jest problem pacjenta.

Zobacz też

Notatki

Dalsza lektura

  • John Searle , Budowa rzeczywistości społecznej (1995) New York: Free Press, ok. 1995 r.
  • Rohit Parikh , „Social Software”, Synthese , 132, wrzesień 2002, 187–211.
  • Eric Pacuit i Rohit Parikh , „Interakcja społeczna, wiedza i oprogramowanie społecznościowe”, w Interactive Computation: The New Paradigm , wyd. Dina Goldin, Sott Smolka, Peter Wegner, Springer 2007, 441–461.
  • Ludwig Wittgenstein , Dociekania filozoficzne, Macmillan, 1953.
  •   Jaakko Hintikka , Wiedza i przekonanie: wprowadzenie do logiki dwóch pojęć , Cornell University Press, 1962, ISBN 9781904987086
  • D. Lewis, Konwencja, studium filozoficzne , Harvard U. Press, 1969.
  • R. Aumann, Zgoda na niezgodę, Annals of Statistics , 4 (1976) 1236–1239.
  • Paula Milgroma i Nancy Stokey (1982). „Informacja, handel i wiedza powszechna” (PDF) . Dziennik teorii ekonomii . 26 (1): 17–27. doi : 10.1016/0022-0531(82)90046-1 .
  • J. Geanakoplos i H. Polemarchakis, We Can't Disagree Forever, J. Economic Theory , 28 (1982), 192–200.
  • R. Parikh i P. Krasucki, Komunikacja, konsensus i wiedza, J. Economic Theory 52 (1990) s. 178–189.
  • W. Brian Arthur . Rozumowanie indukcyjne i racjonalność ograniczona . Złożoność teorii ekonomicznej , 84(2):406-411, 1994.
  • Ronald Fagin , Joseph Halpern , Yoram Moses i Moshe Vardi , Rozumowanie o wiedzy , MIT Press 1995.
  • Steven Brams i Alan Taylor, Rozwiązanie korzystne dla wszystkich: gwarantowanie sprawiedliwego podziału dla wszystkich, Norton 1999.
  • David Harel , Dexter Kozen i Jerzy Tiuryn, Logika dynamiczna , MIT Press, 2000.
  • Michael Chwe, Racjonalny rytuał: kultura, koordynacja i wiedza powszechna , Princeton University Press, 2001.
  •   Marc Pauly, Logika dla oprogramowania społecznościowego , Ph.D. Teza, Uniwersytet w Amsterdamie. Seria rozpraw ILLC 2001–10, ISBN 90-6196-510-1 .
  • Rohit Parikh , Język jako oprogramowanie społecznościowe, w Przeszłość przyszłości: tradycja analityczna w filozofii XX wieku , wyd. J. Floyd i S. Shieh, Oxford U. Press, 2001, 339–350.
  • Parikh, R. and Ramanujam, R., A semantyka wiadomości oparta na wiedzy, w: J. Logic, Language, and Information , 12, s. 453 – 467, 2003.
  • Eric Pacuit, Tematy oprogramowania społecznościowego: informacje w sytuacjach strategicznych , rozprawa doktorska, City University of New York (2005).
  • Eric Pacuit, Rohit Parikh i Eva Cogan, Logika obowiązku opartego na wiedzy, wiedza, racjonalność i działanie , dziennik podrzędny Synthese , 149 (2), 311 - 341, 2006.
  • Eric Pacuit i Rohit Parikh , Reasoning about Communication Graphs, w Interactive Logic, pod redakcją Johan van Benthem, Dov Gabbay i Benedikt Lowe (2007).
  • Mike Wooldridge, Thomas Ågotnes, Paul E. Dunne i Wiebe van der Hoek. Logika do zautomatyzowanego projektowania mechanizmów - raport z postępów. W Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07 ), Vancouver, Kanada, lipiec 2007.

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Social_software_(research_field)&oldid=1118994022 ”