知识科学中的基本问题研究

知识科学中的基本问题研究 内容提要

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

知识科学中的基本问题研究 目录

序Ⅲ

前言Ⅴ

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

1PN机理论 蒋昌俊3
1.1并发现象的起源3
1.2并发系统的典型模型3
1.2.1Petri网3
1.2.2通信顺序进程4
1.2.3通信演算系统4
1.3三种模型的比较5
1.4PN机模型5
1.5PN机性质6
1.6PN机应用6
1.6.1在并行程序验证中的应用6
1.6.2在系统分解验证中的应用9
1.6.3在加工系统设计与验证中的应用11
参考文献13

2程序规范与程序验证 陈仪香15
2.1Hoare程序规范17
2.2Dijkstra规范20
2.3模型检验与计算树逻辑22
2.4计算树逻辑的语义26
2.5多Agents系统与多模态逻辑29
参考文献31

第二部分量 子 计 算

3量子计算理论： 综述 程伟 王珏37
3.1引言37
3.2量子自动机理论40
3.2.1量子有限自动机理论41
3.2.2量子下推自动机理论45
3.2.3量子图灵机理论48
3.3量子形式语言理论51
3.4量子可计算性理论54
3.4.1量子有限自动机的可判定性和不可判定性问题54
3.4.2突破Church-Turing论题的限制55
3.4.3讨论56
3.5量子计算复杂性理论57
3.5.1量子NP问题57
3.5.2量子时间复杂性类58
3.5.3量子空间复杂

· 定性推理方法

· 心脑计算举要

· 知识科学与计算科学

· 面向对象的系统设计

· 定性推理方法

· 神经网络及其应用

· 计算几何——算法分析与设计（第2版）

· 非经典关系数据库理论（中国计算机学会学术著作丛书）

· 数据结构学习指导与习题解析

· 知识科学中的基本问题研究

· 数据结构