自动定理证明是人工智能研究领域中的一个非常重要的课题，其任务是对数学中提出的定理或猜想寻找一种证明或反证的方法。因此，智能系统不仅需要具有根据假设进行演绎的能力，而且也需要一定的判定技巧。
出具证明编译器结合了传统编译器、自动定理证明（Automated Theorem Proving）和携带证明代码（Proof-CarryingCode，简称PCC）的技术，在生成汇编代 码的同时提供其满足安全规范的形式化证明，它本身不需要经...
基于588个网页-相关网页
... 机器学习（Machine Learning） 自动定理证明（Automated Mechanical Theory Proving） 自然语言理解（Natural Language Understanding） ...
基于21个网页-相关网页
c++命题公式增值表生成算法研究与程序设计038-精品毕业设计,尽在996设计 关键字】: 自动定理证明，命题公式真值生成，基本真值矩阵 [gap=1281]Keywords】: Automatic theorem proovin
基于6个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
二十世纪七十年代，道格拉斯·莉娜的“自动数学家”程序自动生成数学定理，但是被证明基本上毫无用处。
In the 1970s, Douglas Lenat's Automated Mathematician automatically generated mathematical theorems, but they proved largely useless.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
应用推荐