中图网(原中国图书网):网上书店,尾货特色书店,30万种特价书低至2折!

歡迎光臨中圖網 請 | 注冊
> >
中國院士文庫-人工智能

包郵 中國院士文庫-人工智能

作者:陸汝鈐
出版社:上海科學技術文獻出版社出版時間:2023-02-01
開本: 其他 頁數: 1182
中 圖 價:¥166.8(6.0折) 定價  ¥278.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

中國院士文庫-人工智能 版權信息

  • ISBN:9787543982529
  • 條形碼:9787543982529 ; 978-7-5439-8252-9
  • 裝幀:一般膠版紙
  • 冊數:暫無
  • 重量:暫無
  • 所屬分類:>

中國院士文庫-人工智能 內容簡介

本書是人工智能專業*基礎*全面的高校教材,作者陸汝鈐院士系 中國科學院數學與系統科學研究院數學研究所研究員。在知識工程和基于知識的軟件工程方面做了系統的、創造性的工作,是我國該領域研究的開拓者之一。倡導并主持完成了以軟件的機械化生成和移植為目標的系列軟件計劃(XR計劃),推動了當時國產機軟件缺乏問題的解決。本書首次把異構型DAI和機器辯論引進人工智能領域。研究出基于類自然語言理解的知識自動獲取方法,把ICAI生成技術推進到以自動知識獲取為特征的第三代,并開發出基于知識的應用軟件自動生成技術。在形式語義學方面研究了邏輯語義、代數語義和分布式語義,證明了任意Horn子句集的模型論語義和*小不動點語義的等價性;給出了能描述動態控制結構的基調式代數語義;把平面的Petri網擴展成多頁的Petri/Riemann網(P/R網)作為進程模型,獲得了演算的優選真并發結構。

中國院士文庫-人工智能 目錄

上冊
引言
**部分 知識表示
**章 演繹系統
1.1 謂詞演算
1.2 自然演繹系統
1.3 與或句演繹系統
1.4 子句演繹系統
習題
第二章 產生式系統
2.1 緒論
2.2 產生式系統的基本特征
2.3 產生式的知識元
2.4 推理的方向
2.5 框架問題
2.6 非確定性匹配
2.7 匹配沖突的解決
習題
第三章 框架結構
3.1 事物的屬性
3.2 框架
習題
第四章 語義網絡
4.1 命題語義網絡
4.2 數據語義網絡
4.3 語言語義網絡
4.4 幾種特殊的語義網絡
4.5 網絡上的推理
習題
第五章 過程性知識
5.1 狀態空間
5.2 時序框架
5.3 概念依賴理論和劇本
5.4 說明性表示中的過程知識
習題
第二部分 搜索技術
第六章 無變量盲目搜索算法
6.1 狀態空間的盲目搜索
6.2 問題空間的盲目搜索
習題
第七章 帶變量盲目搜索算法
7.1 通代算法
7.2 帶變量的狀態空間盲目搜索
7.3 帶變量的問題空間盲目搜索
習題
第八章 啟發式搜索算法
8.1 單值有序搜索和多值有序搜索
8.2 H*算法和A*算法
8.3 估值函數的選擇
8.4 B算法和B'算法
8.5 雙向啟發式搜索
習題
……
下冊
第三部分 非經典邏輯和非經典推理
第四部分 定理機器證明
第五部分 機器學習
第六部分 自然語言理解
第七部分 知識工程
參考文獻
展開全部

中國院士文庫-人工智能 作者簡介

