机读格式显示(MARC)

• 000 01202nam0 2200265 450

• 001 0000613785

• 005 20241025162700.0

• 010 __ |a 978-7-03-076410-2 |d CNY130.00

• 092 __ |a CN |b 人天1097-2557

• 100 __ |a 20231012d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a R-演算 |A R- Yan Suan |b 专著 |e 一种信念修正的逻辑 |e 英文 |f 李未，眭跃飞著

• 210 __ |a 北京 |c 科学出版社 |d 2023.10

• 215 __ |a 200页 |d 26cm

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

• 333 __ |a 算子演算相关专业人员

• 517 1_ |a 一种信念修正的逻辑

• 606 0_ |a 算子演算 |A Suan Zi Yan Suan |j 英文

• 690 __ |a O177.6 |v 5

• 701 _0 |a 李未 |A Li Wei |4 著

• 701 _0 |a 眭跃飞 |A Sui Yue Fei |4 著

• 801 _0 |a CN |b 人天书店 |c 20231018