National Changhua University of Education Institutional Repository : Item 987654321/11722

English | 正體中文 | 简体中文 | Items with full text/Total items : 6507/11669
Visitors : 29965370 Online Users : 370

RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.

Scope Adv. Search

Login ‧ Upload ‧ Help ‧ About ‧ Administer

NCUEIR > College of Engineering > Department and Graduate Institute of Computer Science and Information Engineering > NSC Projects > Item 987654321/11722

Please use this identifier to cite or link to this item: http://ir.ncue.edu.tw/ir/handle/987654321/11722

Title:	以正規化規格語言來描述軟體代理人之特性 A Formal Specification Approach to Modeling Properties of Software Agents
Authors:	潘健一;賴聯福
Contributors:	資訊工程系
Keywords:	軟體代理人;多軟體代理人系統;正規化規格;需求規格;心理狀態
Date:	2000-08
Issue Date:	2012-07-02T02:04:29Z
Publisher:	行政院國家科學委員會
Abstract:	軟體代理人的研究與應用愈來愈受到重視。例如軟體代理人可以應用在網路上蒐集使用者所需的資料，也可以應用在FAQs上，幫助我們去尋找問題的解答。不同的資料庫之間的資料轉換也可以利用agent來完成等等應用。一般而言軟體代理人是指一種軟體系統，置於某一環境下，能夠感應和偵測系統所處的環境，同時能作用在此環境上以執行其所特定的行動，達成代理人所欲完成的目標。然而，目前有關agent方面的研究，多集中在agent理論的基礎研究上，例如agent之間如何協調，如何合作以完成一件工作。本計畫的目的在於提出使用正規畫規格語言(以Z語言為基礎)來描述agent的特性，我們分成兩個層次來討論。首先是agent的內部的心理狀態，如信念、計畫、目標與意圖。另一方面，是agent所表現的行為能力特性，如反應的能力、自治的能力、目的導向的能力與存在連續性等特性。
Relation:	計畫編號:NSC89-2213-E270-014; 研究期間:89/08-90/07
Appears in Collections:	[Department and Graduate Institute of Computer Science and Information Engineering] NSC Projects

Files in This Item:

File	Size	Format
2050400712002.pdf	81Kb	Adobe PDF	471	View/Open

Loading...