陸汝鈐,計算機科學家,中國科學院院士。陸汝鈐以人工智能、知識工程和基于知識的軟件工程為主要研究方向,是中國該領域研究的開拓者之一。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 布袋式除尘器|木工除尘器|螺旋输送机|斗式提升机|刮板输送机|除尘器配件-泊头市德佳环保设备 | 锂电池砂磨机|石墨烯砂磨机|碳纳米管砂磨机-常州市奥能达机械设备有限公司 | 航空障碍灯_高中低光强航空障碍灯_民航许可认证航空警示灯厂家-东莞市天翔航天科技有限公司 | 大型果蔬切片机-水果冬瓜削皮机-洗菜机切菜机-肇庆市凤翔餐饮设备有限公司 | 西安中国国际旅行社(西安国旅) | cnc精密加工_数控机械加工_非标平键定制生产厂家_扬州沃佳机械有限公司 | 环讯传媒,永康网络公司,永康网站建设,永康小程序开发制作,永康网站制作,武义网页设计,金华地区网站SEO优化推广 - 永康市环讯电子商务有限公司 | 上海宿田自动化设备有限公司-双面/平面/单面贴标机 | 口臭的治疗方法,口臭怎么办,怎么除口臭,口臭的原因-口臭治疗网 | 集菌仪_智能集菌仪_全封闭集菌仪_无菌检查集菌仪厂家-那艾 | 阴离子聚丙烯酰胺价格_PAM_高分子聚丙烯酰胺厂家-河南泰航净水材料有限公司 | 塑胶跑道_学校塑胶跑道_塑胶球场_运动场材料厂家_中国塑胶跑道十大生产厂家_混合型塑胶跑道_透气型塑胶跑道-广东绿晨体育设施有限公司 | 无锡装修装潢公司,口碑好的装饰装修公司-无锡索美装饰设计工程有限公司 | 智能风向风速仪,风速告警仪,数字温湿仪,综合气象仪(气象五要素)-上海风云气象仪器有限公司 | 锌合金压铸-铝合金压铸厂-压铸模具-冷挤压-誉格精密压铸 | 钢木实验台-全钢实验台-化验室通风柜-实验室装修厂家-杭州博扬实验设备 | 欧盟ce检测认证_reach检测报告_第三方检测中心-深圳市威腾检验技术有限公司 | 金环宇|金环宇电线|金环宇电缆|金环宇电线电缆|深圳市金环宇电线电缆有限公司|金环宇电缆集团 | 上海质量认证办理中心| 四川职高信息网-初高中、大专、职业技术学校招生信息网 | 桐城新闻网—桐城市融媒体中心主办 | 北京森语科技有限公司-模型制作专家-展览展示-沙盘模型设计制作-多媒体模型软硬件开发-三维地理信息交互沙盘 | 杭州中策电线|中策电缆|中策电线|杭州中策电缆|杭州中策电缆永通集团有限公司 | 钢丝绳探伤仪-钢丝绳检测仪-钢丝绳探伤设备-洛阳泰斯特探伤技术有限公司 | 交通信号灯生产厂家_红绿灯厂家_电子警察监控杆_标志杆厂家-沃霖电子科技 | 西安标准厂房_陕西工业厂房_西咸新区独栋厂房_长信科技产业园官方网站 | 干粉砂浆设备_干混砂浆生产线_腻子粉加工设备_石膏抹灰砂浆生产成套设备厂家_干粉混合设备_砂子烘干机--郑州铭将机械设备有限公司 | 智能交通网_智能交通系统_ITS_交通监控_卫星导航_智能交通行业 | 不锈钢列管式冷凝器,换热器厂家-无锡飞尔诺环境工程有限公司 | 无菌检查集菌仪,微生物限度仪器-苏州长留仪器百科 | 蓝莓施肥机,智能施肥机,自动施肥机,水肥一体化项目,水肥一体机厂家,小型施肥机,圣大节水,滴灌施工方案,山东圣大节水科技有限公司官网17864474793 | 澳威全屋定制官网|极简衣柜十大品牌|衣柜加盟代理|全屋定制招商 百度爱采购运营研究社社群-店铺托管-爱采购代运营-良言多米网络公司 | 刹车盘机床-刹车盘生产线-龙口亨嘉智能装备 | 尊享蟹太太美味,大闸蟹礼卡|礼券|礼盒在线预订-蟹太太官网 | 自动记录数据电子台秤,记忆储存重量电子桌称,设定时间记录电子秤-昆山巨天 | 温州富欧金属封头-不锈钢封头厂家| 无硅导热垫片-碳纤维导热垫片-导热相变材料厂家-东莞市盛元新材料科技有限公司 | 德国GMN轴承,GMN角接触球轴承,GMN单向轴承,GMN油封,GMN非接触式密封 | 广东成考网-广东成人高考网 | Win10系统下载_32位/64位系统/专业版/纯净版下载 | 影像测量仪_三坐标测量机_一键式二次元_全自动影像测量仪-广东妙机精密科技股份有限公司 |