您的位置： 专家智库 > >

陈进才

作品数：3 被引量：0H指数：0
供职机构：西安公路学院更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇理学

主题

  • 3篇人工智能
  • 1篇定理
  • 1篇定理证明
  • 1篇子句
  • 1篇自动化
  • 1篇模糊逻辑
  • 1篇HORN子句

机构

  • 3篇西安公路学院

作者

  • 3篇陈进才
  • 3篇何运

传媒

  • 3篇西安公路学院...

年份

  • 1篇1992
  • 1篇1990
  • 1篇1989
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
推广的算子模糊逻辑及其性质
1992年
本文针对改进的模糊逻辑系统及其结合算子格、α-解释和λα-恒设的概念,本文进一步引进Ⅰ—型算子格、Ⅱ—型算子格、Ⅲ—型算子格、典型算子格及标准算子格的概念,使建立在这些新概念基础上的算子模糊逻辑系统成为原系统的扩充.同时,给出并证明了一些在算子模糊逻辑系统中比原系统更一般的结果.
陈进才何运
关键词：人工智能模糊逻辑
两个改进的格的定理证明系统
1990年
该文运用Robinson的归结原理,分别用Prolog与Lisp实现了两个格上的定理证明系统——TPSL1和MTPSL2。其中,TPSL1采用深度优先、从左到右的输入搜索策略,证明格上基于Horn子句集的定理;MTPSL_2分为两部分:①利用Chang的单位归结通用证明程序,证明格上基于Horn集的定理;②利用MOL—归结,并采用深度优先及删除与半最小文字的启发策略的通用证明程序,证明格上基于非Horn集的定理。同时,给出了有关算法的完备性定理与相容性定理。
陈进才何运
关键词：HORN子句人工智能
自动化定理证明的发展与现状
1989年
该文旨在扼要介绍自动化定理证明(ATP)的发展历史与现状。其中,阐述了 ATP 的理论基础、基本原理和研究方向,列举了部分定理证明系统的主要功能和特征,并介绍了在此领域一些主要人物的基本思想和方法。同时,也对四色问题与初等几何定理证明作了简单的讨论。最后,简单介绍了作者在 IBM—PC 机上实现的“格上的定理证明系统—TPSL”,并给出有关程序与算例。
何运陈进才
关键词：人工智能自动化定理证明
全选 清除 导出
共1页<1>
聚类工具0