《面向对象空间逻辑》是2009年西北工业大学出版社出版的图书,作者是毛明毅,陈志成,何华灿。
基本介绍
- 书名:面向对象空间逻辑
- 作者:毛明毅,陈志成,何华灿
- ISBN:9787561226469
- 类别:图书 > 计算机与网际网路 > 计算机理论、基础知识
- 页数:200
- 出版社:西北工业大学出版社
- 出版时间:2009-08-01
- 装帧:平装
- 开本:16开
内容简介
《面向对象空间逻辑》适用于大专以上文化水平,对逻辑学、数学、计算机、信息处理等感兴趣的读者,也可供相关研究方向的专家学者、青年教师以及高年级本科生和研究生参考。逻辑是思维的运算法则,泛逻辑是研究逻辑自身体系结构与运算规律的逻辑。面向对象空间逻辑是在泛逻辑的基础上,引进了“面向对象”和“广义空间”的概念,把基于形式命题的推理髮展成为基于命题对象的推理,建立了基于任意区间[a,b]上的可推理的逻辑体系。《面向对象空间逻辑》重点介绍了面向对象空间逻辑的基本概念、运算模型、推理规则以及套用形式。
作者简介
毛明毅,1974年生,女,江西南昌人。西北工业大学博士毕业,现为北京工商大学教师。主持或参与多项国家级、省部级以及横向课题,发表论文40余篇。研究方向是人工智慧与逻辑推理、信息管理与计算机网路。
陈志成,1973年生,男,四川渠县人。清华大学计算机科学与技术系博士后出站。主持或参与多项国家级、省部级以及横向课题,发表论文40余篇。研究方向是人工智慧与软体工程、作业系统与构件技术。
何华灿,1938年生,男,湖北江陵人。西北工业大学教授、博士生导师,中国人工智慧学会副理事长。主持多项国家级、省部级以及横向课题,出版专着《人工智慧导论》《泛逻辑学原理》和《信息、智慧型与逻辑》,发表论文160余篇..研究方向是计算机科学理论、人工智慧基础与泛逻辑学。
目录
第1章 绪论
1.1 逻辑学的研究与发展
1.2 面向对象的发展与套用
1.3 研究的内容与特点
1.4 本章小结
第2章 逻辑基础与OSLOM
2.1 泛逻辑的相关性
2.2 泛逻辑运算模型
2.3 面向对象空间逻辑运算模型的提出
2.4 本章小结
第3章 面向对象空间逻辑分析
3.1 面向对象空间逻辑的必要性
3.2 面向对象空间逻辑的概念
3.3 面向对象的逻辑系统分析
3.4 本章小结
第4章 面向对象空间逻辑运算模型
4.1 逻辑推理中的相关性
4.2 面向对象空间逻辑运算模型
4.3 面向对象空间逻辑运算的实现方法
4.4 OSLOM套用示範
4.5 本章小结
第5章 面向对象广义推理规则
5.1 广义连线词的生成规则
5.2 面向对象的广义推理规则
5.3 面向对象的信任逻辑推理规则
5.4 本章小结
第6章 广义连线词运算模型
6.1 广义NTS範数的一般原理
6.2 範数完整簇与连线词运算
6.3 广义连线词的运算模型
6.4 本章小结
第7章 逻辑神经元封装模型
7.1 逻辑神经元研究现状
7.2 对象封装与逻辑神经元
7.3 连线词的逻辑神经元模型
7.4 关于广义神经元的分析
7.5 本章小结
第8章 面向对象空间逻辑的套用
8.1 面向对象空间逻辑套用形式
8.2 分形图像的空间逻辑运算
8.3 分形图像中OSLOM套用
8.4 本章小结
第9章 总结与方向
9.1 研究工作总结
9.2 今后研究方向
参考文献
前言
逻辑是思维的法则,是人类认识世界和改造世界的準绳和工具,是一切学说和理论中关于判断和推理规律的提炼和抽象,它被套用于自然科学、社会科学的方方面面。作为一种推理与判断的工具,逻辑学是人类研究的永恆主题。尤其是20世纪末以来,随着对複杂系统研究的深入以及自动化推理的客观需要,人们一直在探求各种适合複杂系统推理的逻辑。
利用面向对象的观点来看待事物,世间万物都可以描述为对象。複杂系统包含若干複杂对象,逻辑系统也可以看成是一种对象。面向对象的思想来自对数据类型的抽象,它从问题域中客观存在的事物出发来构造系统,用对象作为对这些事物的抽象表示,并以此作为系统的基本单位。面向对象的思想、方法和技术已经被广泛套用于各个学科领域。