부정 허위 가정

부정 허위 가정(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.

각주

↑ Bílková, M.; Colacito, A. (2020). “Proof Theory for Positive Logic with Weak Negation”. 《Studia Logica》 108 (4): 649–686. arXiv:1907.05411. doi:10.1007/s11225-019-09869-y. S2CID 195886568.
↑ Wagner, G. (2003). 〈Web Rules Need Two Kinds of Negation〉 (PDF). Bry, F.; Henze, N.; Maluszynski, J. 《Principles and Practice of Semantic Web Reasoning. PPSW3 2003》. Lecture Notes in Computer Science 2901. Lecture Notes in Computer Science: Springer. 33–50쪽. doi:10.1007/978-3-540-24572-8_3. ISBN 978-3-540-24572-8. 2022년 7월 5일에 원본 문서 (PDF)에서 보존된 문서. 2024년 12월 30일에 확인함.