
| 每个时代都有一个贯穿始终的发展主题、基本科学问题和核心基础理论。材料时代的发展主题是机械工具,基本科学问题是物质的组成成分和化学变化,核心基础理论是化学;能源时代的发展主题是动力工具,基本科学问题是物体的运动和能量转换规律,核心基础理论是物理;信息时代的发展主题是智力工具,它的基本科学问题和核心基础理论是什么?这是“信息、智能与逻辑高级学术论坛”和《信息、智能与逻辑》系列丛书希望能够系统地探索解答的中心问题。 编者认为,创办论坛和编写该系列丛书的主因是:信息时代的基本科学问题是信息的结构和运动规律,核心基础理论是逻辑。相信正在蓬勃发展的逻辑学将为整个信息时代、信息科学(包括智能科学)及智力工具奠定坚实的理论基础。 |
| 第一部分 通论 探索信息世界的基本运动规律 泛逻辑学研究纲要 机制主义研究方法与人工智能统一理论 辩证思维时代与辩证逻辑 信息的定义、物理基础及其与基本自然规律的本质关系 第二部分 特论 从易经逻辑到数理辩证逻辑 弗协调逻辑与人工智能 命题泛逻辑的语构理论研究 复杂系统的柔性逻辑控制方法研究 二层单准Pmlog与两种定理证明器之间的关系 第三部分 论坛档案 论坛的特别约稿信和正式邀请信 会议日程表 部分发言要点 协调学与泛逻辑 本体语言及其在计算机科学中的应用 数值逻辑学 基于动态描述逻辑的知识表示和推理 非单调推理的形式刻画——非单调推演 Flexible Interval-valued Logics and Its Algebraic Structure 论意识的层次 自然语言函数对知识、常识的表示与定理证明 论康托对角线法及实数集可数性问题的相对性及相关问题 “强化谎者”悖论的简明消解 附录 附录一 部分非标准逻辑与信息科学的关系 附录二 部分泛逻辑学研究成果 |
商品评论(0条)