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

13th IFIP TC8 International Conference on Computer Information Systems and Industrial Management Applications (CISIM)

作者： Bhattacharya, Adrija Das, Avirup Choudhury, Sankhayan Chaki, Nabendu Univ Calcutta Kolkata 700073 W Bengal India

ISBN: (纸本)9783662452370;9783662452363

Context is an important aspect towards service discovery and selection. It is represented by a set of quality parameters. Any change in value of any one of the context parameter's (CP) changes the entire context. Relevance of the discovered services is often measured by similarity between service context and user's context. If these two does not match for a particular user's query;then corresponding services cannot be invoked or even if invoked, would perform poor. This paper proposes a novel context management framework. This holds the context information within a domain in a structured way such that the service discovery mechanism works faster as well as yields better result in terms of relevance of services specific to the queries from user. Autonomy, reactivity, and veracity properties of an agent help in achieving improved dynamics for the proposed framework. Implementation of the concepts and a comparative study is also reported. The proposed framework performs well with respect to search time, population size as well as varieties of queries.

关键词： context service discovery agent programming search time

来源：评论

学校读者我要写书评

暂无评论

agent programming with temporally extended goals 09

Agent programming with temporally extended goals

引用

International Conference on Autonomous agents and Multiagent Systems

作者： Koen V. Hindriks Wiebe van der Hoek M. Birna van Riemsdijk Delft University of Technology University of Liverpool

ISBN: (纸本)9780981738161

In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of states instead of a set of desirable final states as the traditional notion of achievement goal does, and provide for more variety in the types of goals allowed. In this paper, we show how temporally extended goals can be integrated into the agent programming language Goal. The result is that Goal agents may now have both beliefs about the future as well as have temporally extended goals. We propose a new decision making mechanism that takes temporally extended goals into account, and investigate properties of this framework.

关键词： agent programming formal semantics goals temporal logic

来源：评论

学校读者我要写书评

暂无评论

Mutation Operators for Cognitive agent Programs 13

Mutation Operators for Cognitive Agent Programs

引用

International Conference on Autonomous agents and Multiagent Systems

作者： Sharmila Savarimuthu Michael Winikoff University of Otago

ISBN: (纸本)9781627487665

Testing multi-agent systems is a challenge, since by definition such systems are distributed, and are able to exhibit autonomous and flexible behaviour. One specific challenge in testing agent programs is developing a collection of tests (a "test suite") that is adequate for testing a given agent program. This requires a way of assessing the adequacy of a test suite. A well-established technique for assessing test suite adequacy is the use of mutation testing, where a test suite is assessed in terms of its ability to distinguish a program from its variants ("mutants"). However, work in this area has focused largely on the mutation of procedural and object-oriented languages. This paper proposes a set of (systematically derived) mutation operators for agentSpeak.

关键词： Mutation Testing agent programming

来源：评论

学校读者我要写书评

暂无评论

agent reasoning for norm compliance: a semantic approach 13

Agent reasoning for norm compliance: a semantic approach

引用

Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems

作者： M. Birna van Riemsdijk Louise A. Dennis Michael Fisher Koen V. Hindriks Delft University of Technology Delft Netherlands University of Liverpool Liverpool United Kingdom

ISBN: (纸本)9781450319935

A system of autonomous agents may exhibit undesirable or ineffective behavior if no form of regulation is imposed. Norms, describing how agents should ideally behave, can be used to address this issue if agents are able to reason about norms and adapt their behavior to comply with them (if they choose to do so). Assuming that which norms will have to be followed is unknown at design time, it is not possible to pre-program agents such that their behavior is norm compliant. Instead, we need a generic execution mechanism that allows agents to adapt their behavior at run-time, which is what we propose in this paper. The execution mechanism is defined on top of an abstract agent decision making mechanism. This is done by allowing the execution of actions by the agent decision making mechanism only if these are not forbidden according to norms, as well as triggering the execution of actions if this is required by norms. We specify norms using Linear Temporal Logic and define the operational semantics of the execution mechanism using techniques from executable temporal logic. We formally analyze properties of the execution mechanism, including norm compliance.

关键词： agent programming normative systems formal semantics

来源：评论

学校读者我要写书评

暂无评论

Agreeing on Role Adoption in Open Organisations

引用

KUNSTLICHE INTELLIGENZ 2012年第1期26卷 37-45页

作者： Aldewereld, Huib Dignum, Virginia Jonker, Catholijn M. van Riemsdijk, M. Birna Delft Univ Technol ICT Sect Delft Netherlands Delft Univ Technol Man Machine Interact Delft Netherlands Delft Univ Technol Man Machine Interact Grp Delft Netherlands

The organisational specification of a multi-agent system supports agents' effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This requires that agents are able to find out about the organisational purpose and description and decide on its appropriateness for their own objectives. Organisational modeling languages are used to specify an agent system in terms of its roles, organizational structure, norms, etc. agents take part in organisations by playing one or more of the specified roles for which they have the necessary capabilities. In this paper, we investigate the process of role adoption in the context of the well-known OperA organisational modelling language. In OperA, each organisation has a gatekeeper role responsible for admitting agents to the organisation. agents playing the role of gatekeeper can interact with agents that want to enter the organisation in order to come to agreement on role adoption. That is, negotiate which roles they will play and under which conditions they will play them. This is possible by evaluating capability requirements for roles. We extend OperA to allow for the specification of role capabilities. This approach will be illustrated using the Blocks World for Teams (BW4T) domain.

