Введение
Междисциплинарная исследовательская программа
область исследований
the field of research
В философии и социальных науках социальное программное обеспечение представляет собой междисциплинарную исследовательскую программу, использующую математические инструменты и методы теории игр и компьютерных наук для анализа и разработки социальных процедур. Целями исследований в этой области являются моделирование социальных ситуаций, разработка теорий корректности и проектирование социальных процедур. Работы в рамках концепции "социальное программное обеспечение" ведутся с примерно 1996 года, и конференции в Копенгагене, Лондоне, Утрехте и Нью-Йорке были частично или полностью посвящены этой теме. Значительная часть работ проводится в Городском университете Нью-Йорка под руководством Рохита Живанлала Париха, который оказал существенное влияние на развитие этой области.
mathematical tools and techniques from game theory and computer science in order to analyze and design social procedures. The goals of research in this field are modeling social situations, developing theories of correctness, and designing social procedures. Work under the term social software has been going on since about 1996, and conferences in Copenhagen, London, Utrecht and New York, have been partly or wholly devoted to it. Much of the work is carried out at the City University of New York under the leadership of Rohit Jivanlal Parikh, who was influential in the development of the field.
Цели и инструменты
Текущие исследования в области социального программного обеспечения включают анализ социальных процедур и их проверку на справедливость, уместность, корректность и эффективность. Например, процедурой выборов может быть голосование простым большинством, метод Борда, система единого передаваемого голоса (STV) или одобрительное голосование. Все эти процедуры можно исследовать на предмет различных свойств, таких как монотонность. Монотонность обладает свойством, согласно которому голосование за кандидата не должно наносить вред этому кандидату. Это может показаться очевидным, верным в любой системе, но такое возможно в STV. Другой вопрос – возможность избрать победителя по Кондорсе, если таковой существует. Другие принципы, которые рассматриваются исследователями в области социального программного обеспечения, включают концепцию, что процедура справедливого распределения должна быть оптимальной по Парето, равноправной и свободной от зависти. Процедура аукционов должна побуждать участников делать ставки, соответствующие их реальной оценке, что обеспечивается аукционом Викри. Новым в социальном программном обеспечении по сравнению со старыми областями является использование инструментов компьютерных наук, таких как логика программ, анализ алгоритмов и эпистемическая логика. Как и программы, социальные процедуры взаимосвязаны. Например, аэропорт предоставляет взлетно-посадочные полосы для самолетов, но также обеспечивает проверки безопасности и должен предусматривать способы перевозки прибывающих пассажиров автобусами и такси до их пунктов назначения. Весь механизм можно анализировать так же, как сложную компьютерную программу. Процедура Банаха-Кнастера для справедливого разделения торта или процедура Брамса и Тейлора для справедливого распределения были проанализированы таким образом. Чтобы подчеркнуть необходимость эпистемической логики, зданию нужны не только туалеты, что очевидно, но и указатели, показывающие, где они находятся. Таким образом, эпистемические соображения дополняют структурные. В качестве более насущного примера, помимо лекарств, врачам также нужны анализы для определения проблемы пациента.
under any system, but it is something which can happen in STV. Another question would be the ability to elect a Condorcet winner in case there is one. Other principles which are considered by researchers in social software include the concept that a procedure for fair division should be Pareto optimal, equitable and envy free. A procedure for auctions should be one which would encourage bidders to bid their actual valuation – a property which holds with the Vickrey auction. What is new in social software compared to older fields is the use of tools from computer science like program logic, analysis of algorithms and epistemic logic. Like programs, social procedures dovetail into each other. For instance an airport provides runways for planes to land, but it also provides security checks, and it must provide for ways in which buses and taxis can take arriving passengers to their local destinations. The entire mechanism can be analyzed in the way in which a complex computer program can be analyzed. The Banach Knaster procedure for dividing a cake fairly, or the Brams and Taylor procedure for fair division have been analyzed in this way. To point to the need for epistemic logic, a building not only needs restrooms, for obvious reasons, it also needs signs indicating where they are. Thus epistemic considerations enter in addition to structural ones. For a more urgent example, in addition to medicines, physicians also need tests to indicate what a patient's problem is.