письмо, то я должен либо отправить, либо сжечь его. Подобные “парадоксы”
получаются вследствие выбора квантификации, а также допущений о
применимости деонтических операторов к высказываниям или к действиям. В
этой теории есть и другие парадоксы, и единого мнения среди философов по
поводу того, какая же версия упомянутых аксиом правильна, практически нет.
Однако, мы понимаем, что означает понятие обязательность или разрешение.
Противоречия возникают, когда мы пытаемся развить формальное исчисление
разрешений и обязательностей. Высказывания в рамках формальной системы
оказываются несопоставимыми с обычным использованием этих понятий. Для
того чтобы получить полезную систему аксиом для логики норм, в данной
области нужны эксперименты с системами доказательств теорем на базе
модальной и деонтической логик.
Специалистов по искусственному интеллекту в этой области немного.
Маккарти
4
разработал семантику для понятий разрешение и обязательность. На
этом семантика еще не нашла практической реализации. Подход Маккарти
отличается от описания SDL в том, что его деонтические операторы не к
высказываниям, а к действиям. Мартино с сотрудниками
5
начали работу по
использованию деонтических понятий в системе, реализованной на языке
Пролог для анализа итальянского брачно-семейного законодательство.
Наиболее радикальный подход к автоматизации деонтической логики
исходит от Ковальски и Серго
6
. По их мнению, применение специальной
модальной логики для деонтического понятия необходимости - ненужное
отступление от традиционной логики первого порядка. Если говорят, что
определенное действие запрещено, это означает, что законодательные власти
подвергнут совершившего это действие какому-либо наказанию. Подобные
санкции всегда существуют, но мы можем не знать точно, что они собой
представляют. Поэтому высказывание об обязанности платить подоходный
налог означает, что правительству разрешено оштрафовать или арестовать
неуплатившего налог. Глубокого понимания обязанностей и норм при этом не
4
L.T.McCarty, “Permissions and obligations”, in proc.8th Int. Joint Conf. On
Artificial Intelligence (Karlsruhe, West Germany, 1983), pp.283-284.
5
A.A.Martino, L.Abba, P.Asirelli, A.Cammelli, P.Mariani “Base della conoscenza
nell`analisi automatica della legislazione”, in Preliminary Papers, 2nd Int. Congr.
On Logic, Informatics, and Law (Florence, Italy, Sept.1985), pp.425-460.
6
R.Kovalski, M.Sergot, @Computer representation of the Law”, in Proc. 9th Int.
Joint Conf. on Artificial Intelligence (Los Angeles, CA, Aug.1985), pp.1269-1270