r-演算:一种信念修正的逻辑 数据库 李未,眭跃飞 编
none
￥ 89.25 6.9折 ￥ 130 全新
库存4件
北京丰台
认证卖家担保交易快速发货售后保障
作者李未,眭跃飞 编
出版社科学出版社
ISBN9787030764102
出版时间2023-10
版次1
装帧平装
开本16
定价130元
货号xhwx_1203097818
上书时间2024-12-29
- 在售商品 暂无
- 平均发货时间 26小时
- 好评率 暂无
![封神演义 彩绘插图典藏版(全2册) 中国古典小说、诗词 [明]许仲琳](https://www0.kfzimg.com/sw/kfz-cos/kfzimg/bfcfabcb/1d190a3b4e185997_s.jpg)
商品详情
- 品相描述：全新
- 正版特价新书
- 商品描述
-
目录：
《r-演算:一种信念修正的逻辑》目录参见目录图
内容简介：
r演算是非单调的gentzen型演绎系统，是一种具体的信念修正算子，被证明满足agm设和dp设。本书是为了扩展r演算（i）从一阶逻辑到命题逻辑，描述逻辑，模态逻辑和逻辑编程；（ii）从小变化语义到子集小变化，伪子公式小变化和基于演绎的小变化（后两个小变化是新定义的）；并针对这些极小值证明合理和完整定理。这些逻辑的变化。为了使r演算可计算，我们在递归理论中给出了使用有限伤害优先级方法的近似r演算。此外，r演算的两个应用被赋予了默认理论和语义继承网络。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价