第一部分 通论 3
探索信息世界的基本运动规律&何华灿 3
泛逻辑学研究纲要&何华灿 57
机制主义研究方法与人工智能统一理论&钟义信 91
辩证思维时代与辩证逻辑&马佩 107
信息的定义、物理基础及其与基本自然规律的本质关系&沈卫国 135
第二部分 特论 149
从易经逻辑到数理辩证逻辑&赵总宽 149
弗协调逻辑与人工智能&杨武金 169
命题泛逻辑的语构理论研究&马盈仓何华灿 177
复杂系统的柔性逻辑控制方法研究&付利华何华灿 218
二层单准Prolog与两种定理证明器之间的关系&周训伟 鲍泓 233
第三部分 论坛档案 243
论坛的特别约稿信和正式邀请信 243
会议日程表 245
部分发言要点 249
协调学与泛逻辑&涂序彦万映红 249
本体语言及其在计算机科学中的应用&李廉 249
数值逻辑学&王国俊 250
基于动态描述逻辑的知识表示和推理&史忠植 常亮 250
非单调推理的形式刻画——非单调推演&周北海 251
Flexible Interval-valued Logics and Its Algebraic Structure&薛占熬 251
论意识的层次&赵川 252
自然语言函数对知识、常识的表示与定理证明&付连奎 252
论康托对角线法及实数集可数性问题的相对性及相关问题&沈卫国 253
“强化谎者”悖论的简明消解&黄展骥 253
附录 257
附录一 部分非标准逻辑与信息科学的关系 257
附录二 部分泛逻辑学研究成果 262