Выступление Любови Вашенцевой на семинаре «From the Logical Point of View»
22 сентября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором Любовь Вашенцева (аспирантка МГУ) выступила с докладом «Логика рациональных агентов LRA».
Аннотация доклада:
В 2016 году Дмитрием Зайцевым и Екатериной Кубышкиной был предложен новый подход к рациональной агентности – истинностно-функциональная четырехзначная логика (сокращенно LRA), в которой есть следующие истинностные значения: T1 («истинно и известно, что истинно»), T0 («истинно, но неизвестно, что истинно»), F0 («ложно и неизвестно, что ложно») и F1 («ложно и известно, что ложно»). При добавлении в язык кроме стандартного пропозиционального еще и эпистемического отрицания ~ («агент не знает, что ϕ») возникает возможность эксплицировать утверждения о (не)знании без использования модального оператора Kaϕ («a знает, что ϕ»). Это позволило получить эпистемическую логику, в которой принцип познаваемости не влечет за собой парадокс познаваемости.
Доклад будет посвящен попытке исследовать обобщение минимальной логики рационального агента LRA на случай множества рациональных агентов, в котором не возникает парадокса познаваемости для групповых знаний.
