R-演算:一种信念修正的逻辑

全新正版极速发货

83.76 6.4折 130 全新

库存4件

广东广州

认证卖家担保交易快速发货售后保障

作者李未,眭跃飞编

出版社科学出版社

ISBN9787030764102

出版时间2023-10

装帧精装

开本16开

定价130元

货号1203097818

上书时间2024-08-07

已实名已认证进店收藏店铺

商品描述: 目录
《R-演算:一种信念修正的逻辑》目录参见目录图

内容摘要
R-演算是非单调的Gentzen型演绎系统，是一种具体的信念修正算子，被证明满足AGM假设和DP假设。本书是为了扩展R演算（i）从一阶逻辑到命题逻辑，描述逻辑，模态逻辑和逻辑编程；（ii）从最小变化语义到子集最小变化，伪子公式最小变化和基于演绎的最小变化（最后两个最小变化是新定义的）；并针对这些极小值证明合理性和完整性定理。这些逻辑的变化。为了使R-演算可计算，我们在递归理论中给出了使用有限伤害优先级方法的近似R-演算。此外，R演算的两个应用被赋予了默认理论和语义继承网络。

— 没有更多了 —