检索结果-内蒙古大学图书馆

International Conference on Computational Intelligence for Modelling, Control and Automation

作者： Duc, Nguyen Tuan Takeuchi, Ikuo Univ Tokyo Tokyo 1010021 Japan

ISBN: (纸本)9781424433292

Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team to reach the overall goals of the systems, it is a crucial requirement for creating intelligent multiagent systems. This paper presents an approach for building complex cooperation protocols from simple primitives called collective operations. Collective operations are implemented in a new agent oriented programming language named Yaccai. The syntax and semantics of collective operations are designed to be effective for description of cooperation protocols while maintaining the autonomous computational model of agents. Our experiment shows that, collective operations are flexible building blocks for realization of cooperative multiagent systems.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A multi-facet Approach to Dynamic agent systems

引用

FUNDAMENTA INFORMATICAE 2008年第1-4期85卷 19-33页

作者： Bednarczyk, Marek A. Pawlowski, Wieslaw Bernardinello, Luca Pomello, Lucia Borzyszkowski, Tomasz Polish Acad Sci Inst Comp Sci Gdansk Poland Univ Gdansk Inst Informat PL-80952 Gdansk Poland Univ Milan Dipartimento Informat Sistemist & Comunicaz Milan Italy Univ Gdansk Inst Informat PL-80952 Gdansk Poland

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking Lit the system front a number of different perspectives. each dealing with a specific aspect of the system. As a Solution a synchronization operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns Out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.

关键词： dynamic agents synchronization categorical semantics models of concurrent, distributed and mobile computing system specification

来源：评论

学校读者我要写书评

暂无评论

Enhanced PSO Based on multi-agent System

Enhanced PSO Based on Multi-Agent System

引用

1st International Symposium on Computational Intelligence and Design

作者： Fang, Luping Ge, Yiming Zhejiang Univ Technol Software Coll Hangzhou 310014 Zhejiang Peoples R China

ISBN: (纸本)9780769533117

Traditional particle swarm optimization (PSO) algorithm is combined with multi-agent system (MAS), so the particles are upgraded to intelligent agents, which are more autonomous and smart. Secondly, Evolutionary programming (EP) is integrated into agents to improve the search capability of standard PSO particles by altering their intrinsic tendency of moving to global best position. Thirdly, an adaptive mechanism is proposed to lessen Vmax's impact over algorithm performance, so that the algorithm becomes more feasible. Finally, the enhanced algorithm is applied in the optimization problem of complex functions of high dimension and satisfied results are achieved.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Adding Organizations and Roles as Primitives to the JADE Framework

Adding Organizations and Roles as Primitives to the JADE Fra...

引用

programming multi-agent systems 2008

作者： Baldoni, Matteo Boella, Guido Dorni, Mauro Genovese, Valerio Mugnaini, Andrea Grenna, Roberto van der Torre, Leendert Dipartimento di Informatica Università di Torino Italy Computer Science and Communications University of Luxembourg Luxembourg

The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and give new abilities in the context of organizations, called powers, to the agents which satisfy the requirements necessary to play the roles. As primitives to program organizations and roles we provide classes and protocols which enable an agent to enact a new role in an organization and to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles have state and behaviour, thus, they are instances of classes and are strictly connected with the organization offering them. Since roles and organizations can be on a different platform with respect to the role player, the communication with them happens via protocols. Moreover, since, besides using protocols, roles and organizations can have complex behaviours, they are implemented by extending the JADE agent class. © 2008 Dagstuhl Seminar Proceedings. All rights reserved.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Coordination in answer set programming

引用

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2008年第2期9卷 1-30页

作者： Sakama, Chiaki Inoue, Katsumi Wakayama Univ Dept Comp & Commun Sci Wakayama 6408510 Japan

This article studies a semantics of multiple logic programs, and synthesizes a program having such a collective semantics. More precisely, the following two problems are considered: given two logic programs P-1 and P-2, which have the collections of answer sets AS(P-1) and AS(P-2), respectively;(i) find a program Q which has the set of answer sets such that AS(Q) = AS(P-1). AS(P2);(ii) find a program R which has the set of answer sets such that AS(R) = AS(P1) boolean AND AS(P2). A program Q satisfying the condition (i) is called generous coordination of P-1 and P-2;and R satisfying (ii) is called rigorous coordination of P-1 and P-2. Generous coordination retains all of the answer sets of each program, but permits the introduction of additional answer sets of the other program. By contrast, rigorous coordination forces each program to give up some answer sets, but the result remains within the original answer sets for each program. Coordination provides a program that reflects the meaning of two or more programs. We provide methods for constructing these two types of coordination and address its application to logic-based multi-agent systems.

关键词： algorithms theory answer set programming coordination multiagent systems

来源：评论

学校读者我要写书评

暂无评论

agents for space operations

Agents for space operations

引用

SpaceOps 2008 Conference

作者： Ocón, J. Rivero, E. Strippoli, L. Molina, M.A. GMV Aerospace and Defence S.A c/Isaac Newton 11 Tres Cantos 28760 Spain

ISBN: (纸本)9781624101670

