王莹 韩光东 雷红轩 孟令江 钟沃坚 卢天寿 傅丽 宋飏 覃学东

数据库 三段论 智能翻译 知识表达 建筑工程设计 知识获取 蕴含 知识库 P∧Q■P规则 人机接口 语言知识库 专家系统 次BL代数 剩余格 Hilbert代数 模糊技术 弱Hilbert代数 伴随对 解释机制 联想·类比系统 人工智能 知识处理