万中 李业丽 关伟洲 郭一晶 孙铁利 刘叙华 邓智欢 尚颖 张敏 张丽英

约束反驳 C-扩充 迭代修正 解释 相继式 公式行 规则 规划识别 拟合 王浩算法 AGM理论 用户模型 λ—逻辑有效 C-认识进程 布尔算子模糊逻辑 信念修正 扩充 智能用户接口 广义半锁归结 可信度传播 假说 认识进程 机器学习 证据积累 恒真水平 σ-域 证据 基于模型的中心诊断 推演 广义锁子句

厦门大学计算机科学系 福建厦门 东北师范大学 四平师范学院 吉林长春 吉林工业大学交通学院 东北师范大学计算机科学系 中南大学数学科学与计算技术学院