《關於agent的知識表示及推理研究》是依託北京航空航天大學,由懷進鵬擔任項目負責人的面上項目。
基本介紹
- 中文名:關於agent的知識表示及推理研究
- 依託單位:北京航空航天大學
- 項目負責人:懷進鵬
- 項目類別:面上項目
- 負責人職稱:教授
- 批准號:69775015
- 研究期限:1998-01-01 至 2000-12-31
- 申請代碼:F0601
- 支持經費:9(萬元)
《關於agent的知識表示及推理研究》是依託北京航空航天大學,由懷進鵬擔任項目負責人的面上項目。
第7章 論辯系統形式體系在Agent推理中的套用 7.1 引言 7.2 幾種基於論辯的Agent非單調推理 7.2.1 基於論辯的認識推理 7.2.2 基於論辯的實踐推理 7.2.3 基於論辯的BDI Agent模型 7.3 論辯系統形式體系的套用情況分析 7.3.1 知識的表示方面 7.3.2 論證的構造方面 7.3.3 論證的評估方面 7.4 研究...
Agent作為一種新穎的知識表示方法和問題求解方法,已受到普遍的關注。目錄 第1章緒論1 1.1對基於Agent的計算的認識1 1.2基於Agent的計算研究進展3 1.2.1基於Agent計算的思維狀態模型4 1.2.2多Agent協調、協商與合作求解11 1.2.3Agent組織16 1.2.4MAS的社會性21 1.2.5多Agent形式語義方法23 1.2.6MAS...
《基於定性演算的空間知識表示與推理》是依託清華大學,由李三江擔任項目負責人的面上項目。項目摘要 能對所處空間環境做出及時、準確的反應是人和智慧型Agent理性決策的前提。空間推理是人工智慧研究的重要領域,在地理信息系統、自然語言處理、計算機圖形學、圖像檢索等領域有重要套用。由於基於數值的、嚴格精確的空間知識...
《知識化製造系統的自重構研究》是依託東南大學,由嚴洪森擔任項目負責人的專項基金項目。中文摘要 提出一種知識化製造系統(KMS)新理念,研究其體系、功能和邏輯層次結構。提出一種新的基於知識網和Agent 網的複雜知識表示方法,解決先進制造模式的知識表示問題。研究知識網和Agent 網的定義及其兩者之間的映射關係, ...
《基於運籌學知識表示理論的電子商務物流配送調度Agent》是依託大連理工大學,由胡祥培擔任項目負責人的面上項目。項目摘要 以運籌學知識表示研究為基礎,重點研究電子商務物流的動態、實時、最佳化調控問題,將Agent技術植入建模操作與物流實時調控,提出物流配送問題基於Agent的知識表示理論與建模方法,揭示其多A...
第一部分 世界中的Agent:什麼是Agent及如何創建它們 第1章 人工智慧與 1.1 什麼是人工智慧 1.2 人工智慧簡史 1.3 環境中的 1.4 知識表示 1.4.1 定義解 1.4.2 表示 1.4.3 推理與行為 1.5 複雜性維度 1.5.1 模組性 1.5.2 表示方案 1.5.3 規劃期 1.5.4 不確定性 1.5.5 偏好 1.5...
主要介紹了人工智慧的概況;在決策支持系統中普遍套用的人工智慧知識表示方法和搜尋推理技術;計算智慧型和Agent的基本知識;專家系統的願理、設計和開發工具;指揮控制過程與常用的智慧型決策方法;人工智慧套用於決策系統時的基本技術;人工智慧及決策系統的發展。 本書可作為高等院校計算機、管理、自動控制等專業高年級學生和研究...
《專家系統中知識的多重表示及推理的真值維護》是依託上海交通大學,由楊傑擔任項目負責人的青年科學基金項目。項目摘要 知識表示及推理是人工智慧的重要基礎研究領域。本項目研究專家系統中知識的多重表示及推理的真值維護。解決了不同知識表示方法下知識的綜合、任務的分解、推理過程中論據與結論的一致性維護以及結論的...
Su等2003年把通用本體套用於多Agent系統中,支持Agent間基於通用本體進行互動和協作。Czarnecki等2010年提出了通用本體TOGAF,包括面向商業、數據、套用和技術四大領域的通用知識。通用本體的構建很難實現完全自動化,一般都是半自動化的方法。通用本體當前面臨的挑戰是構建困難和難以驗證效果。表示本體不面向特定領域,這種...
家系統的構造。還涉及人工智慧研究的一些前沿課題,如智慧型Agent系統、計算智慧型 和從資料庫發現知識等。本書共分十一章,前五章介紹了人工智慧的基本原理與方法,包括程式設計語 言、知識表示、搜尋策略和演繹推理,第六、七章介紹了建造專家系統的實用技術,第 八、九、十章介紹了一些更深入的課題,包括機器學習、...
智慧型體(Agent)是指能夠感知環境並採取行動以實現特定目標的代理體。它可以是軟體、硬體或一個系統,具備自主性、適應性和互動能力。智慧型體通過感知環境中的變化(如通過感測器或數據輸入),根據自身學習到的知識和算法進行判斷和決策,進而執行動作以影響環境或達到預定的目標。智慧型體在人工智慧領域廣泛套用,常見於...
基於agent的計算和分散式智慧型是當前人工智慧研究中的一個熱點,明斯基也許是最早提出agent概念的學者之一。Snare雖然還比較粗糙和不夠靈活,畢竟是人工智慧研究中最早的嘗試之一。在Snare的基礎上,明斯基綜合利用他多學科的知識,解決了使機器能基於對過去行為的知識預測其當前行為的結果這一問題,並以“神經網路和腦模型...
《人工智慧技術簡明教程》共10章,主要內容包括:人工智慧的基本概念、研究途徑、分支領域和發展概況等;常用的人工智慧程式設計語言prolog;基於圖搜尋的問題求解技術;基於遺傳算法的隨機最佳化搜尋;常用的知識表示及其推理技術;機器學習與知識發現的基本原理和方法;專家系統的基本原理與建造方法;agent系統的基本原理與設計...
3章介紹人工智慧基本概念、方法和技術,包括問題求解的方法和知識表示;第4~6章討論人工智慧技術的主要套用,包括基於知識的系統、自動規劃和配置以及機器學習;第7章對人工智慧的高級技術作引導性綜述,包括非單調推理和軟計算、基於範例的推理、關於時間和空間的推理、機器學習研究和套用的新進展、Agent技術和多Agent...
12.1 雙agent博弈 118 12.2 最小最大化過程 119 12.3 a -b 過程 122 12.4 a -b 過程的搜尋效率 125 12.5 其他重要問題 125 12.6 機率博弈 126 12.7 學習評估函式 127 12.8 補充讀物和討論 128 第三部分 知識的表示和推理 第13章 命題演算 131 13.1 對特徵值加以約束 131 13.2 語言 132 ...
(1)分散式虛擬現實, 面向碩士研究生 (2)J2EE, 面向本科生 (3)軟體項目管理, 面向本科生 (4)編譯技術, 面向本科生 研究方向 分散式虛擬環境, 智慧型虛擬主體,多主體系統, 知識表示與推理, 行動推理, 自動規劃, 時空推理 學術團體 (1)中國計算機學會高級會員 科研項目 [1] 虛擬社區中VRML多用戶環境的...
劉詠梅,女,博士,中山大學信息科學與技術學院教授、博士生導師。人物經歷 於加拿大多倫多大學計算機科學系獲博士學位。研究領域 人工智慧,知識表示與推理,認知機器人學,程式的調試和驗證。主要論文 1. L. Xiong and Y. Liu. Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the...
③討論常用搜尋原理,如盲目搜尋、啟發式搜尋、MIN-MAX搜尋、?α-β?剪枝和約束滿足等;並研究一些比較高級的搜尋技術,如貪婪局部搜尋、局部剪枝搜尋、模擬退火算法和遺傳算法等;④介紹分散式人工智慧與Agent、計算智慧型、機器學習、反向傳播神經網路、Hopfield神經網路和知識發現等已成為當前研究熱點的人工智慧技術和方法...
先後主持國家自然科學基金1項,教育部項目1項,校級項目3項。主研國家、省部級項目5項。主要研究興趣包含:多AGENT協商、知識表示與推理、邏輯程式、信念修改、非單調邏輯、形式化方法。陳武博士相貌英俊,治學嚴謹, 為人師表,教有所成,深受廣大師生愛戴;一名學生告訴記者,不少學生遇到人生的疑惑,或者戀愛的問題,...
1.5 人工智慧的研究目標和內容17 1.5.1 人工智慧的研究目標17 1.5.2 人工智慧研究的基本內容17 1.6 人工智慧與智慧型系統的計算方法19 1.7 本書內容編排20 習題1 21 第2章 知識表示與推理22 2.1 智慧型系統知識的分類與表示問題22 2.1.1 智慧型系統知識的分類22 2.1.2 知識表示的要求23 2.2 ...
人工智慧是研究解釋和模擬人類智慧型、智慧型行為及其規律的一門前沿和交叉學科。目前市面上人工智慧課程主教材已有多種不同的版本,但是輔導用書和實驗用書比較缺乏。本書主要是人工智慧課程的配套教材。內容涉及知識表示、基本問題求解、基本推理方法、VisualProlog語言、專家系統、機器學習、人工神經網路、Agent等方面。本書對...
第5章 命題與推理115 5.1 命題115 5.1.1 命題演算的語法115 5.1.2 命題演算的語義116 5.2 命題約束119 5.2.1 用於一致性算法的子句形式120 5.2.2 在局部搜尋中利用命題結構121 5.3 命題確定子句121 5.3.1 問題和答案123 5.3.2 證明124 5.4 知識表示問題129 5.4.1 背景...
我們把學習的角色解釋為把設計者的視角擴展到未知環境中,並且指出了這個角色如何約束Agent 設計,有利於顯式的知識表示和推理。我們沒有把機器人學和視覺當作獨立問題對待,而是出現於實現目標的服務中。我們強調在確定合適的Agent 設計時任務環境的重要性。我們的主要目的是要傳達過去五十年間的人工智慧研究和過去兩...
為此,《人工智慧高級技術導論》包括20世紀80年代開發的KB系統高級技術、非單調推理和軟計算、基於範例的推理、關於時間和空間的推理,90年代興起的Agent技術和多Agent協同工作,進入21世紀後機器學習研究與套用的新進展,以及新一代網路計算的技術基礎及其智慧型化。《人工智慧高級技術導論》將在回顧基於知識的問題求解技術...
1.4人工智慧的研究與套用領域12 1.4.1智慧型感知13 1.4.2智慧型推理15 1.4.3智慧型學習19 1.4.4智慧型行動24 1.5人工智慧發展展望29 1.5.1新一輪人工智慧的發展特徵29 1.5.2未來40年的人工智慧問題31 1.5.3人工智慧魯棒性和倫理34 1.5.4新一代人工智慧發展規劃35 習題37 第2章知識表示和推理39 2.1...
5.1.3知識庫系統 5.1.4方法庫系統 5.1.5人機互動系統 5.1.6對輔助決策系統提出的新要求 5.2基於MAS的輔助決策系統 5.2.1Agent概念 5.2.2MAS的特性廈技術特點 5.2.3基於MAS的指揮自動化系統輔助決策系統架構 5.3基於研討廳的輔助決策系統 5.3.1綜合集成研討廳體系原理 5.3.2綜合集成研討廳系統的...
如果有意義的差異在於成員技術水平的不同,則表現在他們的知識領域和工作經歷的多樣化。就如同江河的形成根源於上下游海拔高度的差異一樣,只有存在有意義的差異,才能使複雜適應組織的學習和創新成為可能。但是,如果組織成員只關注與自身利益相關的差異,而在整體上無法認同一個統一的意義差異的話,那同樣也會導致組織...