自動推論
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)
自動推論（じどうすいろん、Automated Reasoning）は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全（あるいはほぼ完全）自動な推論を行うソフトウェアを開発することを目的とする。人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。
- ^ Thomas, C. Hales. “Formal Proof”. University of Pittsburgh. 2010年10月19日閲覧。
- ^ a b “Automated Deduction (AD)”. The Nature of PRL Project. 2010年10月19日閲覧。
- ^ Martin Davis, "The Prehistory and Early History of Automated Deduction," in Automation of Reasoning, eds. Siekmann and Wrightson, vol. 1, 1-28 at p. 15
- ^ “Principia Mathematica”. Stanford University. 2010年10月19日閲覧。
- ^ “The Logic Theorist and its Children”. 2010年10月18日閲覧。
- ^ Shankar, Natarajan. “Little Engines of Proof”. Computer Science Laboratory, SRI International. 2010年10月19日閲覧。
- ^ “The Boyer- Moore Theorem Prover”. 2010年10月23日閲覧。
- ^ Harrison, John. “HOL Light: an overview”. 2010年10月23日閲覧。
- ^ “Introduction to Coq”. 2010年10月23日閲覧。
- ^ “Automated Reasoning”. Stanford Encyclopedia. 2010年10月10日閲覧。
[続きの解説]
自動推論と同じ種類の言葉
固有名詞の分類
- 自動推論のページへのリンク
