杨莉 刘志敏 李英华 胡守仁 韩静萍 权光日 宋士吉 黄俊恒 施鹏飞 周祥和 杨杰

缺言理论 模态逻辑 人工智能 规则学习 模糊 默认逻辑 知识表示 知识库 惩罚函数 Prolog 知识库推理和维护 模态词 非单调逻辑 Hopfield神经网络 系统 非单调真值维护 多命题推理系统 信念逻辑 不确定性 约束逻辑 实现方法 专家系统 全域假设