关键词： agent programming Organizational modeling Role enactment

来源：评论

学校读者我要写书评

暂无评论

An empirical study of cognitive agent programs

引用

MULTIagent AND GRID SYSTEMS 2012年第2期8卷 187-222页

作者： van Riemsdijk, M. Birna Hindriks, Koen V. Jonker, Catholijn M. Delft Univ Technol EEMCS Delft Netherlands

Various agent programming languages and frameworks have been developed by now, but very few systematic studies have been done as to how the elements in these languages may be and are in fact used in practice. Performing a study of these aspects contributes to the design of instruments for facilitating development of high-quality agent programs, namely programming language, programming guidelines and teaching methods, and development environment. In this paper we propose an approach for empirically studying how programmers use a programming language, in which we identify several analysis dimensions. We perform two case studies in which we analyze agent programs written in the GOAL agent programming language along the identified dimensions. The case studies concern programs for the dynamic BlocksWorld and for controlling bots in the first-person shooter game UNREAL TOURNAMENT 2004. We evaluate our experimental setup and discuss to what extent our findings generalize to other cognitive agent programming languages. This provides insight into more practical aspects of the development of agent programs, and forms the basis for improvement of instruments for facilitating agent development.

关键词： agent programming empirical software engineering

来源：评论

学校读者我要写书评

暂无评论

A formal framework for reasoning about goal interactions 11

A formal framework for reasoning about goal interactions

引用

The 10th International Conference on Autonomous agents and Multiagent Systems - Volume 3

作者： Michael Winikoff University of Otago New Zealand

ISBN: (纸本)9780982657171

A defining characteristic of intelligent software agents is their ability to flexibly and reliably pursue goals, and many modern agent platforms provide some form of goal construct. However, these platforms are surprisingly naive in their handling of interactions between goals. Whilst previous work has provided mechanisms to identify and react appropriately to various sorts of interactions, it has not provided a framework for reasoning about goal interactions that is generic, extensible, formally described, and that covers a range of interaction types.

关键词： agent programming goals formal semantics

来源：评论

学校读者我要写书评

暂无评论

A communication protocol among agents for exchanging data in the extended enterprise

引用

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY 2010年第1-4期51卷 383-396页

作者： Lopez-Ortega, Omar Lopez de la Cruz, Karla Univ Autonoma Estado Hidalgo Ctr Invest Tecnol Informac & Sistemas Inst Ciencias Basicas & Ingn Pachuca Hidalgo Mexico

To compete in the current interconnected world, manufacturing companies shall explore varied forms of collaboration in order to maintain the creation of value-added goods and services. The extended enterprise is one of the proposed approaches to improve collaboration among individual enterprises. Such paradigm is based on the fact that core capabilities must be shared by participating firms so they can exploit jointly the best resources and practices each firm provides. Nevertheless, data exchange is not carried fluently due to poor coordination among the firms. We claim that business processes help define the dynamics of data exchange associated to core capabilities being the basis to establish a communication protocol among software agents. The resultant multi-agent system coordinates data flow among organizations. agents are given autonomy and intelligence to make decisions regarding the data that is either needed or offered, as defined by the corresponding business process. We present a case study to validate our proposal.

关键词： Business process Communication protocols agent programming Extended enterprise

来源：评论

学校读者我要写书评

暂无评论

Automatic Synthesis of Reactive agents

Automatic Synthesis of Reactive Agents

引用

11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010)

作者： Song, Insu Governatori, Guido Diederich, Joachim James Cook Univ Australia Sch Business & IT Singapore Singapore NICTA Natl ICT Australia Educ Queensland Res Lab Sydney NSW Australia

ISBN: (纸本)9781424478132

This paper introduces a new approach to designing smart control chips that enables automatic synthesis of real-time control systems from agent specifications. An agent specification is compiled into a hardware description format, such as RTL-VHDL (Register Transfer Level-VLSI Hardware Description Language) or RTL Verilog, which is synthesized using computer-assisted tools to develop ASIC masks or FPGA configurations. A rule-based specification language called Layered Argumentation System ( LAS) is defined and a sound and complete mapping to Verilog is developed. LAS combines fuzzy reasoning and non-monotonic reasoning. This enables chip designers to capture commonsense knowledge and concepts having varying degrees of confidence collaboratively and incrementally.

关键词： control systems reactive systems circuit synthesis agent programming fuzzy controller logic controller

来源：评论

学校读者我要写书评

暂无评论

Intelligent agent control using simple logic-based hierarchical planning

Intelligent agent control using simple logic-based hierarchi...

引用

IEEE International Conference on System of Systems Engineering

作者： Pham, Huy Mahmoud, Qusay H. Ferworn, Alexander Sadeghian, Alireza Univ Guelph Dept Comp & Info Sci Guelph ON N1G 2W1 Canada Ryerson Uni Dept Comp Sci Toronto ON Canada

We present a detailed case study of how DTGolog - a logic-based decision theoretic planner based on the language of Situation Calculus can be adapted to solve a limited but common and useful form of hierarchical plann... 详细信息

ISBN: (纸本)9781424447664

关键词： Intelligent agent agent programming Hierarchical Planning Logic-based planning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：