內容簡介
《人工智慧形式概念系統》主要內容簡介： 在智慧型行為的模擬過程中，概念系統的形式化是極其重要的，它是多種智慧型行為得以發生和成功實施的基礎．在第一章中，我們從智慧型行為高度關聯的角度出發，給出一個理想的概念系統形式化方法應該具備的屬性，敘述概念系統在不同智慧型行為算法化以及套用深化過程中的核心作用和重要地位。在第二章中，我們從傳統人工智慧知識表示和認知心理學記憶建模兩個方面回顧了概念系統形式化方法的發展歷史．在第三章中，我們給出一種基於浸潤思想的動態命題網概念表征與問題求解的實現方法．在第四章中，我們簡要介紹心理學中的表征重述觀點，並討論了它的不足，以及我們對這一思想如何套用於概念發展與概念系統構造的構想．在第五章中，我們根據表征重述的基本過程，採用面向對象形式化工具對概念習得、發展與形式表征的實現過程進行了詳細的論證．在第六章中，我們提出了一種基於框架複合的概念形式表征與非限定問題求解的實現方法．在第七章中，我們從發展心理學的角度論述了智慧型系統是一個要滿足系統性和相關性約束的整體，把對知識表示的研究推進到對表示的研究能夠拓展智慧型行為模擬研究的視野，有助於把不同學科的精髓套用到人工智慧研究上來。
《人工智慧形式概念系統》適合從事人工智慧、認知建模研究的研究生與科研人員使用。
目錄
《人工智慧形式概念系統》
前言
第1章概念系統的重要性
1.1概念系統是認知的核心
1.1.1對認知的定義
1.1.2高級智慧型活動
1.1.3概念系統處於認知技能整合的中心位置
1.2人工智慧中概念系統作用的體現
1.2.1概念系統在場景理解中的作用
1.2.2概念系統在言語推理中的作用
1.2.3概念系統在智慧型分系統融合中的作用
1.3概念系統的特徵
1.4對概念系統結構的猜測
1.4.1人工智慧受到的批評
1.4.2人工智慧中的幾個基本問題
第2章形式概念系統建構方法的發展
2.1知識表示方法的研究
2.2 概念結構表示研究
2.2.1以前的經典知識表示方法對概念結構關注不足
2.2.2概念圖知識表示及其套用
.2.2.3概念格
2.2.4本體
2.3心理學對此問題的研究
2.4心理學對長時記憶的研究
2.4.1層次網路模型
2.4.2激活擴散模型
2.4.3 ham模型和act模型
2.5常識庫的研究
第3章形式概念系統浸潤式問題求解
3.1廣泛意義上的問題求解
3.1.1動態語義網(dynamic semantic network，dsn)的基本構成
3.1.2基於dsn的推理機制
3.1.3基於dsn的問題求解過程
3.2動態語義網路的形式化實現
3.2.1dsn表征規範
3.2.2 dsn形成規範
3.2.3dsn浸潤推理規範
3.3動態語義網路激勵傳播算法實現
3.3.1基於dsn激勵傳播算法
3.3.2基於dsn浸潤推理的計算機實現
3.4 浸潤式問題求解方式的展望
3.4.1小結
3.4.2進一步的發展
第4章表征重述
4.1 發展心理學中關於表征重述的研究
4.2表征重述的啟示
4.2.1從人工智慧角度對表征重述觀點的深度發掘
4.2.2表征重述套用於知識系統的不足之處
第5章使用對象建模工具的形式化方法
5.1面向對象是對世界的刻畫
5.1.1面向對象的形式語義特徵
5.1.2為什麼選擇面向對象技術作為形式化表征的手段
5.2面向對象對表征重述的實現
5.2.1以“計數”概念習得過程為例
5.2.2用表征重述對“計數”過程的再解釋和基於面向對象規範定義的表征
5.2.3概念表征的形式進化導致問題求解能力的進化
5.2.4長遠的考慮
5.3使用標準建模語言um1的表征重述實現
5.3.1um1對表征重述的描述
5.3.2用uml實現的計數行為變化表征
5.3.3用uml實現表征重述的優點與不足
5.4生成算法
5.4.1形式化表征生成算法
5.4.2概念掌握水平的變化
第6章形式概念系統上的推理
6.1基於擴展框架系統的表示
6.1.1擴展的框架知識表示方法
6.1.2框架定義的獲得與規範
6.1.3擴展的框架表示實例
6.2擴展的框架系統的推理實現
6.2.1框架複合思想
6.2.2框架複合實例分析
6.3框架複合算法
第7章總結
7.1發展心理學與智慧型系統構造
7.1.1知識與認知過程不可分割
7.1.2發展心理學的啟示
7.1.3智慧型系統構造的發展觀
7.2從知識表示到表示
7.2.1知識表示與表示是不同的
7.2.2表示反映了對客觀真實的認識
7.2.3ai認識論上的進步
7.2.4一個關於心理語言學的表示實例
7.3不識廬山真面目，只緣身在此山中
7.3.1人工智慧的新問題
7.3.2人工智慧研究的難點
7.4人工智慧與其他學科的關係
參考文獻
