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

Proceedings of the second international joint conference on Autonomous agents and multiagent systems

作者： Birna van Riemsdijk Wiebe van der Hoek John-Jules Ch. Meyer Utrecht University The Netherlands University of Liverpool United Kingdom

ISBN: (纸本)9781581136838

To support the practical development of intelligent agents, several programming languages have been introduced that incorporate concepts from agent logics: on the one hand, we have languages that incorporate beliefs and plans (i.e., procedural goals), and on the other hand, languages that implement the concepts of beliefs and (declarative) goals. We propose the agent programming language Dribble, in which these features of procedural and declarative goals are combined. The language Dribble thus incorporates beliefs and goals as well as planning features. The idea is, that a Dribble agent should be able to select a plan to reach a goal from where it is at a certain point in time. In order to do that, the agent has beliefs, goals and rules to select plans and to create and modify plans. Dribble comes with a formally defined operational semantics and, on top of this semantics, a dynamic logic is constructed that can be used to specify and verify properties of Dribble agents. The correspondence between the logic and the operational semantics is established.

关键词： intelligent agent practical reasoning rule declarative goals plans agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A multi-agent approach to power system restoration

引用

IEEE TRANSACTIONS ON POWER SYSTEMS 2002年第2期17卷 457-462页

作者： Nagata, T Sasaki, H Hiroshima Inst Technol Dept Elect Engn Hiroshima Japan Hiroshima Univ Dept Elect Engn Hiroshima Japan

This paper proposes a multi-agent approach to power system restoration. The proposed system consists of a number of bus agents (BAGs) and a single facilitator agent (FAG). BAG is developed to decide a suboptimal target configuration after a fault occurrence by interacting with other BAGs based on only locally available information, while FAG is to act as a manager in the decision process. The interaction of several simple agents leads to a dynamic system, allowing efficient approximation of a solution. Simulation results have demonstrated that this method is able to reach suboptimal target configurations, which are favorably compared with those obtained by a mathematical programming approach.

关键词： agent-oriented programming Java multi-agent system power system restoration

来源：评论

学校读者我要写书评

暂无评论

A framework for designing, modeling and analyzing agent based software systems 5

A framework for designing, modeling and analyzing agent base...

引用

5th International Conference on Algorithms and Architectures for Parallel Processing

作者： Kavi, KM Aborizka, M Kung, D Univ N Texas Denton TX 76203 USA

ISBN: (纸本)0769515126

The agent paradigm is gaining popularity because it brings intelligence, reasoning and autonomy to software systems. agents are being used in an increasingly wide variety of applications from simple email filter programs to complex mission control and safety systems. However there appears to be very little work in defining practical software architecture, modeling and analysis tools that can be used by software engineers. This should be contrasted with object-oriented paradigm that is supported by models such as UML and CASE tools that aid during the analysis, design and implementation phases of object-oriented software systems. In our research we are developing a framework and extensions to UML to address this need. Our approach is rooted in the BDI formalism, but stresses the practical software design methods instead of reasoning about agents. In this paper we describe our preliminary ideas.

关键词： agent-oriented programming object-oriented programming BDI UML

来源：评论

学校读者我要写书评

暂无评论

Interaction-oriented software development

引用

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2001年第3期11卷 259-279页

作者： Huhns, MN Univ S Carolina Dept Comp Sci & Engn Columbia SC 29208 USA

This paper describes a new approach to the production of robust software. We first motivate the approach by explaining why the two major goals of software engineering - correct software and reusable software - are not being addressed by the current state of software practice. We then describe a methodology based on active, cooperative, and persistent software components, i.e., agents, and show how the methodology produces robust and reusable software. We derive requirements for the structure and behavior of the agents, and report on preliminary experiments on applications based on the methodology. We conclude with a roadmap for development of the methodology and ruminations about uses for the new computational paradigm.

关键词： agent-oriented programming multiagent systems

来源：评论

学校读者我要写书评

暂无评论

A multi-agent system for power system restoration

A multi-agent system for power system restoration

引用

Winter Meeting of the IEEE-Power-Engineering-Society

作者： Nagata, T Sasaki, H Hiroshima Inst Technol Dept Elect Engn Hiroshima Japan

ISBN: (纸本)0780366727

This paper proposes a multi-agent approach to power system restoration. The proposed system consists of several Bus agents (BAGs) and a single Facilitator agent (FAG). A BAG is developed to decide a sub-optimal target configuration after faults occur by interacting with other BAGs, while a FAG is developed to act as a manager for the decision process, The interaction of several simple agents leads to a dynamic system allowing efficient approximation of a solution. It is shown from simulation results that this method is able to obtain sub-optimal target configurations which are the same as ones obtained by a mathematical programming approach.

关键词： restoration multi-agent system agent-oriented programming Java

来源：评论

学校读者我要写书评

暂无评论

A logical analysis of the relationship between commitment and obligation

引用

Journal of Logic, Language and Information 2001年第2期10卷 237-261页

作者： Liau, Churn-Jung Institute of Information Science Academia Sinica 115 Taipei 128 Yen-Chiu-Yuan Road Taiwan

In this paper, we analyze the relationship between commitment and obligation from a logical viewpoint. The principle of commitment implying obligation is proven in a specific logic of action preference which is a generalization of Meyer's dynamic deontic logic. In the proposed formalism, an agent's commitment to goals is considered as a special kind of action which can change one's deontic preference and one's obligation to take some action is based on the preference and the effects of the action. In this logic, it is shown that an agent has the obligation to take any action which is necessary for achieving as many committed goals as possible. The semantics of our logic is based on the possible world models for the dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. According to the semantics, while the preference will influence the agent's choice of action, commitment is a kind of action that will change the agent's preference. Thus we can show how obligations arise from commitments via updating of deontic preference. The integrated semantics make it possible to express and reason about the mutual relationship among these mental attitudes in a common logic. © 2001 Kluwer Academic Publishers.

