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

4th international workshop on programming multi-agent systems, promas 2006

作者： Shehory, Onn IBM Haifa Research Lab. Mount Carmel 31905 Haifa Israel

ISBN: (纸本)9783540719557

Software systems have become too complex to manage and fix manually. An emerging approach to overcome this problem is software self-healing. Studies in related disciplines have offered several self-healing solutions, however these usually address a single class of problems, or they are not applicable in fielded systems. To address the industrial need for software self-healing, we have initiated the EU SHADOWS project. This project concentrates on self-healing of complex systems, extending the state-of-art in several ways. It introduces pioneering technologies to enable the systematic self-healing of classes of failures which are not solved by other approaches. It additionally introduces an approach to the integration of several self-healing technologies in a common solution framework. It also adopts a model-based approach, where models of desired software behavior direct the self-healing process. Combined, these allow for lifecycle support of software self-healing, applicable to both academic and industrial systems. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

Towards reasoning with partial goal satisfaction in intelligent agents

引用

8th international workshop on programming multi-agent systems, promas 2010

作者： Van Riemsdijk, M. Birna Yorke-Smith, Neil EEMCS Delft University of Technology Delft Netherlands SRI International Menlo Park CA United States American University of Beirut Lebanon

ISBN: (纸本)9783642289385

A model of agency that supposes goals are either achieved fully or not achieved at all can be a poor approximation of scenarios arising from the real world. In real domains of application, goals are achieved over time. At any point, a goal has reached a certain level of satisfaction, from nothing to full (completely achieved). This paper presents an abstract framework that can be taken as a basis for representing partial goal satisfaction in an intelligent agent. The richer representation enables agents to reason about partial satisfaction of the goals they are pursuing or that they are considering. In contrast to prior work on partial satisfaction in the agents literature which investigates partiality from a logical perspective, we propose a higher-level framework based on metric functions that represent, among other things, the progress that has been made towards achieving a goal. We present an example to illustrate the kinds of reasoning enabled on the basis of our framework for partial goal satisfaction. © 2012 Springer-Verlag.

关键词： Intelligent agents

来源：评论

学校读者我要写书评

暂无评论

Intelligent agents and multi-agent systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Jaeho Lee Mike Barley

ISBN: (数字)9783540398967

ISBN: (纸本)9783540204602

Five years ago, with excitement and uncertainty, we witnessed the birth of PRIMA (Paci?c Rim international workshop on multi-agents). The ?rst PRIMA in 1998 has now grown into PRIMA 2003, the 6th Paci?c Rim Inter- tional workshop on multi-agents in Seoul, Korea. During a period of ?ve years, the notion of agent research has grown so much that we hear the term agent on a daily basis. Various ?elds such as business, the Web, software engineering, on-line games and such are now using the term agent as a placeholder, just like the term object is used in the object-oriented paradigm. On the other hand, the research area has extended toward real applications, such as the Semantic Web and ubiquitous computing. The themes of PRIMA 2003 re?ected the following trends: – agent-based electronic commerce, auctions and markets – agent architectures and their applications – agent communication languages, dialog and interaction protocols – agent ontologies – agent programming languages, frameworks and toolkits – agentcities – agents and grid computing – agents and peer computing –agentsandtheSemanticWeb – agents and Web services – arti?cial social systems – con?ict resolution and negotiation – evaluation of multi-agent systems – languages and techniques for describing (multi-)agent systems – meta modeling and meta reasoning – multi-agent planning and learning – multi-agent systems and their applications – social reasoning, agent modeling, and organization – standards for agents and multi-agent systems – teams and coalitions – ubiquitous agents

关键词： Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

agent-based support for mobile users using agentSpeak(L)

引用

5th international Bi-Conference workshop on agent-Oriented Informationl systems

作者： Rahwan, T Rahwan, T Rahwan, I Ashri, R Univ Southampton Sch Elect & Comp Sci Southampton Hants England

