信息、智能与逻辑（第一卷）
2008-1
西北工业大学出版社
何华灿，马盈仓 主编
280
无
本书是在“首届信息、智能与逻辑高级学术论坛”的基础上编辑而成的。主要由通论和特论两部分组成，通论部分收集了5篇一般性讨论信息、智能与逻辑之间关系的重要文章，特别是提出了信息时代的基本科学问题是信息的结构和运动规律，核心基础理论是逻辑的论断；特论部分收集了5篇具体讨论某个特定逻辑系统的重要文章，特别是探讨了易经逻辑的数学化问题。这10篇文章集中反映了各位作者自己多年的研究心得，见解独特，能引发讨论、启迪思维。相信本书的出版能够在更大的范围内引起学术界对信息时代的基本科学问题和核心基础理论的关心和讨论。 凡具有大专以上文化水平，对信息、智能与逻辑感兴趣的读者均可阅读本书，本书也可供数学、数理逻辑、信息科学、智能科学、认知科学、逻辑学和人文学科方面的专家学者研究参考。
第一部分 通论 探索信息世界的基本运动规律 泛逻辑学研究纲要 机制主义研究方法与人工智能统一理论 辩证思维时代与辩证逻辑 信息的定义、物理基础及其与基本自然规律的本质关系第二部分 特论 从易经逻辑到数理辩证逻辑 弗协调逻辑与人工智能 命题泛逻辑的语构理论研究 复杂系统的柔性逻辑控制方法研究 二层单准Pmlog与两种定理证明器之间的关系第三部分 论坛档案 论坛的特别约稿信和正式邀请信 会议日程表 部分发言要点 协调学与泛逻辑 本体语言及其在计算机科学中的应用 数值逻辑学 基于动态描述逻辑的知识表示和推理 非单调推理的形式刻画——非单调推演 Flexible Interval-valued Logics and Its Algebraic Structure 论意识的层次 自然语言函数对知识、常识的表示与定理证明 论康托对角线法及实数集可数性问题的相对性及相关问题 “强化谎者”悖论的简明消解附录 附录一 部分非标准逻辑与信息科学的关系 附录二 部分泛逻辑学研究成果
第一部分 通论 探索信息世界的基本运动规律 摘要：首先，本文提出了笔者的猜想：信息时代的基本科学问题是信息的结构和运动规律（其中包括传统信息处理和智能信息处理），信息时代的核心基础理论是逻辑；其次，以智能科学为代表论述了信息时代对逻辑学提出的总需求和各种具体需求；最后，用新的研究成果和视角对笔者2001年提出的《泛逻辑学研究纲要》进行了分析，其中包括制定纲要的基本原则、纲要的包容性和可实现性等。 一、引言 2000多年来人们一直通过人的思维过程来认识和研究逻辑，认为逻辑是思维的法则。笔者长期从事计算机科学和人工智能研究，深切感悟到信息和信息处理（即信息运动）中的许多深层次问题都与某种逻辑规律有关（而不是通常的数学规律），如在人的经验知识推理、常识推理和各种认知活动过程中，都存在一些目前还未系统整理出来的逻辑法则。在生物与生物之间的信息交换过程中，甚至在物质和物质之间的信息交换过程中，都发现了逻辑法则存在的迹象。正是这种感悟把笔者一步步带到了逻辑学研究领域。因此笔者的学术思想具有如下鲜明的特性：为研究信息和信息处理的需要而学习逻辑；用信息世界基本法则的观点去理解逻辑；通过计算机软件来研究逻辑。笔者有这样的信念：逻辑是各种信息结构和信息运动（包括人类思维和机器的信息处理及智能）的基本法则。这也是本文立论的大前提。 ……
《信息、智能与逻辑（第1卷）》每个时代都有一个贯穿始终的发展主题、基本科学问题和核心基础理论。材料时代的发展主题是机械工具，基本科学问题是物质的组成成分和化学变化，核心基础理论是化学；能源时代的发展主题是动力工具，基本科学问题是物体的运动和能量转换规律，核心基础理论是物理；信息时代的发展主题是智力工具，它的基本科学问题和核心基础理论是什么？这是“信息、智能与逻辑高级学术论坛”和《信息、智能与逻辑》系列丛书希望能够系统地探索解答的中心问题。 编者认为，创办论坛和编写该系列丛书的主因是：信息时代的基本科学问题是信息的结构和运动规律，核心基础理论是逻辑。相信正在蓬勃发展的逻辑学将为整个信息时代、信息科学（包括智能科学）及智力工具奠定坚实的理论基础。
无