WikiDer > Преференциальное право

Преференциальное право это немонотонная логика на основе выбора только модели которые считаются наиболее правдоподобными. Правдоподобность моделей выражается упорядочением моделей, называемым отношением предпочтения, отсюда и название предпочтения.

Формально, учитывая пропозициональная формула ${ displaystyle F}$ и упорядочение пропозициональных моделей ${ displaystyle leq}$, льготный логическое следствие выбирает только модели ${ displaystyle F}$ которые минимальны согласно ${ displaystyle leq}$. Этот выбор приводит к немонотонному отношению вывода: ${ displaystyle F models _ { text {pref}} G}$ выполняется тогда и только тогда, когда все минимальные модели ${ displaystyle F}$ в соответствии с ${ displaystyle leq}$ также являются моделями ${ displaystyle G}$.^[1]

Обход может рассматриваться как частный случай преимущественного следования, когда упорядочение основано на включении наборов переменных, присвоенных истинному (в пропозициональном случае), или включении расширений предикатов (в случае логики первого порядка).^[1]

Смотрите также

• Отношение рациональных последствий

Рекомендации