Алгоритмічна лінза в соціальних науках

Перегляд питань через алгоритмічну лінзу (тобто з точки зору алгоритмічності або складності) стало корисним у навчальних дисциплінах, що не входять до "стандартної галузі" інформатики. Зокрема, КС зробив вплив на біологію за допомогою обчислювальної біології, на фізику за допомогою квантової обробки інформації, а ІІ та теорія складності, здається, регулярно взаємодіють з нейронаукою. Природні науки здаються порівняно зручними з ТКС.

Таким чином, моє питання стосується впливу ТКС на суспільні науки .

Які нові та важливі уявлення про суспільні науки надав ТКС?

Я нечітко усвідомлюю вплив алгоритмічного мислення на економіку (через теорію ігор). Насправді алгоритмічна теорія ігор тепер є частиною «стандартної області» TCS, тому дозволяє виключати відповіді AGT, якщо вони конкретно не змінили існуючі теорії соціальних наук.

Ще один приклад, який я пам'ятаю, - це з лінгвістики в дискусії про навчальність та природженість граматики (тобто бідність стимулу ). Теорема Голда про невпізнаваність контекстних вільних граматик слугувала вагомим аргументом для вродженості та допомогла переконати деяких скептиків (я не впевнений, чи це все-таки справедливо, оскільки SCFG здається вивченим). Мене більше цікавлять приклади такого типу, коли мислення TCS допомагало змінювати або формувати існуючі теорії в соціальних науках.

Посилання на книги / опитування високо оцінені.

Мережі, натовпи та ринки: тут, напевно, слід згадати Іслейлі та Кляйнберга. Це досить елементарно, але дає широкий вибір тем із суспільних наук, які були розглянуті з точки зору CS та надають багато посилань. Хтось із більшим досвідом роботи в цій галузі, можливо, може сказати нам, наскільки книга наближена до сучасного рівня техніки в цій галузі?

Як більш конкретна відповідь, з поширенням різних сайтів соціальних мереж інформатика стала досить актуальною при аналізі величезних наборів даних соціальних мереж з таких сайтів.

Цей приклад із теорії соціального вибору та зокрема виборів. Ми знаємо, що теорема Ерроу (і загалом теорема Гіббарда-Саттерватвайта ) виключає можливість виборів, які будуть справедливими, не маніпулюючими та без інших химерних наслідків. Але довідковий документ Бартольді, Тові і Тріка показав, що знайти бажаний «хак», щоб зламати схему голосування, було важким, і багато дослідників проводили велику роботу над складністю проблем у царині виборчого проектування . На цю тему є приємне опитування Фалішевського, Хемаспаандри та Гемаспандри .

Хомський ?

Для більш сучасних прикладів Блог комп'ютерних правових досліджень має велику роботу. Вони передбачили висунення Верховного Суду США Сотмайора, використовуючи теорію графіків .

Сьогоднішня когнітивна психологія дійсно базується на точці зору "мозок як комп'ютер". (Хоча це може розглядатися як частина "нейронауки", згаданої у питанні.)

Деякі додаткові посилання:

У Macgill SM, 1985, "Структурний аналіз соціальних даних: посібник із ґратчастого підходу Голуа та часткове узгодження Q-аналізу" Навколишнє середовище та планування A 17 (8) 1089 - 1109.

MacGill підкреслює, як ті, хто в соціальних науках може отримати користь від використання Q-аналізу, (як правило) в найменшій мірі розуміють математику і, отже, потенціал таких інструментів у гуманітарних науках. Що повинно бути навіть при посиленій комп'ютеризації - алгоритмічних формулюваннях. (Математика - це захоплююча туман для цієї медсестри.)

www.envplan.com/ab абстракт.cgi?id=a171089

Дуже багато випусків новин ERCIM розглянули соціальні програми математики - в т.ч. алгоритмічний:

http://ercim-news.ercim.eu/back-isissue-online

Інший можливий напрямок, який слід досягти, - це візуалізація в соціальних науках. В 1990-х роках в Англії була основна ініціатива:

www.agocg.ac.uk/train/review/toc.htm

Поєднання семантичної павутини та концептуальних просторів Gärdenfors (2000) може дати нові, гібридні шляхи:

Gärdenfors, P. (2000). Концептуальні простори: Геометрія думки, Кембридж.

Травень конференції - «Концептуальні простори на роботі»

www.fil.lu.se/conferences/conference.asp?id=46&lang=se

Я б хотів, щоб я міг впоратися з цими предметами - можливо, післядипломне навчання. Мої вільні зусилля включають плани відвідувати вищезгадану конференцію та писати про конкретну форму великої картини (концептуальні рамки) моделі Ходжеса тут: http://hodges-model.blogspot.co.uk/

алгоритми нарізки пирога, які важливі для справедливого поділу. Я впевнений, що вони відіграють велику роль у суспільствознавстві.

Що стосується застосування теорії складності в суспільній науці-- Скотт Ааронсон має сміливий і забавний есе, прив'язуючи теорію складності до глибоких вікових питань у філософії, з якими я стикався нещодавно, читаючи його блог.

Чому філософи повинні піклуватися про складність обчислень http://arxiv.org/abs/1108.1791

http://www.scottaaronson.com/blog/

---

Ще одна цікава область застосування алгоритмічної теорії в соціальних науках трапляється в таких галузях економіки, як вивчення ринків чи інших "складних систем". ідея полягає в тому, що ринок складається з окремих акторів або "агентів", які намагаються розробити алгоритми, щоб заробити гроші. настає дарвініанський процес відбору. схожий на генетичні алгоритми. (і, мабуть, зараз насправді досить близька до реальності HST, високошвидкісних торгів, де є підрахунки, що до 70% ринкових торгів відбувається завдяки програмній торгівлі.) Провідним слідчим у цій галузі є j doyne фермер.

http://tuvalu.santafe.edu/~jdf/SFI%20Template/ About%20Me.html

---

Я бачу, що ви згадуєте біологію на своїй сторінці курсу. відмінне застосування складності та алгоритмічної теорії та інтенсивна розробка полягає у передовій проблемі визначення конфігурацій складок білка. наприклад, ранній документ довів, що формалізована версія проблеми з білковим складанням не є повною.

http://en.wikipedia.org/wiki/Protein_folding

Проблема складання білка - це NP у повному обсязі від Berger / Leighton http://www.brown.edu/Research/Istrail_Lab/papers/1998/p30-berger.pdf