- 作 者：何华灿，马盈仓主编
- 出 版 社：西安：西北工业大学出版社
- 出版年份：2008
- ISBN：9787561224748
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
10
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一部分 通论 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