|
题名:
|
R-calculus:a logic of belief revision / 李未, 眭跃飞著 , |
|
ISBN:
|
978-7-03-076410-2 价格： CNY130.00 |
|
语种:
|
eng |
|
载体形态:
|
198页 23cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2023 |
|
内容提要:
|
R-演算是一个非单调的 Gentzen 型演绎系统，是一个具体的信念修正算子，其满足AGM假设和DP假设。这本书是将 R-微积分(i)从一阶逻辑到命题逻辑，描述逻辑，模态逻辑和逻辑编程; (ii)从最小变化语义到子集最小变化，伪子公式最小变化和基于演绎的最小变化(最后两个最小变化是新定义的) ，并证明关于这些逻辑中的最小变化的健全性和完备性定理。为了使 R-微积分可计算，本书给出了一个近似的R-微积分，它在可计算性理论中使用有限损伤优先级方法。此外，本书还给出R-演算在缺省理论和语义继承网络中的两个应用。 |
|
主题词:
|
算子演算 英文 |
|
中图分类法:
|
O177.6 版次： 5 |
|
主要责任者:
|
李未 著 |
|
主要责任者:
|
眭跃飞 著 |