Социальное программное обеспечение (социальная процедура) - Social software (social procedure)

Эта статья посвящена области исследований. Информацию о компьютерном программном обеспечении, используемом для социального взаимодействия, см. Социальное программное обеспечение.

В философии и социальных науках социальное программное обеспечение это междисциплинарная исследовательская программа, которая заимствует математические инструменты и методы из теории игр и информатики для анализа и проектирования социальные процедуры. Цели исследований в этой области - моделирование социальных ситуаций, разработка теорий правильности и проектирование социальных процедур.[1]

Работа под термином «социальное программное обеспечение» ведется примерно с 1996 года, и конференции в Копенгагене, Лондоне, Утрехте и Нью-Йорке были частично или полностью посвящены ему. Большая часть работы выполняется на Городской университет Нью-Йорка под руководством Рохит Дживанлал Парих, который оказал влияние на развитие отрасли.

Цели и инструменты

Текущие исследования в области социального программного обеспечения включают анализ социальных процедур и их проверку на справедливость, уместность, правильность и эффективность. Например, процедура выборов может быть простым большинством голосов, Граф Борда, Единый передаваемый голос (STV) или голосование одобрения. Все эти процедуры можно исследовать на предмет различных свойств, например монотонности. Монотонность обладает тем свойством, что голосование за кандидата не должно навредить этому кандидату. Это может показаться очевидным для любой системы, но такое может случиться в STV.[нужна цитата ] Другой вопрос - возможность избрать победителя Кондорсе, если он есть.

Другие принципы, которые рассматриваются исследователями в области социального программного обеспечения, включают концепцию, согласно которой процедура справедливого разделения должна быть оптимальной по Парето, справедливой и свободной от зависти. Процедура аукционов должна быть такой, которая побуждала бы участников торгов предлагать свою фактическую стоимость - собственность, которая сохраняется вместе с аукционом Викри.

Что нового в социальном программном обеспечении по сравнению со старыми областями, так это использование инструментов информатики, таких как программная логика, анализ алгоритмов и эпистемическая логика. Как и программы, социальные процедуры взаимосвязаны друг с другом. Например, в аэропорту есть взлетно-посадочные полосы для приземления самолетов, но он также обеспечивает проверки безопасности и должен обеспечивать способы, которыми автобусы и такси могут доставлять прибывающих пассажиров к местным пунктам назначения. Весь механизм можно проанализировать так же, как можно проанализировать сложную компьютерную программу. Процедура Банаха-Кнастера для справедливого разделения торта, или Брамс и процедура Тейлора справедливого разделения были проанализированы таким образом. Чтобы указать на необходимость эпистемической логики, зданию по очевидным причинам нужны не только туалеты, но и знаки, указывающие, где они находятся. Таким образом, эпистемологические соображения входят в дополнение к структурным. В качестве более неотложного примера, помимо лекарств, врачам также нужны тесты, чтобы определить, в чем проблема пациента.

Смотрите также

Примечания

  1. ^ Pacuit (2005), стр.10

дальнейшее чтение

  • Джон Сирл, Построение социальной реальности (1995) Нью-Йорк: Free Press, c1995.
  • Рохит Парих, «Социальное программное обеспечение», Синтез, 132, сентябрь 2002 г., 187-211.
  • Эрик Пакуи и Рохит Парих, «Социальное взаимодействие, знания и социальное программное обеспечение», в Интерактивные вычисления: новая парадигма, изд. Дина Голдин, Сотт Смолка, Питер Вегнер, Springer 2007, 441-461.
  • Людвиг Витгенштейн, Философские исследования, Макмиллан, 1953 год.
  • Яакко Хинтикка, Знание и вера: введение в логику двух понятий, Издательство Корнельского университета, 1962 г., ISBN  9781904987086
  • Д. Льюис, Конвенция, философское исследование, Harvard U. Press, 1969.
  • Р. Ауманн, Соглашаясь не соглашаться, Анналы статистики, 4 (1976) 1236–1239.
  • Пол Милгром и Нэнси Стоки (1982). «Информация, торговля и общие знания» (PDF). Журнал экономической теории. 26 (1): 17–27. Дои:10.1016/0022-0531(82)90046-1.
  • Дж. Геанакоплос и Х. Полемарчакис, Мы не можем не соглашаться вечно, J. Экономическая теория, 28 (1982), 192-200.
  • Р. Парих и П. Красуцки, Коммуникация, консенсус и знания, J. Экономическая теория 52 (1990) стр. 178–189.
  • В. Брайан Артур. Индуктивное мышление и ограниченная рациональность. Сложность экономической теории, 84(2):406-411, 1994.
  • Рональд Феджин, Джозеф Халперн, Йорам Моисей и Моше Варди, Рассуждения о знаниях, MIT Press 1995.
  • Стивен Брамс и Алан Тейлор, Беспроигрышное решение: гарантия справедливой доли для всех, Нортон 1999.
  • Дэвид Харел, Декстер Козен и Ежи Тюрин, Динамическая логика, MIT Press, 2000.
  • Майкл Чве, Рациональный ритуал: культура, координация и общие знания, Princeton University Press, 2001.
  • Марк Поли, Логика для социального ПО, Кандидат наук. Диссертация, Амстердамский университет. Серия диссертаций ILLC 2001–10, ISBN  90-6196-510-1.
  • Рохит Парих, Язык как социальное программное обеспечение, в Будущее прошлое: аналитическая традиция в философии двадцатого века, Ред. Дж. Флойд и С. Ши, Oxford U. Press, 2001, 339-350.
  • Парих, Р. и Рамануджам, Р., Семантика сообщений, основанная на знаниях, в J. Логика, язык и информация, 12, с. 453 - 467, 2003.
  • Эрик Пакуи, Темы в социальном ПО: информация в стратегических ситуациях, Докторская диссертация, Городской университет Нью-Йорка (2005).
  • Эрик Пакуи, Рохит Парих и Ева Коган, «Логика обязательства, основанного на знаниях», Знание, рациональность и действие, поджурнал Синтез, 149(2), 311 – 341, 2006.
  • Эрик Пакуи и Рохит Парих, Рассуждения о графах коммуникации, в интерактивной логике, под редакцией Йохана ван Бентема, Дов Габбая и Бенедикт Лоу (2007).
  • Майк Вулдридж, Томас Аготнес, Пол Э. Данн и Вибе ван дер Хук. Логика для автоматизированного проектирования механизмов - отчет о ходе работы. В Материалы двадцать второй конференции по искусственному интеллекту (AAAI-07), Ванкувер, Канада, июль 2007 г.

внешняя ссылка