论文部分内容阅读
实现人工智能的根本途径是脱离计算机的串行冯·诺依曼体系结构或模拟人类认知活动，机器证明是人工智能的重要研究课题，基于知识的平面几何系统－ＥＵＣＬＩＤ是模拟人类几何专家证明的认识过程的认识系统，其基本思想就是组块式构造知识库，利用优越图进行索引，无回溯失败学习。
人工智能与几何证明
【摘 要】
：
实现人工智能的根本途径是脱离计算机的串行冯·诺依曼体系结构或模拟人类认知活动，机器证明是人工智能的重要研究课题，基于知识的平面几何系统－ＥＵＣＬＩＤ是模拟人类几何专家证明的认
【机 构】
：
呼兰师范专科学校
【出 处】
：
佳木斯大学学报(自然科学版)
【发表日期】
：
1999年1期
其他文献
本文开始向读者解释了何为牵引供电系统,其存在的意义和价值,并强调了该系统对于全局网络的重要性,之后以一种成熟稳定的故障分析模式为切入点,逐条分析阐述了可以提升牵引供
近年来,检察机关在办理高利贷诈骗案件过程中发现了一些新情况、新问题,为此,笔者结合办案实际,在分析高利贷诈骗犯罪案件相关问题的基础上,提出相应的对策和建议。一、新型
以某高速公路项目30米跨径小箱梁桥为依托,利用Midas/Civil有限元分析软件对该跨径不同斜交角度单跨小箱梁桥的受力特性进行分析,得出钝角区支点反力随着斜度的增大而增大,锐
1．绿茶、花茶。宜用盖碗或玻璃杯。1杯90℃的热水，投茶3克，先冲入少许热水作温润泡，后注适量热水，3分钟即可饮用。绿茶、花茶宜在杯中剩余1／3水量时续水，只冲泡3次。
职业教育在西藏发展起步较晚,西藏职业技术学院建立与发展时间较短,在上级党委和主管部门的亲切关怀和大力支持下,取得了辉煌的成就。现在基础教育在学院发展的过程中,发现存
<正>患者男,55岁。因头皮斑块2个月于2013年1月16日来我院就诊。患者于2个月前无明显诱因头顶出现一红色斑块,伴有瘙痒。斑块迅速增大,部分破溃。起病以来,无发热、头痛、恶
期刊
在对产业结构优化升级和金融发展相互作用机理进行分析的基础上,利用VAR模型对山东省产业结构升级与金融发展的相互关系进行实证研究,同时利用面板数据模型对山东省17地市产
从系统科学思想出发,列举分析了物理学诸领域存在目的性的若干物理现象,通过严谨地论证说明处于平衡态,线性非平衡态以及远离平衡态系统均可以具有目的性行为,从而揭示了纯正
本文从公交都市的涵义和考核指标体系出发，结合南宁市公共交通发展现状发现南宁市公共交通发展水平与公交都市之间的差距，进一步提出了南宁应采取的应对措施。
引文分析作为评价科学成果的工具已有长足的历史,对论文的引文分析在业内也被广泛接受,其方法逐渐应用到专利文献,但论文引用与专利引用在动机上有很大的不同。从出版物性质