一种基于机器学习的推理系统的设计与应用

The Application of Predicate Reasoning and Verification System for Machine Learning

通用推理和验证系统利用正则匹配算法并引入机器学习算法,实现了智能化形式推理和验证平台,为构建智能系统提供了基本推理模型.将该系统应用于特定领域是重要的应用目标.通过扩充领域推理规则,该平台能够自动检查复杂的应用领域推理过程的完善性和正确性,为特定领域的推理提供了重要的自动检查手段.

The general reasoning and verification system realizes the intelligent formal reasoning and verification platform by using the regular matching algorithm and the machine learning algorithm, and provides a basic reasoning model for building intelligent system. The application of the system to a specific field is an important goal for the realization of this system. By extending the rule of domain reasoning, the platform can automatically check the perfection and correctness of the reasoning process in complex application fields, and provide an important means of checking for the scientitifity of reasoning.