计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2009年
9期
34-37,45
,共5页
重言衍推%自动推理%可读证明%证明树%试探法
重言衍推%自動推理%可讀證明%證明樹%試探法
중언연추%자동추리%가독증명%증명수%시탐법
提出针对重言衍推系统的模仿人类思维方式的生成可读证明的算法:试探法.试探法将待证的命题逐步分解成子命题并构造一颗证明树,对重言衍推系统中的定理证明取得了较好的效果.
提齣針對重言衍推繫統的模倣人類思維方式的生成可讀證明的算法:試探法.試探法將待證的命題逐步分解成子命題併構造一顆證明樹,對重言衍推繫統中的定理證明取得瞭較好的效果.
제출침대중언연추계통적모방인류사유방식적생성가독증명적산법:시탐법.시탐법장대증적명제축보분해성자명제병구조일과증명수,대중언연추계통중적정리증명취득료교호적효과.