作者：刘大有
页数：533
出版社：清华大学出版社
出版日期：2006
ISBN：9787302129837
电子书格式：pdf/epub/txt
内容简介
由国家自然科学基金委员会信息学部主办，吉林大学计算机科学与技术学院、软件学院，教育部符号计算与知识工程重点实验室和吉林省计算机学会承办的“知识科学与计算科学高级研讨会”于2003年8月24日至25日在吉林省长春市召开。本书即是在该研讨会的基础上形成的。本书内容共分为八个部分： 形式语义和程序验证，量子计算，时空知识表示理论，定理证明和自动规划，机器学习和数据分析，Agent技术，因特网和软件工程中的知识表示和处理，生命信息学。本书主要总结、分析了近年来国内外在知识科学研究方面所取得的新进展。本书辑录的所有文章均由相关领域的著名专家撰写，对学术研究有重要的参考价值。
本书适合高校计算机和自动化专业中知识工程和人工智能领域的师生、科研院所及其他机构的工程技术人员和科研人员参考。
目录
序
前言
第一部分形式语义和程序验证
1PN理论
2程序规范与程序验证
第二部分量子计算
3量子计算理论：综述
4量子计算
5两体量子纠缠纯态的相互转换
第三部分时空知识表示理论
6时空信息表示、推理和应用
7空间知识的定性表示与推理
第四部分定理证明和自动规划
8智能规划的研究和应用
9基于表演算的方法与技术
10基于扩展规则的定理证明和知识编译
第五部分机器学习和数据分析
11一种新的基于概率的分类方法
12多示例学习
第六部分Agent技术
13移动Agent技术研究热点分析
14面向Agent的软件工程研究进展
第七部分因特网和软件工程中的知识表示和处理
15语义Web与NKI
16管理不一致的软件需求：研究进展和展望
第八部分生命信息
17图像纹理研究及其人工生命解决方案
18真核生物启动子识别和模糊文法
19基因芯片数据分析综述
前言
第一部分形式语义和程序验证
1PN理论
2程序规范与程序验证
第二部分量子计算
3量子计算理论：综述
4量子计算
5两体量子纠缠纯态的相互转换
第三部分时空知识表示理论
6时空信息表示、推理和应用
7空间知识的定性表示与推理
第四部分定理证明和自动规划
8智能规划的研究和应用
9基于表演算的方法与技术
10基于扩展规则的定理证明和知识编译
第五部分机器学习和数据分析
11一种新的基于概率的分类方法
12多示例学习
第六部分Agent技术
13移动Agent技术研究热点分析
14面向Agent的软件工程研究进展
第七部分因特网和软件工程中的知识表示和处理
15语义Web与NKI
16管理不一致的软件需求：研究进展和展望
第八部分生命信息
17图像纹理研究及其人工生命解决方案
18真核生物启动子识别和模糊文法
19基因芯片数据分析综述
