%0 Journal Article
%T 基于命题模型集的信念修正描述
%A 张晓如
%A 张再跃
%J 江苏科技大学学报(自然科学版)
%D 2008
%X ？基于命题理论的信念修正是知识工程领域研究的重要内容,agm公设是目前普遍认可的最为基本与直观的信念修正形式系统的假设.分析了命题运算的基本性质以及相关模型基本特点,以基于有穷命题变元的命题逻辑的模型集合为论域,定义了一种模型选择算子,并证明了由该算子导出的基于知识基的信念修正算子满足agm公设.
%K 信念修正
%K gm公设
%K 题逻辑
%K 型集
%U http://journal.just.edu.cn/jweb_zkb/CN/abstract/abstract1516.shtml