信息、智能与逻辑

第一部分 通论 探索信息世界的基本运动规律 泛逻辑学研究纲要 机制主义研究方法与人工智能统一理论 辩证思维时代与辩证逻辑 信息的定义、物理基础及其与基本自然规律的本质关系第二部分 特论 从易经逻辑到数理辩证逻辑 弗协调逻辑与人工智能 命题泛逻辑的语构理论研究 复杂系统的柔性逻辑控制方法研究 二层单准Pmlog与两种定理证明器之间的关系第三部分 论坛档案 论坛的特别约稿信和正式邀请信 会议日程表

第一部分 通论 探索信息世界的基本运动规律 泛逻辑学研究纲要 机制主义研究方法与人工智能统一理论 辩证思维时代与辩证逻辑 信息的定义、物理基础及其与基本自然规律的本质关系第二部分 特论 从易经逻辑到数理辩证逻辑 弗协调逻辑与人工智能 命题泛逻辑的语构理论研究 复杂系统的柔性逻辑控制方法研究 二层单准Pmlog与两种定理证明器之间的关系第三部分 论坛档案 论坛的特别约稿信和正式邀请信 会议日程表 部分发言要点 　协调学与泛逻辑 　本体语言及其在计算机科学中的应用 　数值逻辑学 　基于动态描述逻辑的知识表示和推理 　 非单调推理的形式刻画——非单调推演 　Flexible Interval-valued Logics and Its Algebraic Structure 　论意识的层次 　自然语言函数对知识、常识的表示与定理证明 　论康托对角线法及实数集可数性问题的相对性及相关问题 　“强化谎者”悖论的简明消解附录 附录一 部分非标准逻辑与信息科学的关系 附录二 部分泛逻辑学研究成果

本书是在“首届信息、智能与逻辑高级学术论坛”的基础上编辑而成的。主要由通论和特论两部分组成，通论部分收集了5篇一般性讨论信息、智能与逻辑之间关系的重要文章，特别是提出了信息时代的基本科学问题是信息的结构和运动规律，核心基础理论是逻辑的论断；特论部分收集了5篇具体讨论某个特定逻辑系统的重要文章，特别是探讨了易经逻辑的数学化问题。这10篇文章集中反映了各位作者自己多年的研究心得，见解独特，能引发讨论、启迪思维。相信本书的出版能够在更大的范围内引起学术界对信息时代的基本科学问题和核心基础理论的关心和讨论。 凡具有大专以上文化水平，对信息、智能与逻辑感兴趣的读者均可阅读本书，本书也可供数学、数理逻辑、信息科学、智能科学、认知科学、逻辑学和人文学科方面的专家学者研究参考。

每个时代都有一个贯穿始终的发展主题、基本科学问题和核心基础理论。材料时代的发展主题是机械工具，基本科学问题是物质的组成成分和化学变化，核心基础理论是化学；能源时代的发展主题是动力工具，基本科学问题是物体的运动和能量转换规律，核心基础理论是物理；信息时代的发展主题是智力工具，它的基本科学问题和核心基础理论是什么？这是“信息、智能与逻辑高级学术论坛”和《信息、智能与逻辑》系列丛书希望能够系统地探索解答的中心问题。 编者认为，创办论坛和编写该系列丛书的主因是：信息时代的基本科学问题是信息的结构和运动规律，核心基础理论是逻辑。相信正在蓬勃发展的逻辑学将为整个信息时代、信息科学（包括智能科学）及智力工具奠定坚实的理论基础。