MARC状态：已编 文献类型：中文图书 浏览次数：18
- 题名/责任者:
- R-演算:一种信念修正的逻辑/李未，眭跃飞著
- 出版发行项:
- 北京:科学出版社,2023.10
- ISBN及定价:
- 978-7-03-076410-2/CNY130.00
- 载体形态项:
- 200页;26cm
- 其它题名:
- 一种信念修正的逻辑
- 个人责任者:
- 李未 著
- 个人责任者:
- 眭跃飞 著
- 学科主题:
- 算子演算-英文
- 中图法分类号:
- O177.6
- 提要文摘附注:
- R-演算是一个非单调的Gentzen型演绎系统，是一个具体的信念修正算子，其满足AGm假设和DP假设。这本书是将R-微积分(i)从一阶逻辑到命题逻辑，描述逻辑，模态逻辑和逻辑编程，(ii)从最小变化语义到子集最小变化，伪子公式最小变化和基于演绎的最小变化(最后两个最小变化是新定义的)，并证明关于这些逻辑中的最小变化的健全性和完备性定理。为了使R-微积分可计算，本书给出了一个近似的R-微积分，它在可计算性理论中使用有限损伤优先级方法。此外，本书还给出R-演算在缺省理论和语义继承网络中的两个应用。
- 使用对象附注:
- 算子演算相关专业人员
- 随书光盘:
全部MARC细节信息>>
总馆