[PR]ｺﾐｯｸwikipediaのｵｽｽﾒｻｲﾄ

自動定理証明とは？

出典: ﾌﾘｰ百科事典『ｳｨｷﾍﾟﾃﾞｨｱ(Wikipedia)』

自動定理証明(Automated Theorem Proving､ATP)とは､自動推論(AR) の中でも最も成功している分野であり､ｺﾝﾋﾟｭｰﾀﾌﾟﾛｸﾞﾗﾑによって数学的定理に対する証明を発見すること｡ﾍﾞｰｽとなる論理によって､定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である｡

• 1 概要
• 2 一階述語論理の定理証明
• 3 主な技法
• 4 実装例
• 5 関連著名人
• 6 参考文献
• 7 関連項目

「自動定理証明」のｽﾚｯﾄﾞを作成する
◆このﾍﾟｰｼﾞを
友達に教える
URLをコピー

ｱﾎﾞﾘｼﾞﾆ / ﾃﾞｲﾓﾝ･ｽﾀｳﾀﾞﾏｲｱｰ / ｷﾞﾌﾞｿﾝ砂漠 / ｵﾋﾞｴﾄﾞ / 近藤鉄雄 / ﾛｲ_(護衛空母) / ﾋｹﾞとﾎﾞｲﾝ_(ｱﾙﾊﾞﾑ) / ｸﾗｳﾃﾞｨｱ･ｶﾙﾃﾞｨﾅｰﾚ / 体育 / ｱﾝｿﾆｰ･ｷｰﾃﾞｨｽ

漫画&ｺﾐｯｸの情報GET
(C)ｺﾐｯｸWiki.