Мне нужно написать правила для деонтической логики, есть ли язык программирования для этого?Я видел пролог и сейчас учусь, но как выразить деонтическую логику в PROLOG?пожалуйста помогите
В этом документе за 2018 г. утверждается, что мост SON объединяет деонтическую логику, а некоторые идеи о том, как это можно сделать, см. В статье 2015 г.:
Инфраструктура логического анализа деонтической логики - 2018 г. Кристоф Бенцмюллер, Родитель Ксавье и Леендерvan der Torre http://page.mi.fu -berlin.de / cbenzmueller / paper / C69.pdf
Методы BMC на основе SMT для стандартных структур Крипке А. М. Збжезный - 2015 http://www.ifaamas.org/Proceedings/aamas2015/aamas/p2021.pdf
Многие системы Prolog имеют SAT-решатели.Вы можете попробовать что-то в этом роде.Вот некоторые системы Prolog с SAT-решателями:
SWI-Prolog CLP (B): http://www.swi -prolog.org / pldoc / man? Section = clpb
Jekejeke Prolog CLP (B): http://www.jekejeke.ch/idatab/doclet/prod/en/docs/15_min/10_docu/02_reference/07_theory/03_finite/06_tree.html