소셜 소프트웨어(연구 분야)

Social software (research field)
이 기사는 연구 분야에 관한 것입니다.소셜 상호작용에 사용되는 컴퓨터 소프트웨어는 소셜 소프트웨어를 참조하십시오.

철학 및 사회과학에서 소셜 소프트웨어는 사회적 절차를 분석하고 설계하기 위해 게임 이론과 컴퓨터 과학에서 수학적 도구와 기술을 차용하는 학문 간 연구 프로그램입니다.이 분야의 연구 목표는 사회 상황 모델링, 정확성 이론 개발, 사회 [1]절차 설계입니다.

소셜 소프트웨어라는 용어의 작업은 1996년 무렵부터 계속되고 있으며 코펜하겐, 런던, 위트레흐트, 뉴욕에서 열리고 있는 컨퍼런스는 이 소프트웨어에 일부 또는 전체를 할애하고 있다.이 분야의 발전에 영향을 미쳤던 로히트 지반랄 파리크의 주도로 뉴욕 시립대학에서 많은 작업이 이루어지고 있다.

목표와 도구

현재 소셜 소프트웨어 분야에서의 연구에는 사회적 절차의 분석과 공정성, 적절성, 정확성 및 효율성에 대한 검토가 포함된다.예를 들어, 선거 절차는 단순 다수결, Borda 카운트, 단일 전송 가능 투표(STV) 또는 승인 투표입니다.이 모든 절차는 단조로운 것과 같은 다양한 특성에 대해 검사할 수 있습니다.단조로움은 후보에게 투표하는 것이 그 후보에게 해를 끼쳐서는 안 된다는 특성을 가지고 있다.이는 어떤 시스템에서도 명백하게 보일 수 있지만 [citation needed]STV에서 발생할 수 있는 일입니다.또 다른 질문은 Condorcet 수상자가 있을 경우 선출할 수 있는 능력이다.

소셜 소프트웨어에서 연구자들이 고려하는 다른 원칙에는 공정한 분할을 위한 절차가 파레토 최적, 공정성 및 질투가 없어야 한다는 개념이 포함됩니다.경매 절차는 입찰자가 실제 가치 평가를 하도록 장려하는 절차로, 빅레이 경매와 관련된 재산이어야 한다.

이전 분야와 비교하여 소셜 소프트웨어에서 새로운 것은 프로그램 논리, 알고리즘 분석, 인식 논리 같은 컴퓨터 과학 도구의 사용이다.프로그램처럼 사회적 절차는 서로 잘 들어맞는다.예를 들어, 공항은 비행기가 착륙할 수 있는 활주로를 제공하지만 보안 검사도 제공하며, 버스와 택시가 도착 승객을 지역 목적지까지 데려다 줄 수 있는 방법을 제공해야 한다.전체 메커니즘은 복잡한 컴퓨터 프로그램을 분석할 수 있는 방식으로 분석될 수 있습니다.케이크를 공정하게 나누기 위한 바나흐-크나스터 절차나 공정하게 나누기 위한 브램과 테일러 절차가 이렇게 분석되었습니다.인식론적 논리의 필요성을 지적하기 위해, 건물에 화장실이 필요할 뿐만 아니라 분명한 이유로, 어디에 있는지를 나타내는 표지판도 필요하다.따라서 인식론적 고려사항은 구조적인 고려사항과 더불어 입력된다.더 긴급한 예로, 의약품 외에, 의사는 환자의 문제가 무엇인지 나타내는 검사도 필요하다.

「 」를 참조해 주세요.

메모들

  1. ^ Pacuit (2005년), 페이지 10

