矿山细碎机人工智能的成果

发布时间：2013-01-07 08:44:26     发布人：华冶重工

    矿山细碎机自动推理早期的工作主要集中在机器定理证明。开创性的工作是提出归结原理，把自动推理的研究向前推进了—步。矿山细碎机归结法推理规则简单，而民在逻辑上是完备的，因而矿山细碎机成为逻辑式程序设计语者酌计算模型。后来又出现了自然演绎法和等式重泻式等。这些方法在朵些方向优于归结法，但矿山细碎机本质上都存在组合问题，都受到难解性的制约。aDZ帝国网站管理系统
    从矿山细碎机任何一个实用系统来说，总存在着很多非演绎的部分，因而导致了各种各样推理算法的兴起。并削弱了企图为矿山细碎机人工智能寻找—个统一的基本原理的观念从实际的观点来看，每一种推理算法都遵循其特殊的、与领域相关的策略，并倾向干使用不向的知识共不技术。从另一方面来说、如果能找到一个统的推理理论，当然是很衬用的。矿山细碎机人工智能理论研究的一个很强的推动力就是要设法寻找巫为一般的、统—的椎理算法。aDZ帝国网站管理系统
    矿山细碎机人工智能自动推理研究的成果之一是非郎调逻辑的发明。这是一种伪演绎系统。所渭非单调措理，指的是如果一个正确的矿山细碎机公理加到理论个，反而会使预先所得到的一些结沦变得无效。非单调推理明显地比单调推理复杂。矿山细碎机非单闹推理过程就是建立假设，进行标准逻辑怠义下的推理，特发现不一致，进行间溯，以便消除一致，再建立新的矿山细碎机假设。aDZ帝国网站管理系统

上一篇：破碎机神经网络的基本特点

上一篇：破碎机不确定性理论的推理方法