Краус, Сарит

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Сарит Краус

ивр. שרית קראוס
Файл:Sarit kraus.JPG


Дата рождения
1960
Место рождения
Иерусалим, Израиль




Место работы
Университет имени Бар-Илана


Супруг
Ицхак Краус


Награды и премии

Премия IJCAI «Компьютеры и мысль» (1995)
Действительный член Ассоциации вычислительной техники (2014)

Сайт

http://www.cs.biu.ac.il/~sarit/

Сарит Краус (ивр. שרית קראוס; [Нет даты!]) — израильский учёный в области информатики, профессор информатики в Университете имени Бар-Илана. Известна вкладом в развитие искусственного интеллекта, в частности многоагентных систем, взаимодействия человека и агента, автономных агентов и немонотонных рассуждений. В 2020—2021 годах была удостоена звания лектора ACM Athena.

Биография[править]

Сарит Краус родилась в Иерусалиме. В 1989 году получила степень доктора философии по информатике в Еврейском университете под руководством профессора Даниэля Лемана. Замужем за профессором Ицхаком Краусом, имеет пятерых детей[1].

Академическая карьера[править]

Краус внесла вклад в многочисленные области, в первую очередь в многоагентные системы (включая людей и роботов) и немонотонные рассуждения. Одно из её важных достижений относится к стратегическим переговорам. Её работа в этой области стала одной из первых, объединивших теорию игр с искусственным интеллектом. Кроме того, она начала новые исследования автоматизированных агентов, ведущих переговоры с людьми, и установила, что эти агенты должны оцениваться в ходе экспериментов с участием людей. В частности, она разработала Diplomat, первого автоматизированного агента, который успешно вёл переговоры с людьми. За этим последовали другие агенты, которые хорошо взаимодействуют с людьми, интегрируя качественный подход к принятию решений с инструментами машинного обучения, чтобы справиться с проблемой ограниченной рациональности людей. Основываясь на работе Краус, другие исследователи начали разрабатывать автоматизированных агентов, которые ведут переговоры и взаимодействуют с людьми.

В результате работа Краус стала стандартом для исследований в области переговоров, как между автоматизированными агентами, так и между агентами и людьми. Эта работа вызвала интерес других сообществ и была опубликована в журналах по политологии, психологии и экономике[2][3].

Ещё один вклад Краус заключается во внедрении измерения индивидуализма в многоагентную область путём разработки протоколов и стратегий сотрудничества между агентами, преследующими собственные интересы, включая формирование коалиций. Этот взгляд радикально отличался от подхода полностью сотрудничающих агентов, который тогда был распространён в многоагентном сообществе (тогда называвшемся Распределённым искусственным интеллектом). Индивидуализм необходим для надёжного ограничения поведения в открытых средах, таких как электронные рынки.

Совместно с Барбарой Дж. Гроуш из Гарварда Краус разработала эталонную теорию совместного планирования (модель TeamWork) под названием SharedPlans, которая предоставляет спецификацию для проектирования агентов, способных к сотрудничеству, и основу для выявления и исследования фундаментальных вопросов о сотрудничестве. Она определяет минимальные условия для того, чтобы группа агентов имела общую цель, необходимые процедуры принятия решений группой и отдельными лицами, то, как ментальные состояния и планы агентов могут развиваться с течением времени, и другие различные важные отношения между агентами, например, товарищи по команде, субподрядчики и т. д[4]. Учитывая обширность SharedPlans и её строгие спецификации, она стала основой для многих других работ и была широко принята в других областях (например, робототехника или человеко-машинное взаимодействие).

Краус также признана за свой вклад в область немонотонных рассуждений. Она является первым автором одной из самых влиятельных статей в этой области (KLM). В рамках основного логического сообщества семантика «KLM», вероятно, оказала наибольшее влияние.

Согласно её записи в DBLP, у Краус 131 соавтор со всего мира и из разных дисциплин. Она является автором монографии о переговорах и соавтором ещё двух книг[5][6].