multi-agent system programming is a software paradigm in which the code is made out of agents, independent and autonomous elements interacting each others to solve given high level goals that, otherwise, could not be solved easily by a single agent. Problems to be faced in space missions are potentially very well predisposed to be solved by means of multi-agent approach, as they typically involve complex functionalities that can be simplified importantly if shared among different systems and subsystems. In addition, the always growing necessity of autonomy in space missions opens the door to the utilization of an alternative and smart method that permit increasing system autonomy. The multi-agent approach has already demonstrated to be useful when applied to other disciplines like robotics or economy, but the application to space field is not so extended yet. This paper presents possible applications of multi-agents technology to space mission operations, and in particular to the ground segment. An example agent-based architecture is presented, as well as a scenario of use describing the agents functions and interactions. This paper is a result of the GMV study work in this area, whose objectives and methodology are also outlined in the paper. © 2008 by GMV Aerospace and Defence S.A. Published by the American Institute of Aeronautics and Astronautics, Inc.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A multi-agent Environment for Serving Proof Explanations in the Semantic Web

引用

5th Hellenic Conference on Artificial Intelligence

作者： Antoniou, Grigoris Bikakis, Antonis Damianakis, Polyvios Foukarakis, Mixalhs Iacovidis, Giorgos Karmazi, Marianna Kondylakis, Haridimos Makridakis, Antreas Nikiforos, Giorgos Papadourakis, Grigoris Papoutsakis, Manolis Psyharaki, Aggeliki Stratakis, Giorgos Tourlakis, Panagiotis Tsialiamanis, Petros Vasileiadis, Giorgos Wagner, Gerd Velegrakis, Dimitris Univ Crete Dept Comp Sci Inst Comp Sci FORTH Khania Greece Cottbus Univ Technol Cottbus Germany

ISBN: (纸本)9783540878803

In this work we present the design and implementation of a multi-agent environment for serving proof explanations in the Semantic Web. The system allows users or agents to issue queries, on a given RDF& rules knowledge base and automatically produces proof explanations for answers produced by a popular programming system (JENA), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a R2ML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for rules on the Semantic Web empowering trust between agents and users.

关键词： multi-agent systems Semantic Web Proof Explanation

来源：评论

学校读者我要写书评

暂无评论

Verification from Declarative Specifications Using Logic programming

Verification from Declarative Specifications Using Logic Pro...

引用

24th International Conference on Logic programming (ICLP)

作者： Montali, Marco Torroni, Paolo Alberti, Marco Chesani, Federico Gavanelli, Marco Lamma, Evelina Mello, Paola Univ Bologna DEIS Vle Risorgimento 2 I-40136 Bologna Italy Univ Ferrara ENDIF I-44100 Ferrara Italy

ISBN: (纸本)9783540899815

In recent years, the declarative programming philosophy has had a visible impact oil new emerging disciplines, such as heterogeneous multi-agent systems and flexible business processes. We address the problem of forma;verification for systems specified using declarative languages, focusing in particular on the Business Process Management field. We propose a verification method based on the g-SCIFF abductive logic programming proof procedure and evaluate our method empirically, by comparing its performance with that of other verification frameworks.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Decentralized business process modeling and enactment:: ICT architecture topologies and decision methods

Decentralized business process modeling and enactment:: ICT ...

引用

5th International Workshop on programming multi-agent systems

作者： Bauer, Bernhard Mueller, Jorg P. Roser, Stephan Univ Augsburg Programming Distributed Systems Lab Univ Str 14 D-86135 Augsburg Germany Tech Univ Clausthal Dept Informat D-38678 Clausthal Zellerfeld Germany

ISBN: (纸本)9783540790426

multiagent systems have been proposed in the literature as a suitable architectural and implementation approach for cross-enterprise collaboration, due to their support for decentral decision-making and peer-to-peer coordination, loosely coupled interaction, modeling support for the notion of electronic institutions, and built-in adaptability mechanisms. While we agree with this general view, we argue that different application domain and different market constellations require different types of architecture. In this paper we look at the specific problem of selecting an information and communication technology (ICT) architecture for cross-enterprise business process (CBP) design and enactment. Therefore we identify three important architectural patterns for CBP enactment. We then propose a decision method for architecture selection based on the analytic hierarchy process (AHP) approach. Finally we illustrate the method by applying it to two application scenarios with differing characteristics. Robustness of the decision method is analyzed by performing a sensitivity analysis.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

Towards alternative approaches to reasoning about goals

引用

5th International Workshop on Declarative agent Languages and Technologies

作者： Shaw, Patricia H. Bordini, Rafael H. Univ Durham Dept Comp Sci Durham DH1 3HP England

ISBN: (纸本)9783540775638

agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-agent systems development using such languages. However, much work is still required in mechanisms that can reduce the burden, typically placed on programmers, of ensuring that agents behave rationally, hence being effective and as efficient as possible. One such mechanisms is reasoning about declarative goals, which is increasingly appearing in the agents literature;it allows agents to make better use of resources, to avoid plans hindering the execution of other plans, and to be able to take advantage of opportunities for reducing the number of plans that have to be executed to achieve certain combinations of goals. In this paper, we introduce a Petri-net based approach to such reasoning, and we report on experimental results showing that this technique can obtain comparable improvements on an agent's behaviour to other existing approaches (our experiments do not yet cover reasoning about resource usage). Our long-term goal is to provide a number of alternative approaches for such reasoning, evaluate and compare their performances under different configurations, and incorporate them into interpreters for agent-oriented programming languages in such a way that the most appropriate approach is used at given circumstances.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：