董东 吕蓬 胡晶 赵明华 马志永 庞飞 唐文彦

专家系统 近似推理 逻辑学 近似匹配 不确定性 优化策略 人工智能 审计专家经验 ε-匹配 模糊逻辑 建模 活动图 推理优化 数理逻辑 λ-匹配 非单调逻辑 统一建模语言

河北师范大学数学与信息科学学院 河北省审计厅 河北大学电子系 华北电力学院 河北广播电视大学基础部 河北大学承德医学院 河北大学电子与信息工程系