12 февраля 2024 г. в 10.00 в конференц-зале ИФПР СО РАН состоится очередное заседание семинара по социальной эпистемологии и искусственному интеллекту.
Докладчик: Лисанюк Елена Николаевна, профессор СПбГУ, НИУ ВШЭ (Санкт-Петербург)
Тема: Поиск и отбор решений споров в логике аргументации
Аннотация:
В докладе обсуждается алгоритм поиска и отбора решений споров, включающий оценку аргументации на трех уровнях – состоятельности отдельных аргументов, приемлемости аргументов относительно друг друга на множестве аргументов спора и оценку убедительности позиций сторон применительно к типу спора. Формальной основой алгоритма выступает логика аргументации – современное направление в логике, использующее вычислительную семантику и абстрактные фреймворки аргументации для моделирования аргументации как спора – множества аргументов, упорядоченного посредством бинарного абстрактного отношения атаки одного аргумента другим, символизирующим критику. Абстрактный характер отношения атаки позволяет, задавая желательные формальные свойства, устанавливать различные отношения поддержки одного аргумента другим, символизирующие привычные представления об обосновании тезиса аргументами в спорах. Типы споров определяются логико-прагматическим соотношением намерений сторон по защите или критике истинности предложений, составляющих пропозициональное содержание их мнений. В зависимости от типа спора его решения отбираются из исходов – защищенных или неатакованных аргументов. Их приемлемость устанавливается в результате подсчета соотношения атак, посредством которых сильно состоятельные аргументы отклоняют равно или менее состоятельные аргументы. Оценка состоятельности аргументов может производиться при помощи формально-диалектических инструментов, например, критических вопросов к воплощенным в отдельных аргументах схемам аргументации, или логико-семантическими средствами установления корректности и обоснованности умозаключений. Алгоритм поиска и отбора решений спора обладает хорошими перспективами автоматизации.
Основные положения и пример использования алгоритма:
Лисанюк Е.Н. Алгоритм поиска и отбора решений спора // Формальная философия аргументации. Коллективная монография под ред. Лисанюк Е.Н. Санкт-Петербург, 2022.
Лисанюк Е.Н. Два логико-методологических затруднения в алгоритме поиска и отбора решений спора // Аналитическая философия: траектории истории и векторы развития. Сб. трудов Международной научной конференции, Новосибирск, 25–26.02. 2022 г. Под ред. А. В. Хлебалина. Новосибирск, Офсет ТМ, 2022.
Подходы к автоматизации алгоритма:
Baimuratov I., Lisanyuk E., Prokudin D. Dispute Resolution with OWL DL and Reasoning Proceedings of the 36th International Workshop on Description Logics (DL 2023), September 2–4, 2023, Rhodes, Greece. CEUR-WS.org. Vol. 3515