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

2002年6月14日前言世界已经进入知识经济的时代，这就要求我们对知识本身进行深入研究，更好地运用知识去推动社会的繁荣与进步。知识科学是以知识处理为研究对象的，包括知识的数学理论、逻辑基础、知识模型、知识挖掘、知识共享等，它是时代发展的必然产物。从20世纪80年代末至今，人工智能（AI）研究在内容和方法论方面经历了一场变革，将AI研究建立在严格的定理或确凿的实验数据之上，AI的应用需要展示与现实世界的相关性，这逐渐成为国际AI领域研究者们的共识。中国科学院陆汝钤院士提出了开展知识科学研究的主张，并指出对知识的研究应该是一门具有坚实理论基础的科学。知识产业、知识科学与知识工程共同构成一个链条上三个不可分割的环节，但知识科学本身是一个大问题，还需进行深入探讨。知识科学的进步将从根本上回答在知识工程中遇到过，但未能很好解决的一系列重大问题。 2003年8月在长春举行的“知识科学与计算科学高级研讨会”的主要目的就是总结、分析国际上近年来在知识科学研究方面所取得的新进展，交流和检阅我国学者在这个领域的研究心得和成就。同时，与会人员建议国家有关部门把开展知识科学研究和推动知识经济发展结合起来，用知识科学的基础理论来指导知识的获取、加工处理、利用和普及知识的工作，并且把这方面的研究作为从国外汲取新知识、为我所用的重要管道，使中华民族的巨舟在人类知识的海洋上乘风破浪驶向前方。 在这次长春研讨会的基础上形成的这本学术著作对有严格数学基础的知识理论初步框架，系统研究知识科学中的关键理论和技术问题进行了有益的探索，这对指导知识工程和知识产业的发展有重大的理论和实际意义。 ...