程虎 李德毅 王文敏 郭福顺 刘东波 高全泉 陈桂明 汪浩 郑守淇

人工智能应用 知识表示 面向对象式程序设计 属性谓词 并发产生式系统 抽象模型 消息传递 知识库 出射弧 初步设想 程序环境 PROLOG语言 产生式规则 子目标 专家系统 程序设计语言 Prolog实现 入射弧 结点 知识程序设计 推理机制 谓词 PROLOG 演绎数据库 临时数据库 模糊推理 专家系统开发工具 转移网 智能机 状态转移