严隽永 金芝 王朴 杨莉 黄志毅 余少波 杜铁塔 罗莉 张晨曦 王意洁

逻辑语言 存储能力 面向对象数据库 模拟 多处理机 知识获取 代价函数 恢复 逻辑程序设计 知识库调试 连续系统仿真 编译 数据相关性 Occam 并行计算机 非单调推理 模型 查询处理 数据划分 知识库推理和维护 Herbrand解释 人工智能 异步 缺言理论 知识求精 神经网络硬件 计算能力 仿真语言 并行执行 Prolog

国防科技大学电子计算机系 国防科技大学计算机系 国防科技大学并行与分布处理国家重点实验室 长沙国防科技大学计算机学院