失敗による否定
失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 p {\displaystyle p} を導出することに失敗したとき n o t p {\displaystyle {\mathit {not}}~p} を自動的に導出することである。 Planner や Prolog の初期から論理プログラミングの重要な機能となっている。
失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 p {\displaystyle p} を導出することに失敗したとき n o t p {\displaystyle {\mathit {not}}~p} を自動的に導出することである。 Planner や Prolog の初期から論理プログラミングの重要な機能となっている。
失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 p {\displaystyle p} を導出することに失敗したとき n o t p {\displaystyle {\mathit {not}}~p} を自動的に導出することである。 Planner や Prolog の初期から論理プログラミングの重要な機能となっている。
出典: Wikipedia「失敗による否定」 · CC BY-SA 4.0
この記事を共有: X · Bluesky