安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

R-演算:一种信念修正的逻辑/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-演算在缺省理论和语义继承网络中的两个应用。

使用对象附注:

本书适用于算子演算研究人员

豆瓣简介：