ISBN: (纸本)3540221271

This paper describes AbIMA, an agent-based intelligent mobile assistant for supporting users prior to and during the execution of their tasks. The agent is based on the well-known agentSpeak(L) agent architecture and programming language, which provides explicit representations of agents' beliefs, desires and intentions (BDI). AbIMA is implemented using Java 2 Mobile Edition and is tested on a hand-held computer. We also provide conceptual foundations and discuss various challenges relating to the use of cognitive agent architectures for intelligent mobile user support.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Comparing apples with oranges: Evaluating twelve paradigms of agency

Comparing apples with oranges: Evaluating twelve paradigms o...

引用

4th international workshop on programming multi-agent systems, promas 2006

作者： Luotsinen, Linus J. Ekblad, Joakim N. Fitz-Gibbon, T. Ryan Houchin, Charles Andrew Key, Justin Logan Khan, Majid Ali Lyu, Jin Nguyen, Johann Oleson II, Rex R. Stein, Gary Weide, Scott A. Vander Trinh, Viet Bölöni, Ladislau School of Electrical Engineering and Computer Science University of Central Florida Orlando FL United States

ISBN: (纸本)9783540719557

We report on a study in which twelve different paradigms were used to implement agents acting in an environment which borrows elements from artificial life and multi-player strategy games. In choosing the paradigms we strived to maintain a balance between high level, logic based approaches to low level, physics oriented models;between imperative programming, declarative approaches and "learning from basics" as well as between anthropomorphic or biologically inspired models on one hand and pragmatic, performance oriented approaches on the other. Instead of strictly numerical comparisons (which can be applied to certain pairs of paradigms, but might be meaningless for others), we had chosen to view each paradigm as a methodology, and compare the design, development and debugging process of implementing the agents in the given paradigm. We found that software engineering techniques could be easily applied to some approaches, while they appeared basically meaningless for other ones. The performance of some agents were easy to predict from the start of the development, for other ones, impossible. The effort required to achieve certain functionality varied widely between the different paradigms. Although far from providing a definitive verdict on the benefits of the different paradigms, our study provided a good insight into what type of conceptual, technical or organizational problems would a development team face depending on their choice of agent paradigm. © Springer-Verlag Berlin Heidelberg 2007.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Dynamic Interaction Protocol Load in multi-agent System Collaboration

Dynamic Interaction Protocol Load in Multi-Agent System Coll...

引用

8th Pacific Rim international workshop on multi-agents (PRIMA 2005)

作者： Wang, Maoguang Shi, Zhongzhi Jiao, Wenpin Peking Univ Inst Software Engn Beijing 100871 Peoples R China Chinese Acad Sci Inst Comp Technol Key Lab Intelligent Informat Proc Beijing 100080 Peoples R China

ISBN: (纸本)9783642033377

multi-agent system(MAS) has more advantages because the agents can collaborate to complete complex tasks. However, the multi-agent interactions are more complex and even uncontrolled and it is difficult to resolve the multi-agent collaborations. This paper focuses on the interaction protocol in MAS. firstly the interaction ontology library including role ontology, action ontology and message ontology is introduced into the semantic interactions. Then the representation of interaction protocol is presented, which describes an interaction protocol as process description and decision-making rules. Then we propose a three-layer agent architecture that contains knowledge layer, collaboration control layer and communication layer. We embed a protocol interpreter and loader into the collaboration control layer to deal with the interactions between agents. Finally dynamic interaction protocol load in MAS are discussed, which load the interaction protocol from protocol library conveniently and the code will be generated automatically. To the end we give an experiment to verify our resolution.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Team oriented programming and proxy agents: The next generation 1

Team oriented programming and proxy agents: The next generat...

引用

1st international workshop on programming multiagent systems: Languages, Frameworks, Techniques and Tools, promas 2003

