bn:02248404n
Noun Concept
Categories: 人工知能, 自動推論, 自動定理証明, 数学に関する記事, 形式手法
JA
自動推論
JA
自動推論(じどうすいろん、Automated Reasoning)は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全(あるいはほぼ完全)自動な推論を行うソフトウェアを開発することを目的とする。 Wikipedia
Definitions
Relations
Sources
JA
自動推論(じどうすいろん、Automated Reasoning)は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全(あるいはほぼ完全)自動な推論を行うソフトウェアを開発することを目的とする。 Wikipedia
Wikipedia
Wikidata