汪成亮 童頫 程代杰 刘启元 张广泉 张聪 戎玫 邢永康

信度网 数据库 定性诊断推理 语义关系 人工智能 第一原理 共享变量集 选择策略 问题和方法 并行计算 知识模型 极小覆盖 语义联系 循环谓词 无限循环 4元组 Horn子句 关系数据模型 知识库 PROLOG 在线学习 OR并行 子目标 传递依赖 智能回溯 识别算法 演绎数据库 递归 PROLOG程序 系集

重庆大学 重庆大学计算机系 重庆大学计算机以究所 重庆师范学院计算机系 重庆大学自动化学院 重庆大学计算机科学与工程学院