当前位置:首页 > 数理化
信息、智能与逻辑:第1卷
信息、智能与逻辑:第1卷

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

数理化

  • 电子书积分:11 积分如何计算积分?
  • 作 者:何华灿,马盈仓主编
  • 出 版 社:西安:西北工业大学出版社
  • 出版年份:2008
  • ISBN:9787561224748
  • 页数:280 页
图书介绍:本书是在“首届信息、智能与逻辑高级学术论坛”讨论成果的基础上重新写作编辑而成的。全书分为通论、特论、论坛档案三大部分,收集了10篇信息、智能与逻辑的重要文章以及本次论坛的有关文件资料。
《信息、智能与逻辑:第1卷》目录

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

相关图书
作者其它书籍
返回顶部