推論規則を解説文に含む用語の検索結果

「推論規則」を解説文に含む見出し語の検索結果(1～10/547件中)

古典論理における推論規則 - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:05 UTC 版)「推論規則」の記事における「古典論理における推論規則」の解説古典論理における代表的な推論...

推論処理において,情報処理システムに蓄えられた事実と推論規則...

読み方：ろんりすいろん【英】：logical inference記号論理を用いた推論のこと. 公理と推論規則, およびそれらから導出される(つまり証明される)定理のみによって推論が行われる. 各記号論...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/01 10:45 UTC 版)「論理的真理」の記事における「論理的真理と推論規則」の解説論理的真理の概念は、推論規則の...

推論処理において,情報処理システムに蓄えられた事実と推論規則知識を扱うことを目的とする知能的な情報処理システム...

推論処理において,情報処理システムに蓄えられた事実と推論規則推論処理という,問題解決のためのシステムによる情報処理バックトラック制御という,推論処理における機能非決定性処理という,コンピューターの推論...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:48 UTC 版)「一階述語論理」の記事における「形式的証明」の解説命題論理においては、論理公理 (log...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:51 UTC 版)「自然演繹」の記事における「形式的定義」の解説演繹（または証明）は、命題論理のような形式...

< 前の結果 | 次の結果 >