부정 허위 가정

부정 허위 가정(Negation As Failure, NAF)은 논리형 프로그래밍의 비단조적 추론 규칙으로, p를 파생하는 실패로부터 'p가 아님'(즉, p가 유지되지 않는 것으로 가정됨)을 파생하는 데 사용된다. 'p가 아님'은 추론 알고리즘의 완전성과 형식 논리 시스템에 따라 p의 논리적 부정에 대한 진술 -p와 다를 수 있다.

부정 허위 가정은 플래너와 프롤로그의 초창기부터 논리 프로그래밍의 중요한 기능이었다. 프롤로그에서는 일반적으로 프롤로그의 추가 논리 구성을 사용하여 구현된다.

보다 일반적으로 이러한 종류의 부정은 강한(즉, 명시적, 증명 가능한) 부정과 달리 약한 부정(Weak Negation)^[1][2]으로 알려져 있다.

출처

• Clark, K. (1987) [1978]. 〈Negation as failure〉. Ginsberg, M.L. 《Readings in nonmonotonic reasoning》. Morgan Kaufmann. 311–325쪽. ISBN 978-0-934613-45-3.
• Gelfond, M. (1987). 〈On Stratified Autoepistemic Theories〉 (PDF). 《AAAI'87: Proceedings of the sixth National conference on Artificial intelligence》. AAAI Press. 207–211쪽. ISBN 978-0-934613-42-2.
• Gelfond, M.; Lifschitz, V. (1988). 〈The Stable Model Semantics for Logic Programming〉. Kowalski, R.; Bowen, K. 《Proc. 5th International Conference and Symposium on Logic Programming》. MIT Press. 1070–80쪽. CiteSeerX 10.1.1.24.6050. ISBN 978-0-262-61054-4.
• Shepherdson, J.C. (1984). “Negation as Failure: A Comparison of Clark's Completed Data Dase and Reiter's Closed World Assumption”. 《Journal of Logic Programming》 1: 51–81. doi:10.1016/0743-1066(84)90023-2.
• Shepherdson, J.C. (1985). “Negation as Failure II”. 《Journal of Logic Programming》 2 (3): 185–202. doi:10.1016/0743-1066(85)90018-4.