CC BY
25
Тезисы участников конференции «Философия и общество» 113
Д. В. Зайцев
(Философский факультет МГУ имени М. В. Ломоносова) МИНИМАЛЬНЫЕ ЛОГИЧЕСКИЕ ТРЕБОВАНИЯ К РАЦИОНАЛЬНОЙ АГЕНТНОСТИ
В выступлении развивается подход, впервые представленный в статье [Kubyshkina, Zaitsev 2016]. Суть его состоит в том, чтобы, действуя в парадигме логик обобщенных истинностных значений, предложить истинностно-функциональную модель эпистемических рассуждений. При этом рациональным в логическом смысле считается агент, знающий условия истинности стандартных пропозициональных связок. Это позволяет учитывать не только (онтологическое) истинностное значение высказывания как таковое, но и характеристику знания агента (агент может знать или не знать о том, что некоторое высказывание является истинным). В результате два классических истинностных значения расщепляются на четыре комплексных значения. В упомянутой выше статье на основе этих соображений строится так называемая логика рационального агента (logic of rational agent, LRA) и предлагается ее адекватная аксиоматизация.
В выступлении делается следующий шаг в заявленном направлении, и данный подход расширяется на случай двух и более рациональных агентов. Это позволяет существенным образом обогатить выразительные возможности модели. Так, например, удается различить стандартное (онтологическое) отрицание, меняющее онтологическую компоненту комплексного истинностного значения, и эпистемическое отрицание, затрагивающее только эпистемиче-скую составляющую. Последнее отрицание может быть релятиви-зировано относительно агентов. Возникает возможность задания целого спектра отношений типа логического следования, соответствующих как универсальным («общим для всех», «логическим») рассуждениям, так и более узким «внутригрупповым» или «межгрупповым» рассуждениям. Развиваемый формализм позволяет ввести семейство операторов, характеризующих индивидуальное и групповое (не)знание: «всем известная истина», «агент i знает, что А истинно», «агенту i известно значение А», «кто-то что-то знает про А» и т. п.
114 Философия и общество 1/2018
Литература
Kubyshkina E., Zaitsev D. Rational Agency from a Truth-functional Perspective. Logic and Logical Philosophy. 2016. Vol. 25. No. 4. Pp. 499-520.
И. Ф. Михайлов (Институт философии РАН) ПРОЕКЦИИ ЧЕЛОВЕКА В КОМПЬЮТЕРНЫЕ МОДЕЛИ: ФИЛОСОФСКИЕ ПРОБЛЕМЫ МЕЖДИСЦИПЛИНАРНЫХ СОЦИАЛЬНО-КОГНИТИВНЫХ ИССЛЕДОВАНИЙ
Мультиагентные технологии появились в конце 1980-х гг. на стыке достижений в области объектного программирования, параллельных вычислений, искусственного интеллекта (а также «искусственной жизни» и «искусственного общества»), интернет-технологий и телекоммуникаций. Это направление изначально называли bio-inspired («вдохновленным биологией»). Впоследствии оно выросло в новый класс интеллектуальных систем так называемого «эмерджентного интеллекта».
Важным понятием в области распределенных интеллектуальных сетей является Swarm Intelligence («Интеллект роя»), которое предполагает, что интеллект в таких системах не содержится в каких-то специальных компонентах, а рождается в ходе тонких взаимодействий совершенно простых, но автономных программ (агентов), не имеющих развитых интеллектуальных способностей.
Мультиагентные системы представляют собой хорошую функциональную модель для понимания сущности интенциональных состояний, понимания сути человеческой (и не только) социальности, проникновения в механизмы саморазвития нелинейных систем, расширенного понимания когнитивных способностей, лучшей концептуальной демаркации когнитивного, интеллектуального, рационального, а также для возможных мысленных экспериментов и т. д.
Широкое использование модальных (эпистемических) логик в конструировании МАС помогает лучше понять социально-коммуникативную природу знания.
Философия, в свою очередь, может помочь исследованиям мультиагентных систем в прояснении их эпистемологического ста-
