English
|
正體中文
|
简体中文
|
全文筆數/總筆數 : 6507/11669
造訪人次 : 30010889 線上人數 : 398
RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by
NTU Library IR team.
搜尋範圍
全部NCUEIR
工學院
資訊工程學系
--國科會計畫
進階搜尋
登入
‧
上傳
‧
說明
‧
關於NCUEIR
‧
管理
National Changhua University of Education Institutional Repository
>
工學院
>
資訊工程學系
>
國科會計畫
>
Item 987654321/11722
資料載入中.....
請使用永久網址來引用或連結此文件:
http://ir.ncue.edu.tw/ir/handle/987654321/11722
題名:
以正規化規格語言來描述軟體代理人之特性
A Formal Specification Approach to Modeling Properties of Software Agents
作者:
潘健一
;
賴聯福
貢獻者:
資訊工程系
關鍵詞:
軟體代理人
;
多軟體代理人系統
;
正規化規格
;
需求規格
;
心理狀態
日期:
2000-08
上傳時間:
2012-07-02T02:04:29Z
出版者:
行政院國家科學委員會
摘要:
軟體代理人的研究與應用愈來愈受到重視。例如軟體代理人可以應用在網路上蒐集使用者所需的資料,也可以應用在FAQs上,幫助我們去尋找問題的解答。不同的資料庫之間的資料轉換也可以利用agent來完成等等應用。一般而言軟體代理人是指一種軟體系統,置於某一環境下,能夠感應和偵測系統所處的環境,同時能作用在此環境上以執行其所特定的行動,達成代理人所欲完成的目標。然而,目前有關agent方面的研究,多集中在agent理論的基礎研究上,例如agent之間如何協調,如何合作以完成一件工作。本計畫的目的在於提出使用正規畫規格語言(以Z語言為基礎)來描述agent的特性,我們分成兩個層次來討論。首先是agent的內部的心理狀態,如信念、計畫、目標與意圖。另一方面,是agent所表現的行為能力特性,如反應的能力、自治的能力、目的導向的能力與存在連續性等特性。
關聯:
計畫編號:NSC89-2213-E270-014; 研究期間:89/08-90/07
顯示於類別:
[資訊工程學系] 國科會計畫
文件中的檔案:
檔案
大小
格式
瀏覽次數
2050400712002.pdf
81Kb
Adobe PDF
471
檢視/開啟
在NCUEIR中所有的資料項目都受到原著作權保護.
DSpace Software
Copyright © 2002-2004
MIT
&
Hewlett-Packard
/
Enhanced by
NTU Library IR team
Copyright ©
-
回饋