哲学や社会科学において、ソーシャルソフトウェアは、ゲーム理論やコンピュータサイエンスから数学的なツールや技術を取り入れて社会的な手続きを分析・設計する学際的な研究プログラムである。この分野の研究目標は、社会状況をモデル化し、正当性の理論を開発し、社会的な手続きを設計することである。[ 1 ]
ソーシャルソフトウェアという用語を用いた研究は1996年頃から行われており、コペンハーゲン、ロンドン、ユトレヒト、ニューヨークで開催された会議では、その研究が部分的または全面的に取り上げられてきた。研究の多くは、この分野の発展に大きな影響を与えたロヒット・ジバンラル・パリク氏の指導の下、ニューヨーク市立大学で行われている。
ソーシャルソフトウェアの分野における現在の研究には、社会的手続きの分析と、それらの公平性、適切性、正確性、効率性の検証が含まれます。たとえば、選挙手続きには、単純多数決、ボルダカウント、単記移譲式投票（STV）、承認投票などがあります。これらの手続きはすべて、単調性などのさまざまな特性について検証できます。単調性とは、候補者に投票してもその候補者に不利益を与えてはならないという特性です。これは、どのシステムでも当然のことのように思えるかもしれませんが、STVでは起こり得ることです。もう1つの問題は、コンドルセ勝者がいる場合に、コンドルセ勝者を選出できるかどうかです。
ソーシャルソフトウェアの研究者が考慮するその他の原則には、公平な分配の手順はパレート最適であり、公平かつ羨望のないものであるべきだという概念が含まれる。オークションの手順は、入札者が実際の評価額を入札することを促すものでなければならない。これはヴィックリーオークションに当てはまる特性である。
従来の分野と比較してソーシャルソフトウェアに新しい点は、プログラムロジック、アルゴリズム解析、認識論的論理といったコンピュータサイエンスのツールが用いられるようになったことである。プログラムと同様に、社会的な手続きも互いに密接に連携している。例えば、空港は飛行機が着陸するための滑走路を提供するだけでなく、保安検査も行い、到着した乗客をバスやタクシーが目的地まで運ぶ手段も提供しなければならない。こうした仕組み全体を、複雑なコンピュータプログラムを分析するのと同様の方法で分析することができる。ケーキを公平に分割するためのバナッハ＝クナスター法や、公平な分割のためのブラムス・テイラー法は、このように分析されてきた。認識論的論理の必要性を示す例として、建物には当然ながらトイレが必要であるだけでなく、トイレの場所を示す標識も必要となる。このように、構造的な側面に加えて認識論的な側面も考慮する必要がある。より緊急性の高い例として、医師は薬に加えて、患者の問題が何であるかを示す検査も必要とする。
さらに読む
- ジョン・サール、『社会現実の構築』（1995年）、ニューヨーク ：フリープレス、c1995。
- Rohit Parikh、「Social Software」、Synthese、132、2002 年 9 月、187–211。
- Eric Pacuit およびRohit Parikh、「社会的相互作用、知識、およびソーシャル ソフトウェア」、 Dina Goldin、Sott Smolka、Peter Wegner 編『インタラクティブ コンピュテーション: 新しいパラダイム』、Springer 2007、441–461。
- ルートヴィヒ・ヴィトゲンシュタイン、『哲学探究』、マクミラン、1953年。
- ヤッコ・ヒンティッカ著、『知識と信念：二つの概念の論理への入門』、コーネル大学出版局、1962年、ISBN 9781904987086
- D・ルイス、『慣習：哲学的研究』、ハーバード大学出版局、1969年。
- R. Aumann、「意見の相違を認め合うこと」、Annals of Statistics、4 (1976) 1236–1239。
- Paul MilgromとNancy Stokey (1982). 「情報、貿易、共通知識」(PDF) . Journal of Economic Theory . 26 (1): 17– 27. doi : 10.1016/0022-0531(82)90046-1 .
- J. ゲアナコプロス、H. ポレマルチャキス、「私たちは永遠に意見が合わないわけにはいかない」、J. Economic Theory、28 (1982)、192–200。
- R. Parikhおよび P. Krasucki、「コミュニケーション、コンセンサス、知識」、J. Economic Theory 52 (1990) pp. 178–189。
- W. ブライアン・アーサー。「帰納的推論と限定合理性」。『経済理論における複雑性』、84(2):406-411、1994年。
- ロナルド・フェイギン、ジョセフ・ハルパーン、ヨラム・モーゼス、モシェ・ヴァルディ、『知識についての推論』、MIT Press、1995年。
- スティーブン・ブラムスとアラン・テイラー著、『ウィンウィン・ソリューション：すべての人に公平な分け前を保証する』、ノートン社、1999年。
- David Harel、Dexter Kozen、Jerzy Tiuryn、『Dynamic Logic』、MIT Press、2000年。
- マイケル・チュエ著『合理的な儀式 ：文化、協調、そして共通知識』プリンストン大学出版局、2001年。
- マルク・ポーリー著『ソーシャルソフトウェアのための論理学』、アムステルダム大学博士論文。ILLC博士論文シリーズ2001-10、ISBN 90-6196-510-1。
- Rohit Parikh、「言語は社会的ソフトウェアである」 、J. Floyd および S. Shieh 編『未来の過去：20世紀哲学における分析的伝統』、オックスフォード大学出版局、2001 年、339-350 ページ。
- Parikh, R.および Ramanujam, R.、「メッセージの知識ベース意味論」、J. Logic, Language, and Information、12、pp. 453 – 467、2003 年。
- エリック・パキュイト、「ソーシャルソフトウェアのトピック：戦略的状況における情報」、博士論文、ニューヨーク市立大学（2005年）。
- Eric Pacuit、Rohit Parikh、Eva Cogan、「知識に基づく義務の論理」、Knowledge, Rationality and Action 、 Syntheseのサブジャーナル、149(2)、311 – 341、2006年。
- Eric Pacuit とRohit Parikh 、「通信グラフに関する推論」、Johan van Benthem、Dov Gabbay、 Benedikt Lowe編『インタラクティブロジック』(2007)。
- Mike Wooldridge、Thomas Ågotnes、Paul E. Dunne、およびWiebe van der Hoek。「自動機構設計のための論理 ― 進捗報告」。第22回人工知能会議（AAAI-07）議事録、カナダ、バンクーバー、2007年7月。
外部リンク
- 知識、ゲーム、信念グループ。ニューヨーク市立大学大学院センター。
- ソーシャルソフトウェア会議。カールスバーグアカデミー、コペンハーゲン。2004年5月27日～29日。2009年6月26日取得。
- インタラクティブ・ロジック：ゲームとソーシャルソフトウェアに関するワークショップ。キングス・カレッジ・ロンドン。2005年11月4日～7日。2009年6月26日取得。
- ゲーム、アクション、ソーシャルソフトウェアに関するワークショップ。オランダ、ライデン大学ローレンツセンター。2006年10月30日～ 11月3日。2009年6月26日取得。
- ソーシャルソフトウェアミニカンファレンス。ニューヨーク市立大学知識・ゲーム・信念グループ。2007年5月18日～19日。2009年6月26日取得。
