论文部分内容阅读
给出了命题逻辑上信念修正的两种可操作的完全方法。首先对R－演算的规则进行了修改，使得对任何一个极大协调的子集都通过这组规则得到。然后，给出了求得所有的极小不协调子集的一组规则。最后，给出一个过程，该过程能求得所有的极大协调子集，因为这两种方法都能求得所有的极大协调子集，所以把它们称为完全的。
信念修正的完全和可操作的方法
【摘 要】
：
给出了命题逻辑上信念修正的两种可操作的完全方法。首先对R－演算的规则进行了修改，使得对任何一个极大协调的子集都通过这组规则得到。然后，给出了求得所有的极小不协调子集的
【机 构】
：
北京航空航天大学计算机科学与工程系,中国科学院软件研究所
【出 处】
：
软件学报
【发表日期】
：
2002年1期
【基金项目】
：
国家自然科学基金资助项目(60033020,60103020),,中国博士后科学基金资助项目~~
其他文献
数据仓库信息量的飞速膨胀对数据仓库提出了巨大挑战.如何提高Web环境下数据仓库的查询效率成为数据仓库研究领域重要的研究问题.对Web数据仓库的体系结构和查询方法进行了研