MARC状态：订购 文献类型：中文图书 浏览次数：9
- 题名/责任者:
- R-Calculus:A logic of belief revision/Wei li ·Yuefei Sui
- 版本说明:
- 英文版
- 出版发行项:
- 北京:科学出版社,2023.9
- ISBN及定价:
- 978-7-03-076410-2 精装/CNY130.00
- 载体形态项:
- 200页;25cm
- 并列正题名:
- R-演算:一种信念修正的逻辑
- 其它题名:
- Logic of belief revision
- 个人责任者:
- 李未 著
- 个人责任者:
- 眭跃飞 著
- 学科主题:
- 算子演算-英文
- 中图法分类号:
- O177.6
- 责任者附注:
- 责任者Wei li规范汉译姓名: 李未; 责任者Yuefei Sui规范汉译姓名: 眭跃飞
- 提要文摘附注:
- 本书将R-微积分 (i) 从一阶逻辑到命题逻辑, 描述逻辑, 模态逻辑和逻辑编程; (ii) 从最小变化语义到子集最小变化, 伪子公式最小变化和基于演绎的最小变化 (最后两个最小变化是新定义的), 并证明关于这些逻辑中的最小变化的健全性和完备性定理。为了使R-微积分可计算, 本书给出了一个近似的R-微积分, 它在可计算性理论中使用有限损伤优先级方法。此外, 本书还给出R-演算在缺省理论和语义继承网络中的两个应用。
- 使用对象附注:
- 本书适用于算子演算研究人员
全部MARC细节信息>>