1．2选题的背景、研究目标及研究意义 1．2．1选题的背景 自动推理（Automated Reasoning）是一门在给定知识及有关推理策略的前提下， 研究用计算机帮助人们进行推理的学科。
基于2408个网页-相关网页
One of the extension of Automated Theory Proving(ATP)—Automated Reasoning (AR) is basis work of AI.
自动定理证明的扩展之一:自动推理,是人工智能研究的基础工作。
参考来源 - Tableau基础理论及应用研究Additionally, a group of transformation rules are defined to convert the scenical structure of knowledge into the calculus in first-order predicate logic and makes it possbile to reason by the approaches of auto-reasoning.
同时也定义了将场景知识结构转换为一阶谓词逻辑表达式的转换规则,为使用自动推理的方法进行语义判断提供了基础。
参考来源 - 基于场景化知识表示的自然语言处理及其在自动文本校对中的应用We often encounter the problems of solvability of equations on lattice implication algebra in the process of researching on uncertainty reasoning and automated reasoning.
在对不确定性推理和自动推理进行研究的过程中往往会遇到格蕴涵代数中方程的可解性问题。
参考来源 - 关于格蕴涵代数方程的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
以谓词的形式实时记录设计全过程，为后续自动推理模块提供接口。
Record the whole design process with predicts, supplying interfaces to automatic deduction module.
为了实现过程状态模型的智能输出，运用人工神经网络实现自动推理的功能；
In order to achieve intelligent process state model output, the use of artificial neural networks for automatic reasoning capabilities.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and modification.
应用推荐