知识科学中的基本问题研究/知识科学系列/中国计算机学会学术著作丛书
在哪儿买 · · · · · ·
简介 · · · · · ·
本书适合高校计算机和自动化专业中知识工程和人工智能领域的师生、科研院所及其他机构的工程技术人员和科研人员参考。
被分享的评论 · · · · · ·
目录 · · · · · ·
前言
第一部分 形式语义和程序验证
1 PN机理论
1.1 并发现象的起源
1.2 并发系统的典型模型
1.3 三种模型的比较
1.4 PN机模型
1.5 PN机性质
1.6 PN机应用
参考文献
2 程序规范与程序验证
2.1 Hoare程序规范
2.2 Dijkstra规范
2.3 模型检验与计算树逻辑
2.4 计算树逻辑的语义
2.5 多Agents系统与多模态逻辑
参考文献
第二部分 量子计算
3 量子计算理论：综述
3.1 引言
3.2 量子自动机理论
3.3 量子形式语言理论
3.4 量子可计算性理论
3.5 量子计算复杂性理论
3.6 量子算法设计技术
参考文献
4 量子计算
4.1 背景
4.2 量子比特
4.3 简单量子门
4.4 量子算法
4.5 量子复杂性
4.6 结论
参考文献
5 两体量子纠缠纯态的相互转换
5.1 引言
5.2 预备知识
5.3 LOCC下的两体纠缠转换
5.4 纠缠辅助下的LOCC
5.5 多拷贝纠缠转换
5.6 纠缠辅助转换和多拷贝转换的关系
5.7 总结
参考文献
第三部分 时空知识表示理论
6 时空信息表示、推理和应用
……
7 空间知识的定性表示与推理
第四部分 定理证明和自动规划
8 智能规划的研究和应用
9 基于表演算的方法与技术
10 基于扩展规则的定理证明和知识编译
第五部分 机器学习和数据分析
11 一种新的基于概率的分类方法
12 多示例学习
第六部分 Agent技术
13 移动Agent技术研究热点分析
14 面向Agent的软件工程研究进展
第七部分 因特网和软件工程中的知识表示和处理
15 语义Web与NKI
16 管理不一致的软件需求：研究进展和展望
第八部分 生命信息学
17 图像纹理研究及其人工生命解决方案
18 真核生物启动子识别和模糊文法
19 基因芯片数据分析综述
参考文献
