鄂凯 陈孝威 吴健 刘长云 鲁颖 杨明华 张弘

分解匹配和综合 消解原理 必然性 系统半成品 机器学习 定性推理 第二独立性 模糊方法 第一独立性 实体—关系模型 智能化接口 知识表示 不确定性知识 通用专家系统开发工具 制约逻辑 可能性 人工智能语言 定罪和量刑 菜单库 定量推理 由里向外扩展 基于实例的推理和学习 封闭世界假设 安全防范 偶然性 领域专家 核心功能优先 软硬件裁剪 交叉树索引

贵州大学计算机科学系 贵州大学计科系 贵州大学图情系 贵阳市公安局 贵州大学物电系