本书内容共分为八个部分：形式语义和程序验证，量子计算，时空知识表示理论，定理证明和自动规划，机器学习和数据分析，Agent技术，因特网和软件工程中的知识表示和处理，生命信息学。本书主要总结、分析了近年来国内外在知识科学研究方面所取得的新进展，对学术研究有重要的参考价值。

本书适合高校计算机和自动化专业中知识工程和人工智能领域的师生、科研院所及其他机构的工程技术人员和科研人员参考。

由国家自然科学基金委员会信息学部主办，吉林大学计算机科学与技术学院、软件学院，教育部符号计算与知识工程重点实验室和吉林省计算机学会承办的“知识科学与计算科学高级研讨会”于2003年8月24日至25日在吉林省长春市召开。本书即是在该研讨会的基础上形成的。本书内容共分为八个部分：形式语义和程序验证，量子计算，时空知识表示理论，定理证明和自动规划，机器学习和数据分析，Agent技术，因特网和软件工程中的知识表示和处理，生命信息学。本书主要总结、分析了近年来国内外在知识科学研究方面所取得的新进展。本书辑录的所有文章均由相关领域的著名专家撰写，对学术研究有重要的参考价值。

本书适合高校计算机和自动化专业中知识工程和人工智能领域的师生、科研院所及其他机构的工程技术人员和科研人员参考。

序

前言

第一部分 形式语义和程序验证

1 PN理论

2 程序规范与程序验证

第二部分 量子计算

3 量子计算理论：综述

4 量子计算

5 两体量子纠缠纯态的相互转换

第三部分 时空知识表示理论

6 时空信息表示、推理和应用

7 空间知识的定性表示与推理

第四部分 定理证明和自动规划

8 智能规划的研究和应用

9 基于表演算的方法与技术

10 基于扩展规则的定理证明和知识编译

第五部分 机器学习和数据分析

11 一种新的基于概率的分类方法

12 多示例学习

第六部分 Agent技术

13 移动Agent技术研究热点分析

14 面向Agent的软件工程研究进展

第七部分 因特网和软件工程中的知识表示和处理

15 语义Web与NKI

16 管理不一致的软件需求：研究进展和展望

第八部分 生命信息

17 图像纹理研究及其人工生命解决方案

18 真核生物启动子识别和模糊文法

19 基因芯片数据分析综述