基于命题模型集的信念修正描述

？基于命题理论的信念修正是知识工程领域研究的重要内容,agm公设是目前普遍认可的最为基本与直观的信念修正形式系统的假设.分析了命题运算的基本性质以及相关模型基本特点,以基于有穷命题变元的命题逻辑的模型集合为论域,定义了一种模型选择算子,并证明了由该算子导出的基于知识基的信念修正算子满足agm公设.