作者： Scerri, Paul Pynadath, David V. Schurr, Nathan Farinelli, Alessandro Gandhe, Sudeep Tambe, Milind Carnegie Mellon University United States University of Southern California United States

ISBN: (纸本)9783540221807

Coordination between large teams of highly heterogeneous entities will change the way complex goals are pursued in real world environments. One approach to achieving the required coordination in such teams is to give each team member a proxy that assumes routine coordination activities on behalf of its team member. Despite that approach’s success, as we attempt to apply this first generation of proxy architecture to larger teams in more challenging environments, some limitations become clear. In this paper, we present initial efforts on the next generation of proxy architecture and Team Oriented programming (TOP), called Machinetta. Machinetta aims to overcome the limitations of the previous generation of proxies and allow effective coordination between very large teams of highly heterogeneous agents. We describe the principles underlying the design of the Machinetta proxies and present initial results from two domains. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Human resource management

来源：评论

学校读者我要写书评

暂无评论

The ROADMAP meta-model for intelligent adaptive multi-agent systems in open environments

引用

4th international workshop on agent-Oriented Software Engineering (AOSE 2003)

作者： Juan, T Sterling, L Univ Melbourne Intelligent Agent Lab Dept Comp Sci & Software Engn Parkville Vic 3052 Australia

ISBN: (纸本)3540208267

In this paper, we introduce the ROADMAP meta-model, designed to describe intelligent adaptive systems in open environments, using agent concepts such as roles. Developing intelligent adaptive systems creates new challenges in engineering software quality attributes such as correctness and reliability. The ROADMAP meta-model captures our understanding of properties of intelligent adaptive systems and our perspective on organizational concepts such as roles. The, meta-model does not solve specific engineering problems, but provides a clean high-level structure where engineering issues can be grouped and classified. Infrastructure to support these issues can then be put in place progressively with consistency. An informal evaluation of the meta-model and comparison to related work is also presented. We expect developers of AOSE methodologies, tools, programming languages and frameworks to benefit from understanding the design and structure of the ROADMAP meta-model. By adopting the meta-model, the resulting methodologies, tools and languages may inherit its desirable characteristics. and better support the development of intelligent adaptive systems in open environments.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

2nd international workshop on Formal Approaches to agent-Based systems, FAABS 2002

2nd International Workshop on Formal Approaches to Agent-Bas...

引用

2nd international workshop on Formal Approaches to agent-Based systems, FAABS 2002

ISBN: (纸本)9783540406655

The proceedings contain 36 papers. The special focus in this conference is on Formal Approaches to agent-Based systems. The topics include: A state chart framework for agent roles that captures expertise and learns improved behavior;formal specification of interaction in agent societies;formal verification for a next-generation space shuttle;towards interaction protocol operations for large multi-agent systems;formal modeling and supervisory control of reconfigurable robot teams;computational models for multiagent coordination analysis;bounded model checking for interpreted systems;verifiable middleware for secure agent interoperability;distributed implementation of a connection graph based on cylindric set algebra operators;using state charts and modal logics to model multiagent plans and transactions;an implementation language for agents with advanced reasoning capabilities;a model for conformance testing of mobile agents in a MASIF framework;analysis of a phase transition in a physics-based multiagent system;taking intelligent agents to the battlefield;naval applications of secure multi-agent technology;using xml for interprocess communications in a space situational awareness and control application;challenges arising from applications of agent-based system;tools and education towards formal methods practice;evaluating agent-based modeling as a tool for economists;towards a formal representation of driving behaviors;formal analysis of an agent-based medical diagnosis confirmation system and agent programming in dribble.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2013年 7837 LNAI卷 VI页

作者： Dastani, Mehdi Hübner, Jomi F. Logan, Brian Utrecht University Intelligent Systems Group Utrecht 3508 TB Netherlands Federal University of Santa Catarina Department of Automation and Systems Engineering Florianópolis 88040-900 Brazil University of Nottingham School of Computer Science Nottingham NG8 1BB United Kingdom

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：