假说中自顶向下的定量处理方法
本文根据知识本身的可信度,对假说中的知识进行分层,并结合典型的修正方法和非修正方法各自的特点,提出了自顶向下的定量处理方法,该方法计算时相对直观;同时与AGM理论进行比较,证明了其满足AGM理论,表明该方法是一种性质良好的信念修正方法.
信念修正 AGM理论 逻辑推理 定量
郭一晶 张丽丽 邓智欢
厦门大学计算机系,厦门,361005 厦门大学软件学院,厦门,361005
国内会议
深圳
中文
127-130
2005-04-16(万方平台首次上网日期,不代表论文的发表时间)