Социальное программное обеспечение (область исследований)

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

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

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

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

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

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

См. также

Примечания

^ Мир (2005), стр.10

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

Джон Сирл , Построение социальной реальности (1995) Нью-Йорк: Free Press, c1995.
Рохит Парих , «Социальное программное обеспечение», Synthese , 132, сентябрь 2002 г., стр. 187–211.
Эрик Пакуит и Рохит Парих , «Социальное взаимодействие, знания и социальное программное обеспечение», в книге «Интерактивные вычисления: новая парадигма» , изд. Дина Голдин, Сотт Смолка, Питер Вегнер, Springer 2007, 441–461.
Людвиг Витгенштейн , Философские исследования, Macmillan, 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. Economic Theory , 28 (1982), 192–200.
Р. Парих и П. Красуки, Коммуникация, консенсус и знания, J. Economic Theory 52 (1990), стр. 178–189.
В. Брайан Артур . Индуктивное рассуждение и ограниченная рациональность . Сложность в экономической теории , 84(2):406-411, 1994.
Рональд Феджин , Джозеф Халперн , Йорам Мозес и Моше Варди , Рассуждения о знаниях , MIT Press, 1995.
Стивен Брэмс и Алан Тейлор, Беспроигрышное решение: гарантия справедливой доли для всех, Norton, 1999.
Дэвид Харел , Декстер Козен и Ежи Тюрин , Dynamic Logic , MIT Press, 2000.
Майкл Чве, Рациональный ритуал: культура, координация и общие знания , Princeton University Press, 2001.
Марк Поли, Логика для социального программного обеспечения , доктор философии. Диссертация, Амстердамский университет. Серия диссертаций ILLC 2001–10, ISBN 90-6196-510-1 .
Рохит Парих , Язык как социальное программное обеспечение, в книге « Прошлое будущего: аналитическая традиция в философии двадцатого века» , под ред. Дж. Флойд и С. Ши, Oxford U. Press, 2001, 339–350.
Парих Р. и Рамануджам Р., Семантика сообщений, основанная на знаниях, в журнале «Логика, язык и информация» , 12, стр. 453–467, 2003 г.
Эрик Пакуит, «Темы социального программного обеспечения: информация в стратегических ситуациях» , докторская диссертация, Городской университет Нью-Йорка (2005).
Эрик Пакуит, Рохит Парих и Ева Коган, Логика обязательств, основанных на знаниях, знаниях, рациональности и действиях , поджурнал Synthese , 149 (2), 311–341, 2006.
Эрик Пакуит и Рохит Парих , Рассуждения о коммуникационных графах, в книге «Интерактивная логика» под редакцией Йохана ван Бентема, Дова Габбая и Бенедикта Лоу (2007).
Майк Вулдридж, Томас Оготнес, Пол Э. Данн и Вибе ван дер Хук. Логика проектирования автоматизированных механизмов – отчет о ходе работы. В материалах двадцать второй конференции по искусственному интеллекту (AAAI-07 ), Ванкувер, Канада, июль 2007 г.

Внешние ссылки

Группа «Знания, игры и убеждения» . Городской университет Нью-Йорка, Аспирантура.
Конференция по социальному программному обеспечению . Академия Carlsberg, Копенгаген. 27–29 мая 2004 г. Проверено 26 июня 2009 г.
Интерактивная логика: мастер-класс по играм и социальному программному обеспечению . Королевский колледж, Лондон. 4–7 ноября 2005 г. Проверено 26 июня 2009 г.
Мастер-класс по играм, экшенам и социальному программному обеспечению . Лоренц-центр Лейденского университета, Нидерланды. 30 октября 2006 г. – 3 ноября 2006 г. Проверено 26 июня 2009 г.
Мини-конференция по социальному программному обеспечению . Группа знаний, игр и убеждений, Городской университет Нью-Йорка. 18–19 мая 2007 г. Проверено 26 июня 2009 г.

[Pacuit10-1] Мир (2005), стр.10

[1]