内容简介
《现代数学基础丛书·典藏版108:非经典数理逻辑与近似推理(第二版)》在第一版的基础上修订再版,全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发,建立了积分语义学理论,为近似推理提供了一种可能的框架;系统论述了Pavelka逻辑并扼要论述了抽象逻辑。此外,《现代数学基础丛书·典藏版108:非经典数理逻辑与近似推理(第二版)》在第一版的基础上增添了模态逻辑、知识推理与描述逻辑的内容。
《现代数学基础丛书·典藏版108:非经典数理逻辑与近似推理(第二版)》可作为计算机专业、自动控制专业的研究生教材,也可供数学及相关专业的高年级本科生、教师、科研人员阅读参考。
内页插图
目录
前言/序言
本书的第二版与第一版相比较,除改正了第一版中的若干笔误和印刷错误之外,主要增添了第9章,即模态逻辑、知识推理与描述逻辑的内容,之所以增添这一章是基于以下考虑:模态逻辑、知识推理与描述逻辑都是具有较广泛的应用背景并且是为人工智能学科所关注的课题,国内虽有介绍这些课题的文章和书籍,但就作者所见到的文献而言,其侧重点似乎不在于严格论证,或者预备知识不足而不便于初学者学习,所以在这方面如果有一部能较为系统的、属于入门而又注重严格逻辑论证的教材自然会使读者受益不少,近几年作者曾应邀先后在四川大学、西南大学、北京大学、湖南大学和上海师范大学等一些地方讲述过这部分内容,效果似乎尚好,所以就萌发了撰写这部分内容的想法。这部分内容显然与逻辑紧密相关,但又不属于经典数理逻辑中四论(公理集合论、模型论、证明论、递归论)的范围,自然也就可以纳入于非经典数理逻辑的范围之中了,作者写完了第9章的内容之后,曾由研究生高荣荣、王茹、段巧林和郭秀敏在讨论班中按顺序报告过,这几位同学以及参加讨论的研究生和访问学者提出了不少好的建议,相应的内容也随即作了修改,特别是博士生李璧镜提出了若干重要的修改意见,她还认真地打印了第9章的原稿和修改稿以及编写和打印了全书的新索引,博士生周红军和折延宏认真地校阅了全部书稿,并纠正了第9章中的几处不严密的论述,在本书第二版出版之际,我对他们的辛勤工作表示感谢。
本书第9章的撰写时间较仓促,内容虽经过几次修改,但由于作者的水平所限,可能还有许多我们未能发现的错误,作者衷心希望各位专家及读者批评指正。
现代数学基础丛书·典藏版108:非经典数理逻辑与近似推理(第二版) 电子书 下载 mobi epub pdf txt