추가 정보

  • John Searle, The Construction of Social Reality (1995) New York : 프리 프레스, c1995.
  • Rohit Parikh, "소셜 소프트웨어", Synthese, 132, 2002년 9월, 187~211.
  • Eric Pacuit 및 Rohit Parikh, Interactive Computation의 "Social Interaction, Knowledge, and Social Software" : 새로운 패러다임, EDDina Goldin, Sott Smolka, Peter Wegner, Springer 2007, 441~461.
  • 루드비히 비트겐슈타인, 맥밀란 철학탐구, 1953년
  • Jaakko Hintikka, 지식과 신념: 두 개념의 논리에 대한 소개, 코넬 대학 출판부, 1962년, ISBN9781904987086
  • D. Lewis, Convention, a Philosical Study, Harvard U. Press, 1969.
  • R. 아우만, 동의하지 않음, 통계연보, 4(1976) 1236–1239.
  • Paul Milgrom and Nancy Stokey (1982). "Information, trade and common knowledge" (PDF). Journal of Economic Theory. 26 (1): 17–27. doi:10.1016/0022-0531(82)90046-1.
  • J. Geanakoplos와 H. Polemarchakis, 우리는 영원히 반대할 수 없다, J. 경제 이론, 28 (1982), 192–200.
  • R. Parikh and P. Krasucki, 커뮤니케이션, 컨센서스 및 지식, J. 경제 이론 52(1990) 페이지 178–189.
  • 브라이언 아서귀납적 추론과 한정적 합리성.경제이론의 복잡성, 84(2):406-411, 1994.
  • 로널드 페이긴, 조셉 할펜, 요람 모세와 모셰 바르디, 지식의 추론, MIT 출판사 1995.
  • Steven Brams와 Alan Taylor, The Win-Win Solution: 모두에게 공평한 몫을 보장하는 Norton 1999.
  • David Harel, Dexter Kozen 및 Jerzy Tiuryn, 다이내믹 로직, MIT Press, 2000.
  • Michael Chwe, Rational caustion: 문화, 조정, 그리고 상식, Princeton University Press, 2001.
  • 마크 폴리, 로직 포 소셜 소프트웨어 박사논문, 암스테르담 대학교ILC 논문 시리즈 2001-10, ISBN 90-6196-510-1.
  • Rohit Parikh, 소셜 소프트웨어로서의 언어, Future Pasts: 20세기 철학의 분석적 전통, Ed. J. Floyd와 S.Shieh, Oxford U. Press, 2001, 339-350.
  • Parikh, R. 및 Ramanujam, R.의 J. Logic, Language, and Information, 12, 페이지 453 – 467, 2003에서 메시지의 지식 기반 의미론.
  • Eric Pacuit, 소셜 소프트웨어 토픽: 전략적 상황에 관한 정보, 박사 학위 논문, 뉴욕시립대학교(2005).
  • Eric Pacuit, Rohit Parikh 및 Eva Cogan, The Logic of Knowledge Based Delibility, Knowledge, Rationality and Action, Synthese의 서브저널, 149(2), 311~341, 2006.
  • Eric Pacuit and Rohit Parikh, 인터랙티브 로직에서의 커뮤니케이션 그래프에 관한 추론, 요한 반 벤뎀, 도브 가베이, 베네딕트 로에 의해 편집(2007).
  • 마이크 울드리지, 토마스 오고네스, 폴 E던, 그리고 비베 반 데르 훅.자동 메커니즘 설계를 위한 논리– 진척 보고서2007년 7월 캐나다 밴쿠버에서 열린 '인공지능에 관한 22초 회의(AAAI-07)'에서.

외부 링크

  • 지식, 게임 및 신념 그룹.뉴욕 시립 대학 대학원 센터입니다
  • 소셜 소프트웨어 회의칼스버그 아카데미, 코펜하겐2004년 5월 27~29일2009년 6월 26일에 취득.
  • 인터랙티브 로직: 게임과 소셜 소프트웨어 워크숍.킹스 칼리지, 런던.2005년 11월 4~7일2009년 6월 26일에 취득.
  • 게임, 액션 및 소셜 소프트웨어 워크숍.네덜란드 레이든 대학교 로렌츠 센터2006년 10월 30일 ~ 2006년 11월 3일2009년 6월 26일에 취득.
  • 소셜 소프트웨어 미니 컨퍼런스뉴욕 시립 대학 지식, 게임 및 신념 그룹입니다.2007년 5월 18일~19일2009년 6월 26일에 취득.