Отрицание как неудача
- Отрицание как сбой (NAF) — немонотонное правило вывода в логическом программировании для получения «не p» из-за неспособности вывести p.
- NAF может отличаться от логического отрицания p в зависимости от полноты алгоритма логического вывода и системы формальной логики.
- Отрицание как сбой было важной особенностью логического программирования с первых дней существования Planner и Prolog.
- В Prolog NAF обычно реализуется с использованием экстралогических конструкций Prolog.
- Семантика NAF остается открытым вопросом до 1978 года, когда Кит Кларк показал, что она верна в отношении завершения логической программы.
- Семантика завершения NAF тесно связана с ограниченностью и предположением о замкнутом мире.
- Автоэпистемная семантика оправдывает интерпретацию результата NAF как классическом отрицании ¬p от p.
- Автоэпистемная интерпретация NAF может сочетаться с классическим отрицанием в расширенном логическом программировании и программировании набора ответов.
Полный текст статьи: