| 词条 | 知识科学中的基本问题研究 |
| 释义 | 基本信息出版社: 清华大学出版社; 第1版 (2006年10月1日) 丛书名: 中国计算机学会学术著作丛书/知识科学系列平装: 533页 开本: 16开 ISBN: 7302129835 条形码: 9787302129837 产品尺寸及重量: 23 x 18.5 x 2.7 cm ; 880 g ASIN: B0011CF0CY 内容简介由国家自然科学基金委员会信息学部主办，吉林大学计算机科学与技术学院、软件学院，教育部符号计算与知识工程重点实验室和吉林省计算机学会承办的“知识科学与计算科学高级研讨会”于2003年8月24日至25日在吉林省长春市召开。本书即是在该研讨会的基础上形成的。本书内容共分为八个部分： 形式语义和程序验证，量子计算，时空知识表示理论，定理证明和自动规划，机器学习和数据分析，Agent技术，因特网和软件工程中的知识表示和处理，生命信息学。本书主要总结、分析了近年来国内外在知识科学研究方面所取得的新进展。本书辑录的所有文章均由相关领域的著名专家撰写，对学术研究有重要的参考价值。 目录序 前言 第一部分 形式语义和程序验证 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 基因芯片数据分析综述 参考文献 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。