关键词： 命题逻辑   有向无环图   自动定理证明   可满足性   机器学习   算法复杂性   谓词   归纳   代数递归  

摘要： 该文就人工智能中两个重要的领域——命题逻辑的自动定理证明与机器学习——进行了一定程度的探讨.该文提出了基于一类特殊的有向无环图OSTD的命题公式表示、判断命题公式可满足性和通过真值表学习命题公式的方法.在自动定理证明领域,命题公式的可满足性是一个典型的NP—完全问题.该文提出:以OSTD作为命题公式的内部表示形式,采用图的路径搜索来完成定理的证明,公式的可满足性判断,和从真值表中学习命题公式.并证明,上述工作可以在多项式时间内完成.同时,在PC机Windows平台下,用Visual Basic初步实现了该文中提出的方法.进一步地,该文讨论了带有参数的命题,即谓词知识的机器学习.并且具体研究了代数递归谓词的归纳学习.最后指出了今后进一步需要研究的课题.

关键词： Human-computer interaction   Machine learning  

摘要： Intelligent assistant systems provide an adequate organization of human-computer interaction for complex problem solving. These knowledge-based systems are characterized by a cooperative problem-solving procedure. User and system cooperate intensively to produce the aimed result. Machine learning methods can provide significant support for assistant systems. In this article, it is pointed out how assistant systems can be supported in various ways. For instance, machine learning methods can extend, revise, optimize, and adapt the knowledge base of an assistant system. In this way, they can contribute to the utility and maintainability of an intelligent assistant system. They can also increase the flexibility and effectiveness of human-computer interaction. The learning apprentice system COSIMA is presented which acquires knowledge about single problem-solving steps from observation of the user. Production rules for floorplanning, a sub-task of VLSI design, are acquired and refined cooperatively by different learning strategies.

关键词： 机器学习   知识库   人工智能   归纳机器学习   RVPA  

摘要： 为了支持在事实不完全或不充分环境中的有效推理，作者提出了一种归纳机器学习方法，并设计了一个规则向量投影算法，使用木文介绍的算法可对原始知识实行归纳，生成含一系列全新分类概念和推理路经的网络知识库，基于该知识库的机器推理系统，在作出诊断决策时所需事实量可大为减少，因此在信息量不足的情况下仍能具有很高的推理性能．

关键词： 学习率   学习效率   CAD   土木工程  

摘要： 如果CAD系统具有智能,就可以提高设计的质量和效率,缩短设计周期,成为设计者的顾问和助手,但是,专家知识获取困难.解决知识获取的有效途径是建立学习系统.其次知识需要不断地积累.没有学习功能的智能系统,它只是建造时输入的知识,不会发展和创新,面对新情况,将会束手无策.因此,一个系统没有学习知识的能力,就不具备真正的智能.

关键词： 石油化工过程   故障诊断专家系统  

关键词： 智能控制   机器学习  

摘要： 本文介绍了机器学习的两种基本方法:归纳学习和基于解释的学习,在此基础上提出集成化学习方法。最后讨论了机器学习在智能控制中的应用。

关键词： 归纳   机器学习   人工智能  

摘要： 一、引言机器学习是解决计算机获取知识问题的方法。在这项研究中,对人类学习方法的模拟是一条重要的途径,而归纳正是人类学习的重要方式之一。从归纳中获取知识是人类新知识的极其重要的来源,它通过对经验材料的研究,探求新知识。由于一切科学理论的基本前提最初都是从经验事实中总结出来的,而从经验到一般规律的过程中,归纳推理起着不可替代的作用。

关键词： 转岩   分类   数据   预测系统  

摘要： 针对围岩特点,利用分块平均平滑技术,在IBM-PC/XT计算机上开发了实用数据预测系统PDPS。该系统有良好的用户性能,为数据缺项工程的围岩聚类分析提供了手段。

关键词： 求解策略   机器学习   人工智能  

摘要： 在上篇中,我们介绍了SLS 系统的问题求解部分,以及一个产生式语言PLL。现在继续介绍启发式学习算法和SLS 系统的主要模块和实现策略。最后用一个例子来说明学习过程,和学习所得的结果。