一种逻辑推理机、机器模拟人脑学习和工作的方法及人工智能系统技术方案

本发明专利技术涉及计算机人工智能领域，具体说是一种逻辑推理机、机器模拟人脑学习和工作的方法及人工智能系统，其中逻辑推理机包括语义信息获取模块、判断推理计算模块和智能程序生成、执行模块，语义信息获取模块获取包括主、谓语程序单元的程序语言和类库中对应的逻辑单元，判断推理计算模块对获取的所述主谓语程序单元和对应的逻辑单元进行逻辑判断推理计算，智能程序生成模块根据判断推理计算模块计算的结果生成智能程序，并通过执行模块执行。本发明专利技术以人工的方法将人脑以智能计算和判断来认识客观事物的认知模型和基于认知模型进行逻辑推理的智能机制模拟到计算机系统，实现机器模拟人脑的智力功能进行学习和工作，形成了类脑人工智能系统。

A logical inference machine, a machine simulating human brain learning and working methods, and an artificial intelligent system

The present invention relates to the field of artificial intelligence, in particular to a method of logic inference machine, the machine to simulate the human brain work and learning and artificial intelligence system, the logic inference includes semantic information acquisition module, a judgment module and execution module, calculation program to generate intelligent reasoning, semantic information acquisition module acquires the corresponding logic unit, including the main the program unit of programming language and libraries, judgment and reasoning logic module of the calculation program and get the corresponding predicate unit of logic reasoning calculation, intelligent program into modules according to the judgment result generation calculating module intelligent program, and through the implementation of the module implementation. The invention uses artificial methods of intelligent mechanism of cognitive model of human intelligent calculation and judgment to understand the objective things and logical reasoning based on cognitive model to the computer system, realize the machine to simulate the human brain's intellectual function to study and work, the formation of the brain like artificial intelligence system.

【技术实现步骤摘要】
一种逻辑推理机、机器模拟人脑学习和工作的方法及人工智能系统
本专利技术涉及人工智能领域，具体涉及逻辑推理机、机器模拟人脑学习和工作的方法及人工智能系统。
技术介绍
人工智能的理想目标，是使机器能以类人的方式学习和工作。实现这个目标，需要以人工的方法将人的认知模型和智能机制模拟到计算机，即以类脑方法处理计算机中的数据信息，由于哥德尔定理和图灵机的停机问题所证明的逻辑形式系统和机械计算能力的局限性导致这种类人人工智能的技术至今未能实现。所谓哥德尔定理和图灵机停机问题证明的逻辑局限性就是其定理证明，以“肯定”和“否定”的形式对命题进行逻辑判断的算法是无法形成的。而人脑认知的基本功能就是逻辑判断和推理，并且推理是依赖于判断之后进行计算的。如果判断无算法，则说明人脑基于判断的认知思维是不可计算的；如果不将认知思维形式实现为可计算的逻辑算法，就无法将人的认知模型和智能机制模拟到计算机。因而，解决类脑人工智能的关键，就在于解决将自然语言转换计算机程序语言和如何在程序语言模拟人脑逻辑判断推理的算法问题。针对上述困难，万继华于2006年在《自然辩证研究》发表关于《基因语义性质的哲学和实证考察》的论文，本文档来自技高网...

【技术保护点】
一种逻辑推理机，采用软件或硬件形式，其特征在于：包括语义信息获取模块、判断推理计算模块、智能程序生成模块和智能程序执行模块，所述语义信息获取模块获取包括主、谓语程序单元的程序语言和计算机类库中对应的两个逻辑单元，其中一个逻辑单元对应主语程序单元，另一个逻辑单元对应谓语程序单元；所述判断推理计算模块对获取的所述主、谓语程序单元和对应的两个逻辑单元进行逻辑判断推理计算；所述智能程序生成模块根据逻辑判断推理计算的结果生成可执行的智能程序；所述智能程序执行模块执行该智能程序。

【技术特征摘要】
1.一种逻辑推理机，采用软件或硬件形式，其特征在于：包括语义信息获取模块、判断推理计算模块、智能程序生成模块和智能程序执行模块，所述语义信息获取模块获取包括主、谓语程序单元的程序语言和计算机类库中对应的两个逻辑单元，其中一个逻辑单元对应主语程序单元，另一个逻辑单元对应谓语程序单元；所述判断推理计算模块对获取的所述主、谓语程序单元和对应的两个逻辑单元进行逻辑判断推理计算；所述智能程序生成模块根据逻辑判断推理计算的结果生成可执行的智能程序；所述智能程序执行模块执行该智能程序。2.根据权利要求1所述逻辑推理机，其特征在于：所述判断推理计算模块的计算过程是：第一步，将所述主、谓语程序单元与类库中对应的两个逻辑单元分别比较，产生比较值；第二步，将该比较值与所述主、谓语程序单元的语义性质值进行同或计算，得到为真或为假的可真判定值；第三步，将主、谓语程序单元的上述语义性质值再与所述可真判定值进行同或计算，得到必真判定值；所述智能程序生成模块根据该必真判定值生成所述智能程序。3.根据权利要求2所述逻辑推理机，其特征在于：所述判断推理计算模块的计算过程还包括第四步，计算得到必真判定值后，以该必真判定值为前提条件推理计算出后件，得到推理结论，所述智能程序生成模块根据该推理结论生成所述智能程序。4.根据权利要求2或3所述逻辑推理机，其特征在于：所述第一步为：将所述主、谓语程序单元的字符串代码分别与类库中对应的两个逻辑单元的字符串代码进行比较，比较结果完全相同，产生与所述主、谓语程序单元的语义性质值相同的二进制比较值；比较不完全相同，产生与所述主、谓语程序单元的语义性质值相反的二进制比较值。5.机器利用权利要求1至4中任意一项所述逻辑推理机模拟人脑学习的方法，其包括：（1）建立计算机本体类脑知识库，该本体类脑知识库包括词库、资源库、类库、信息管理库，其中：词库，用于存储以自然语言表示场景或事件的词语及与词语对应的词性；资源库，用于存储上述场景或事件的信息资源；类库，用于存储与自然语言语句的语法成分对应的类基本元素和由类基本元素组成的两个逻辑单元；信息管理库，存储所述类库、资源库和词库三者之间对应关系；（...

【专利技术属性】
技术研发人员：万继华，
申请(专利权)人：湖南本体信息科技研究有限公司，
类型：发明
国别省市：湖南,43