R-演算 : 一种信念修正的逻辑-O 数理科学和化学-北京天启书苑文化传媒有限公司

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

ISBN：9787030764102

价格：108

副题名：

分辑号：

分辑名：

主要著作者：李未,眭跃飞著

发行地：北京

出版社：科学出版社

出版日期：2023.9

页码：页

开本：23cm

丛书项：

一般性附注：

读者对象：

主题词：算子演算

中图法分类：O177.6

装帧：

版次：

图表：

语种：eng

R-演算是一个非单调的 Gentzen 型演绎系统，是一个具体的信念修正算子，其满足AGM假设和DP假设。这本书是将 R-微积分(i)从一阶逻辑到命题逻辑，描述逻辑，模态逻辑和逻辑编程; (ii)从最小变化语义到子集最小变化，伪子公式最小变化和基于演绎的最小变化(最后两个最小变化是新定义的) ，并证明关于这些逻辑中的最小变化的健全性和完备性定理。为了使 R-微积分可计算，本书给出了一个近似的R-微积分，它在可计算性理论中使用有限损伤优先级方法。此外，本书还给出R-演算在缺省理论和语义继承网络中的两个应用。

推购系统

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

推购系统

联系我们