Решения Краус обогатили исследовательское сообщество, а также принесли практические плоды. Её исследования привели к проектированию и созданию реальных систем, которые воплотили концепции из академической среды в реальность. Краус вместе с Тамбе и Ордонесом из Университета Южной Калифорнии разработала инновационный подход рандомизированных политик для приложений безопасности. Инновационный алгоритм, сочетающий теорию игр и методы оптимизации, улучшает современное состояние безопасности робототехники и многоагентных систем и применяется на практике в международном аэропорту Лос-Анджелеса с 2007 года. Её исследования в области формальных моделей сотрудничества используются в передовых промышленных технологиях моделирования и инструментах поддержки команд. Её работа по разработке виртуального логопеда больницы Шиба в настоящее время используется для лечения несколькими израильскими больничными кассами. Игровая среда Colored Trails, которую она разработала вместе с Гроуш из Гарварда, предоставляет платформу для исследователей для проведения исследований по принятию решений и в настоящее время широко используется исследователями из десятков университетов, а также для обучения астронавтов. Дополнительные недавние проекты включают создание систем, которые умело ведут переговоры и спорят с людьми: её исследования агентов, чувствительных к культуре, привели к разработке многочисленных агентов для межкультурного сотрудничества, с доказуемым успехом во взаимодействии с сотнями людей в Америке, на Дальнем Востоке и на Ближнем Востоке — все они верили, что взаимодействуют с человеком, не осознавая, что на самом деле это был агент. Её работа над виртуальными людьми привела к разработке системы для израильской полиции для обучения сотрудников правоохранительных органов допросу свидетелей и подозреваемых. Здесь были разработаны виртуальные психологические модели подозреваемого, что привело к разнообразным ответам виртуального подозреваемого. Недавно она разработала интеллектуального агента, который поддерживает оператора, работающего с командой недорогих автономных роботов. Наконец, совместно с израильским центром GM была разработана система убеждения, которая генерирует советы для водителей относительно различных решений, связанных с конфликтующими целями.

Награды[править]

  • 1995 — Премия IJCAI «Компьютеры и мысль». Премия присуждается организацией IJCAI каждые два года «выдающемуся молодому учёному»[7].
  • 2002 — Действительный член AAAI[8].
  • 2007 — Премия ACM/SIGART за исследования автономных агентов. Премия присуждается ACM SIGART в сотрудничестве с IFAAMAS за выдающиеся достижения в исследованиях в области автономных агентов[9].
  • 2007 — Премия IFAAMAS за влиятельную статью совместно с Барбарой Гроуш (совместный победитель)[10].
  • 2008 — Действительный член ECCAI.
  • 2009 — Специальные благодарности от города Лос-Анджелес за создание системы планирования безопасности ARMOR.
  • 2010 — «Женщины года» по версии Emuna.
  • 2010 — Премия EMET.
  • 2012 — избрана в Европейскую академию[11].
  • 2014 — Премия IFAAMAS за влиятельную статью совместно с Онном Шехори.
  • 2014 — Действительный член ACM. «За вклад в искусственный интеллект, включая многоагентные системы, взаимодействие человека и агента и немонотонные рассуждения»[12].
  • 2020 — Лектор ACM Athena 2020—2021 годов. «За фундаментальный вклад в искусственный интеллект, в частности в многоагентные системы, взаимодействие человека и агента, автономных агентов и немонотонные рассуждения, а также за образцовое служение и лидерство в этих областях».
  • 2023 — Премия IJCAI за выдающиеся достижения в исследованиях[13].

Примечания[править]

  1. ↑ סרוגים משפיעים: פרופ' שרית קראוס. www.inn.co.il. Проверено 30 сентября 2026.
  2. ↑ Cultural contingencies of mediation: Effectiveness of mediator styles in intercultural disputes. Myweb.sabanciuniv.edu. Проверено 30 сентября 2026.
  3. ↑ (1998) «The Impact of Cognitive Diversity on Crisis Negotiations». Political Psychology 19 (4): 721–748. DOI:10.1111/0162-895X.00129.
  4. ↑ Kraus, Sarit (1993-01-01). «Collaborative plans for group activities». International Joint Conference on ….
  5. ↑ Fatima Shaheen, Kraus Sarit Principles of Automated Negotiation. — Cambridge: Cambridge University Press. — ISBN 978-1-107-00254-8.
  6. ↑ Predicting Human Decision-Making. — ISBN 978-3-031-00450-6.
  7. ↑ Computers and Thought Award. Проверено 30 сентября 2026.
  8. ↑ AAAI Fellow. AAAI. — «For significant contributions to modeling of negotiation, collaboration, and non-monotonic reasoning, including theoretical advances and applications in various computational domains.»  Проверено 30 сентября 2026.
  9. ↑ Autonomous Agents Research Award. Проверено 30 сентября 2026.
  10. ↑ IFAAMAS Influential Paper Award. Проверено 30 сентября 2026.
  11. ↑ Sarit Kraus. Member profiles. Academia Europaea. Проверено 30 сентября 2026.
  12. ↑ Prof. Sarit Kraus. awards.acm.org. Проверено 30 сентября 2026.
  13. ↑ IJCAI Awards – IJCAI 2023en-US. Проверено 30 сентября 2026.

Ссылки[править]

Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Краус, Сарит», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Краус,_Сарит

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Краус,_Сарит&oldid=2755039