知识科学中的基本问题研究
- 所属分类:
高职高专计..
- 作者:
刘大有 主编
- 出版社:
清华大学出版社
- ISBN:9787302129837
- 出版日期:2006-10-1
- 原价:
¥68.00元
现价:¥51.70元
图书简介
由国家自然科学基金委员会信息学部主办,吉林大学计算机科学与技术学院、软件学院,教育部符号计算与知识工程重点实验室和吉林省计算机学会承办的“知识科学与计算科学高级研讨会”于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 基因芯片数据分析综述
参考文献
同类热销图书
书名 | 作者 | 出版社 | 价格 | 购买 |
Office 2007办公软件应用教程:工作任务汇编 | 陈静,张爽.. | 化学工业出版社 | ¥49.00¥39.20 |
详情 |
跟我动手学 S7-300/400PLC(附DVD) | 廖常初 主.. | 机械工业出版社 | ¥32.00¥24.50 |
详情 |
Jewel CAD珠宝设计实用教程(第2版) | 王晨旭,刘.. | 人民邮电出版社 | ¥68.00¥54.40 |
详情 |
优秀动漫游系列教材--游戏制作人生存手册 | (英)爱尔.. | 中国科学技术出版.. | ¥59.00¥39.60 |
详情 |
现代办公自动化教程(Microsoft Office Specialist 2010 .. | 靳广斌 主.. | 中国人民大学出版.. | ¥35.00¥28.00 |
详情 |
VB6.0 程序设计实训教程——21世纪高高专规划教材 | 杨克玉 主.. | 机械工业出版社 | ¥22.00¥16.50 |
详情 |
Windows Server 2003网络管理(21世纪高职高专规划教材—.. | 姜玉波 等.. | 清华大学出版社 | ¥29.00¥21.80 |
详情 |
计算机网络安全技术实验教程 | 周绯菲,何.. | 北京邮电大学出版.. | ¥24.00¥18.90 |
详情 |
UG NX7.5 基础与实例教程(高职高专机电类工学结合模式教.. | 将建国,张.. | 清华大学出版社 | ¥32.00¥24.30 |
详情 |
网页设计与制作(Dreamweaver+Flash+Photoshop版)(第2版.. | 九州书源 .. | 清华大学出版社 | ¥36.80¥27.60 |
详情 |
路由与交换技术 | 邓秀慧 | 电子工业出版社 | ¥35.00¥28.00 |
详情 |
EDA技术与Verilog HDL | 潘松,黄继.. | 清华大学出版社 | ¥38.00¥28.90 |
详情 |
中文版Excel 2007电子表格实用教程(计算机基础与实训教材.. | 谢启祥 编.. | 清华大学出版社 | ¥30.00¥20.70 |
详情 |
Windows Server 2008服务器搭建与管理(网络工程师实用培.. | 李书满,杜.. | 清华大学出版社 | ¥35.00¥26.60 |
详情 |
网页设计与制作教程(配光盘)(高职高专“工作过程导向”.. | 孙永道,高.. | 清华大学出版社 | ¥35.00¥26.30 |
详情 |
Linux操作系统(第2版) | 邵国金 | 电子工业出版社 | ¥45.00¥36.80 |
详情 |
计算机网络基础/高职高专“十一五”计算机类专业规划教材 | 顾可民 主.. | 机械工业出版社 | ¥19.00¥14.30 |
详情 |
零起点学办公自动化——Office 2007视频教程(配光盘)(I.. | 徐军,郭晶.. | 清华大学出版社 | ¥29.00¥23.20 |
详情 |
VC++程序设计基础教程(高职高专计算机教学改革新体系规划.. | 宋金珂,高.. | 清华大学出版社 | ¥28.00¥22.40 |
详情 |
(教材)教育部高等学校高职高专计算机类专业建设参考方案 | 温涛 等编.. | 中国铁道出版社 | ¥40.00¥32.00 |
详情 |
VB语言与测量程序设计(附光盘) | 佟彪 主编 | 中国电力出版社 | ¥39.80¥31.10 |
详情 |
网站推广(国家骨干高职院校建设成果 电子商务专业工作过.. | 孙丹 主编 | 清华大学出版社 | ¥26.00¥19.80 |
详情 |
综合布线技术项目教程(第2版) | 禹禄君 主.. | 电子工业出版社 | ¥39.00¥29.20 |
详情 |
SQL Server2005数据库实用教程(新世纪高职高专计算机专业.. | 屈武江,梁.. | 大连理工大学出版.. | ¥35.00¥28.00 |
详情 |
网络广告设计与制作——21世纪高职高专艺术设计规划教材 | 谢成开,王.. | 清华大学出版社 | ¥38.00¥26.30 |
详情 |