「失敗による否定」を解説文に含む見出し語の検索結果(1～10/23件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/18 09:24 UTC 版)「自己認識論理」の記事における「統語論」の解説自己認識論理の統語論は、命題論理に知識を表...
ナビゲーションに移動検索に移動組織・団体全米妊娠中絶連合 (National Abortion Federation)ナショナル·アカデミー財団 (National Academy Foundatio...
ナビゲーションに移動検索に移動自己認識論理（英: Autoepistemic logic）とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。命題論理は事実しか表現できな...
ナビゲーションに移動検索に移動自己認識論理（英: Autoepistemic logic）とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。命題論理は事実しか表現できな...
非単調論理（ひたんちょうろんり、英: Non-monotonic logic）とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない...
非単調論理（ひたんちょうろんり、英: Non-monotonic logic）とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 07:33 UTC 版)「Reteアルゴリズム」の記事における「存在量化と全称量化」の解説個々のタプルについての...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
.mw-parser-output .sidebar{width:auto;max-width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;...
< 前の結果 | 次の結果 >