失敗による否定

ウィキペディア

失敗による否定

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/02 21:08 UTC 版)

失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、$p$ この項目は、ソフトウェアに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。