Преференциальное право собственности
Преференциальное следствие — это немонотонная логика, основанная на выборе только тех моделей , которые считаются наиболее правдоподобными. Правдоподобие моделей выражается упорядочением моделей, называемым отношением предпочтения, отсюда и название «следствие предпочтения».
Формально, учитывая пропозициональную формулу и упорядочение пропозициональных моделей преференциальное следование выбирает только модели которые минимальны по . Этот выбор приводит к немонотонному соотношению вывода: выполняется тогда и только тогда, когда все минимальные модели в соответствии с также являются моделями . [1]
Ограничение можно рассматривать как частный случай предпочтительного следствия, когда упорядочение основано на содержании наборов переменных, которым присвоено значение true (в пропозициональном случае), или на содержании расширений предикатов (в случае логики первого порядка). [1]
См. также
[ редактировать ]- Рациональное отношение последствий - тип отношения последствий в математической логике.
Ссылки
[ редактировать ]- ^ Jump up to: а б Шохам, Ю. (1987), «Немонотонная логика: смысл и полезность», Proc. 10-го Межд. Совместная конф. об искусственном интеллекте (IJCAI'87) (PDF) , стр. 388–392 .