翻訳と辞書 Words near each other ・ 失恋魔術師 ・ 失意 ・ 失意のダウンタウン ・ 失意体前屈 ・ 失感情症 ・ 失感情症、失感情言語(化)症 ・ 失態 ・ 失投 ・ 失政 ・ 失敗 ・ 失敗による否定 ・ 失敗の恐れ ・ 失敗の本質 ・ 失敗の種類 ・ 失敗の虞 ・ 失敗は成功のもと ・ 失敗は成功の元 ・ 失敗国家 ・ 失敗学 ・ 失敗学会 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 失敗による否定 ： ウィキペディア日本語版 失敗による否定[しっぱいによるひてい] 失敗による否定（しっぱいによるひてい、）は、論理プログラミングで使われる非単調論理的推論規則であり、$p$ を導出することに失敗したとき $\backslash mathit~p$ を自動的に導出することである。Planner や Prolog の初期から論理プログラミングの重要な機能となっている。Prolog では、論理構成要素の範囲外として実装されることが多い。 == Prolog == 純粋な Prolog では、$\backslash mathit~p$ という形式で表される NAF リテラルは節本体に現れ、他の NAF リテラルを導出するのに使われる。例えば、次のような4つの節があるとする。 :$p\; \backslash leftarrow\; q\; \backslash and\; \backslash mathit~r$ :$q\; \backslash leftarrow\; s$ :$q\; \backslash leftarrow\; t$ :$t\; \backslash leftarrow$ NAF によれば、$\backslash mathit~s$、$\backslash mathit~r$、$p$ が導出される。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「失敗による否定」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.