信息、智能与逻辑：第1卷PDF电子书下载

第一部分 通论 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