关键词： agent-oriented programming Deontic logic Dynamic logic Logic in AI Logic of commitment Logic of preference

来源：评论

学校读者我要写书评

暂无评论

SPLAW: A Computable Language for agent-oriented programming

引用

SIGPLAN Notices (ACM Special Interest Group on programming Languages) 1998年第1期33卷 61-69页

作者： Xiaocong, Fan Dianxiang, X.U. Jianmin, Hou Guoliang, Zheng Dept. of Comp. Sci. and Technology Nanjing University NanJing 210093 China

agent oriented programming (AOP), which is a special kind of object-oriented programming, has recently been discussed from several viewpoints. It can be worked out best for open systems and has the potential to become a very attractive technique in the future. In this paper, we describe a specification and programming language - SPLAW, for BDI agent. The syntax and operational semantics of SPLAW are presented, and by means of labeled transition system;the proof theory is also provided. SPLAW has two advantages. First, it is based on KQML, the standard inter-agent communication language, which makes it possible for agents written in SPLAW to interoperate with other agents obeying KQML. And second, it has the correspondent relationship between its operational semantics and proof theory. Owing to these, we hope that SPLAW will provide a feasible solution to bridge the gap between theory and practice.

关键词： agent-based computing agent-oriented programming Inheritance KQML

来源：评论

学校读者我要写书评

暂无评论

A multi-agent approach to power system restoration

A multi-agent approach to power system restoration

引用

International Conference on Power System Technology (POWERCON 2000)

作者： Nagata, T Watanabe, H Ohno, M Sasaki, H Hiroshima Inst Technol Dept Elect Engn Hiroshima Japan

ISBN: (纸本)0780363388

This paper proposes a multi-agent approach to power system restoration. The proposed system consists of several Bus agents (BAGs) and a single Facilitator agent (FAG). A BAG is developed to decide a sub-optimal target configuration after faults occur by interacting with other BAGs, while a FAG is developed to act as a manager for the decision process. The interaction of several simple agents leads to a dynamic system allowing efficient approximation of a solution. It is shown from simulation results that this method is able to obtain sub-optimal target configurations which are the same as ones obtained by a mathematical programming approach.

关键词： restoration multi-agent system agent-oriented programming Java

来源：评论

学校读者我要写书评

暂无评论

agent programming in 3APL

引用

Autonomous agents and Multi-agent Systems 1999年第4期2卷 357-401页

作者： Hindriks, Koen V. De Boer, Frank S. Van Der Hoek, Wiebe Meyer, John-Jules Ch. University Utrecht Department of Computer Science 3508 TB Utrecht P.O. Box 80.089 Netherlands

An intriguing and relatively new metaphor in the programming community is that of an intelligent agent. The idea is to view programs as intelligent agents acting on our behalf. By using the metaphor of intelligent agents the programmer views programs as entities which have a mental state consisting of beliefs and goals. The computational behaviour of an agent is explained in terms of the decisions the agent makes on the basis of its mental state. It is assumed that this way of looking at programs may enhance the design and development of complex computational systems. To support this new style of programming, we propose the agent programming language 3APL. 3APL has a clear and formally defined semantics. The operational semantics of the language is defined by means of transition systems. 3APL is a combination of imperative and logic programming. From imperative programming the language inherits the full range of regular programming constructs, including recursive procedures, and a notion of state-based computation. States of agents, however, are belief or knowledge bases, which are different from the usual variable assignments of imperative programming. From logic programming, the language inherits the proof as computation model as a basic means of computation for querying the belief base of an agent. These features are well-understood and provide a solid basis for a structured agent programming language. Moreover, on top of that 3APL agents use so-called practical reasoning rules which extend the familiar recursive rules of imperative programming in several ways. Practical reasoning rules can be used to monitor and revise the goals of an agent, and provide an agent with reflective capabilities. Applying the metaphor of intelligent agents means taking a design stance. From this perspective, a program is taken as an entity with a mental state, which acts pro-actively and reactively, and has reflective capabilities. We illustrate how the metaphor of intelligent agents

关键词： agent-oriented programming Comparison of agent programming languages Control structure Formal semantics Intelligent agent Meta transition system Practical reasoning rule Selection mechanism

来源：评论

学校读者我要写书评

暂无评论

Multi-agent-systems based on Coloured Petri nets 18th

Multi-agent-systems based on Coloured Petri nets

引用

18th International Conference on Application and Theory of Petri Nets

作者： Moldt, D Wienberg, F Univ Hamburg Fachbereich Informat Arbeitsbereich TGI D-22527 Hamburg Germany

ISBN: (纸本)3540631399

Based on Y. Shoham's paradigm, called agent-oriented programming (AOP), multi-agent-systems are presented as a specialization of distributed, Object-oriented systems. Equipped with knowledge, general concurrent inference mechanisms dealing with this knowledge, and a declarative agent program, these multi-agent-systems are intended to be a foundation of a new approach uniting advantages of many contributing areas: The precise semantics of Petri nets, the abstraction and encapsulation proposed in Object-oriented approaches, and the power of logic programming, making it easy to adopt well-known AI-methods. As an example, an urban traffic information system will be designed which solves path searching problems in a distributed graph.

关键词： multi-agent-system agent-oriented programming Distributed Artificial Intelligence Distributed Object-Orientation Coloured Petri net

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：