本文選題：多主體系統(tǒng) + 規(guī)劃　； 參考：《中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）》2000年博士論文

【摘要】：多主體系統(tǒng)是近年來人工智能研究的熱點(diǎn)，由于它更能體現(xiàn)人類的社會(huì)智能，更加適合開放、動(dòng)態(tài)的世界環(huán)境，因而引起人們的廣泛重視。在同一時(shí)期Internet技術(shù)的迅猛發(fā)展和普及應(yīng)用使得軟件開發(fā)人員迫切需要開放的、復(fù)雜的分布式計(jì)算系統(tǒng)的設(shè)計(jì)指導(dǎo)和開發(fā)輔助工具。在這兩種力量的推動(dòng)下，面向主體的程序設(shè)計(jì)也成為一個(gè)新的熱點(diǎn)前沿課題。主體社會(huì)行為—特別是協(xié)作行為—的描述和實(shí)現(xiàn)則是其中一個(gè)重要研究方向。本文以主體之間的協(xié)作與多主體規(guī)劃為對(duì)象，研究了主體協(xié)作的形式化描述，和基于約束傳播的多主體分布式規(guī)劃，提出了一種面向主體協(xié)作的組織形式，構(gòu)建了多主體系統(tǒng)開發(fā)平臺(tái)MAGE，并研究了主體技術(shù)的實(shí)用問題。 本文成果主要包括如下幾個(gè)方面： 1．提出了一種描述主體協(xié)作的形式系統(tǒng)。形式化工作被分為兩個(gè)層次：底層是基本的邏輯體系，刻畫了動(dòng)作，知識(shí)，能力，目標(biāo)等基本概念。在其基礎(chǔ)上，定義了協(xié)作、多主體系統(tǒng)的潛在能力、協(xié)作求解框架等高層概念。 2．研究了基于約束傳播的分布式多主體規(guī)劃。擴(kuò)展了ADL使之可以描述主體之間的聯(lián)合動(dòng)作；給出了動(dòng)作之間的偏序約束的一致性判斷方法：設(shè)計(jì)了分布式規(guī)劃?rùn)C(jī)制并給出一種算法實(shí)現(xiàn)。 3．提出了協(xié)作主體團(tuán)隊(duì)這一協(xié)作組織形式，并應(yīng)用于多主體環(huán)境MAGE中。協(xié)作主體團(tuán)隊(duì)按照協(xié)作網(wǎng)絡(luò)動(dòng)態(tài)組成。意圖協(xié)作的主體通過克隆操作加入。提供了協(xié)作團(tuán)隊(duì)形成、維護(hù)的標(biāo)準(zhǔn)協(xié)議和行為，并支持協(xié)作過程的并發(fā)執(zhí)行。 4．針對(duì)目前對(duì)多主體系統(tǒng)開發(fā)工具的需求，設(shè)計(jì)并實(shí)現(xiàn)了主體系統(tǒng)環(huán)境MAGE。它為Internet上的基于主體的計(jì)算提供了系統(tǒng)設(shè)計(jì)支持，知識(shí)和能力的描述和裝配，以及協(xié)作和協(xié)商的設(shè)計(jì)和實(shí)現(xiàn)提供了接口和工具。系統(tǒng)提供的名字服務(wù)，安全機(jī)制，查詢和廣告服務(wù)等標(biāo)準(zhǔn)服務(wù)方便了對(duì)多主體系統(tǒng)的管理和維護(hù)。 5．利用本文的研究成果，，特別是多主體環(huán)境MAGE，初步實(shí)現(xiàn)了并行多媒體信息檢索、群體智能決策系統(tǒng)、虛擬市場(chǎng)等若干應(yīng)用系統(tǒng)。 綜上所述，本論文對(duì)多主體協(xié)作與規(guī)劃，多主體系統(tǒng)開發(fā)環(huán)境做了一定的研究。這些研究課題還有很多問題值得探討，本文的工作僅僅是一個(gè)嘗試，還有待進(jìn)一步深入。
[Abstract]:Multi-agent system is a hot topic of artificial intelligence research in recent years. Because it can better reflect the social intelligence of human beings and is more suitable for the open and dynamic world environment, people pay more attention to it. In the same period, with the rapid development and popularization of Internet technology, software developers are in urgent need of open and complex distributed computing system design guidance and development assistance tools. Driven by these two forces, agent-oriented programming has become a new hot topic. The description and implementation of social behavior, especially cooperative behavior, is one of the important research directions. In this paper, the formal description of agent collaboration and multi-agent distributed planning based on constraint propagation are studied, and an organization form of agent-oriented collaboration is proposed. A multi-agent system development platform (MAGEG) is constructed, and the practical problems of agent technology are studied. This paper mainly includes the following aspects: 1. A formal system for describing agent collaboration is proposed. Formal work is divided into two levels: the basic logic system at the bottom, which describes the basic concepts of action, knowledge, ability, goal and so on. On the basis of it, the high-level concepts such as cooperation, potential capability of multi-agent system, cooperative solution framework and so on are defined. 2. The distributed multi-agent programming based on constraint propagation is studied. ADL is extended to describe the joint action between agents, and the consistency judgment method of partial order constraints between actions is given. A distributed planning mechanism is designed and an algorithm is implemented. 3. The collaborative agent team is proposed and applied to MAGE. The collaboration subject team is composed dynamically according to the collaboration network. The subject that intends to cooperate is joined by cloning operation. Provides collaborative team formation, maintenance of standard protocols and behaviors, and supports concurrent execution of collaborative processes. 4. In order to meet the need of developing tools for multi-agent system, we design and implement MAGE-based system environment. It provides interface and tools for system design support, description and assembly of knowledge and capability, and design and implementation of collaboration and negotiation for agent-based computing on Internet. The standard services, such as name service, security mechanism, query and advertisement service, are convenient for the management and maintenance of multi-agent system. 5. Some application systems such as parallel multimedia information retrieval, swarm intelligence decision system, virtual market and so on are implemented using the research results of this paper, especially MAGE-based multi-agent environment. To sum up, this paper does some research on multi-agent collaboration and planning, multi-agent system development environment. There are still many problems to be discussed in this paper. The work of this paper is only an attempt, which needs to be further explored.
【學(xué)位授予單位】：中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2000
【分類號(hào)】：TP18

【引證文獻(xiàn)】

相關(guān)博士學(xué)位論文 前1條

1 蒲秋梅;基于Ontology和Agent的電子商務(wù)協(xié)商研究[D];武漢理工大學(xué);2007年

本文編號(hào)：1896178