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