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

agent-oriented programming languages as a High-Level Abstraction Facilitating the Development of Intelligent Behaviours for Component-Based Applications 18th

Agent-Oriented Programming Languages as a High-Level Abstrac...

引用

18th International Conference on Principles and Practice of Multi-agent Systems (PRIMA)

作者： Russell, Sean O'Hare, G. M. P. Collier, Rem W. Univ Coll Dublin Sch Comp Sci Dublin 2 Ireland

ISBN: (纸本)9783319255248;9783319255231

Developing behaviours for complex component based systems is a difficult task. This paper evaluates the use of agent-oriented programming languages as a high level abstraction for performing this task. Evaluation carried out objectively shows that participants completed more tasks and subjectively they perceived that it was easier to use when compared with the same tasks performed using Java.

关键词： agent-oriented programming languages Component based applications Ease of development

来源：评论

学校读者我要写书评

暂无评论

Towards a Computational Model of Argumentation Schemes in agent-oriented programming languages

Towards a Computational Model of Argumentation Schemes in Ag...

引用

IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent agent Technology (WI-IAT)

作者： Panisson, Alison R. Bordini, Rafael H. Pontificia Univ Catolica Rio Grande do Sul Sch Technol Porto Alegre RS Brazil

ISBN: (纸本)9781665419246

There are many benefits of using argumentation-based techniques in multi-agent systems, as clearly shown in literature. Such benefits come not only from the expressiveness that such approaches bring to agent communication but also from the reasoning and decision-making capabilities under conditions of conflicting and uncertain information that argumentation brings to autonomous agents. When developing multi-agent applications in which argumentation will be used to improve agent communication and reasoning, argumentation schemes (i.e., reasoning patterns for argumentation) are useful in addressing the requirements of the application domain in regards to argumentation (e.g., defining the scope in which argumentation will be used by agents in that particular application). In this work, we propose a general argumentation framework that takes into account the particular structure of argumentation schemes at its core. This paper formally defines that framework and experimentally evaluates its implementation.

关键词： Argumentation Multi-agent Systems Argumentation Schemes agent-oriented programming languages

来源：评论

学校读者我要写书评

暂无评论

Knowledge Representation for Argumentation in agent-oriented programming languages 5

Knowledge Representation for Argumentation in Agent-Oriented...

引用

5th Brazilian Conference on Intelligent Systems (BRACIS)

作者： Panisson, Alison R. Bordini, Rafael H. Pontif Catholic Univ Rio Grande do Sul PUCRS Postgrad Programme Comp Sci Sch Informat FACIN Porto Alegre RS Brazil

ISBN: (纸本)9781509035663

Argumentation in multi-agent systems provides both a mechanism for agent reasoning under uncertainty and conflicting information as well as for communication in a more elaborate way, allowing agents to understand each other through the exchange of additional information when compared to other forms of agent communication. Even though argumentation techniques can play an important role in multi-agent systems, little research has been carried out on the issues in integrating argumentation techniques and agent-oriented programming languages, which would allow the development of practical applications taking advantage of such combined techniques. In this work, we present an argumentation framework developed on the basis of an agent-oriented programming language. We cover mainly the practical aspects of such integration, focusing on the knowledge representation expressivity resulting from it. Our approach allows the development of multi-agent applications where agents are able to use arguments in their decision-making processes as well as for communication. The framework has been successfully used as part of the development of a healthcare multi-agent prototype application.

关键词： agent-oriented programming languages Argumentation

来源：评论

学校读者我要写书评

暂无评论

Modelling deception using theory of mind in multi-agent systems

引用

AI COMMUNICATIONS 2019年第4期32卷 287-302页

作者： Sarkadi, Stefan Panisson, Alison R. Bordini, Rafael H. McBurney, Peter Parsons, Simon Chapman, Martin Kings Coll London Dept Informat London England Pontificia Univ Catolica Rio Grande do Sul Sch Technol Porto Alegre RS Brazil Univ Fed Pelotas Ctr Technol Dev Pelotas RS Brazil

Agreement, cooperation and trust would be straightforward if deception did not ever occur in communicative interactions. Humans have deceived one another since the species began. Do machines deceive one another or indeed humans? If they do, how may we detect this? To detect machine deception, arguably requires a model of how machines may deceive, and how such deception may be identified. Theory of Mind (ToM) provides the opportunity to create intelligent machines that are able to model the minds of other agents. The future implications of a machine that has the capability to understand other minds (human or artificial) and that also has the reasons and intentions to deceive others are dark from an ethical perspective. Being able to understand the dishonest and unethical behaviour of such machines is crucial to current research in AI. In this paper, we present a high-level approach for modelling machine deception using ToM under factors of uncertainty and we propose an implementation of this model in an agent-oriented programming Language (AOPL). We show that the Multi-agent Systems (MAS) paradigm can be used to integrate concepts from two major theories of deception, namely Information Manipulation Theory 2 (IMT2) and Interpersonal Deception Theory (IDT), and how to apply these concepts in order to build a model of computational deception that takes into account ToM. To show how agents use ToM in order to deceive, we define an epistemic agent mechanism using BDI-like architectures to analyse deceptive interactions between deceivers and their potential targets and we also explain the steps in which the model can be implemented in an AOPL. To the best of our knowledge, this work is one of the first attempts in AI that (i) uses ToM along with components of IMT2 and IDT in order to analyse deceptive interactions and (ii) implements such a model.

关键词： Deception theory of mind agent-oriented programming languages machine deception

来源：评论

学校读者我要写书评

暂无评论

A computational model of argumentation schemes for multi-agent systems

引用

ARGUMENT & COMPUTATION 2021年第3期12卷 357-395页

作者： Panisson, Alison R. McBurney, Peter Bordini, Rafael H. UFSC Dept Comp Ararangua Brazil KCL Dept Informat London England Pontificia Univ Catolica Rio Grande do Sul Sch Technol Porto Alegre RS Brazil

There are many benefits of using argumentation-based techniques in multi-agent systems, as clearly shown in the literature. Such benefits come not only from the expressiveness that argumentation-based techniques bring to agent communication but also from the reasoning and decision-making capabilities under conditions of conflicting and uncertain information that argumentation enables for autonomous agents. When developing multi-agent applications in which argumentation will be used to improve agent communication and reasoning, argumentation schemes (reasoning patterns for argumentation) are useful in addressing the requirements of the application domain in regards to argumentation (e.g., defining the scope in which argumentation will be used by agents in that particular application). In this work, we propose an argumentation framework that takes into account the particular structure of argumentation schemes at its core. This paper formally defines such a framework and experimentally evaluates its implementation for both argumentation-based reasoning and dialogues.

关键词： Argumentation multi-agent systems argumentation schemes agent-oriented programming languages

来源：评论

学校读者我要写书评

暂无评论

Slicing agent Programs for More Efficient Verification 6th

Slicing Agent Programs for More Efficient Verification

引用

6th International Workshop on Engineering Multi-agent Systems (EMAS)

作者： Winikoff, Michael Dennis, Louise Fisher, Michael Victoria Univ Wellington Wellington New Zealand Univ Liverpool Liverpool Merseyside England

ISBN: (纸本)9783030256937;9783030256920

agent programs are increasingly used as the core high-level decision-making components within a range of autonomous systems and, as the deployment of such systems in safety-critical scenarios develops, the need for strong and trustworthy verification becomes acute. Formal verification techniques such as model-checking provide this high level of assurance yet they are typically both complex and slow to deploy. In this chapter we introduce, develop and evaluate a program slicing technique that significantly improves the efficiency of such verification, hence providing more effective routes to the assurance of safety, reliability, and ethics in autonomous systems.

关键词： Formal verification Program analysis agent-oriented programming languages

来源：评论

学校读者我要写书评

暂无评论

Formal Semantics of Speech Acts for Argumentative Dialogues 13

Formal Semantics of Speech Acts for Argumentative Dialogues

引用

International Conference on Autonomous agents and Multiagent Systems (AAMAS)

作者： Panisson, Alison R. Meneguzzi, Felipe Fagundes, Moser Silva Vieira, Renata Bordini, Rafael H. Pontifical Catholic Univ Rio Grande Sul PUCRS Sch Informat FACIN Postgrad Programme Comp Sci Porto Alegre RS Brazil

ISBN: (纸本)9781450327381

In this paper, we give formal semantics to speech acts for argumentative dialogues in the context of an agent-oriented programming language. Our approach to giving formal semantics to such speech acts uses operational semantics and builds upon existing work that provides computationally grounded semantics for agent mental attitudes such as beliefs and goals.

关键词： Multi-agent Dialogues Argumentation Formal Semantics agent-oriented programming languages

来源：评论

学校读者我要写书评

暂无评论

Towards Practical Argumentation in Multi-agent Systems 4

Towards Practical Argumentation in Multi-Agent Systems

引用

4th Brazilian Conference on Intelligent Systems (BRACIS)

作者： Panisson, Alison R. Meneguzzi, Felipe Vieira, Renata Bordini, Rafael H. Pontifical Catholic Univ Rio Grande do Sul PUCRS Sch Informat FACIN Porto Alegre RS Brazil

ISBN: (纸本)9781509000166

Argumentation is a key technique for reaching agreements in multi-agent systems. However, there are few practical approaches to develop multi-agent systems where agents engage in argumentation-based dialogues. In this paper, we give formal semantics to speech acts for argumentation-based dialogues in the context of an agent-oriented programming language. Our approach uses operational semantics and builds upon existing work that provides computationally grounded semantics for agent mental attitudes such as beliefs and goals. The paper also shows how our formal semantics can be used to prove properties of argumentation in multi-agent systems with direct reference to mental attitudes. We do so with an example of a proof sketch of termination of multi-agent dialogues under certain assumptions.

关键词： agent-oriented programming languages Argumentation Formal semantics

来源：评论

学校读者我要写书评

暂无评论

Using ICARO-T Framework for Reactive agent-Based Mobile Robots 8th

Using ICARO-T Framework for Reactive Agent-Based Mobile Robo...

引用

8th International Conference on Practical Applications of agents and Multi-agent Systems

作者： Manuel Gascuena, Jose Fernandez-Caballero, Antonio Garijo, Francisco J. Univ Castilla La Mancha Dept Sistemas Informat Albacete 02071 Spain Univ Toulouse 3 Inst Recherche Informat Toulouse Equipe SMAC F-31062 Toulouse 9 France

ISBN: (纸本)9783642123832

This paper describes the experience and the results of using agent-based component patterns for developing mobile robots. The work is based on the open source ICARO-T framework, which provides four categories of component patterns: agent organization pattern to describe the overall architecture of the system, cognitive and reactive agent patterns to model agent behavior, and resource patterns to encapsulate computing entities providing services to agents. The experimental setting is based on the development of a team of cooperating robots for achieving surveillance tasks. The approached development, illustrated with working examples of the utilization of the patterns, is detailed.

关键词： agent-oriented programming languages agent framework Reactive mobile robots

来源：评论

学校读者我要写书评

暂无评论

Integrating Ontologies with Multi-agent Systems through CArtAgO Artifacts

Integrating Ontologies with Multi-Agent Systems through CArt...

引用

IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent agent Technology (WI-IAT)

作者： Freitas, Artur Panisson, Alison R. Hilgert, Lucas Meneguzzi, Felipe Vieira, Renata Bordini, Rafael H. Pontifical Catholic Univ Rio Grande do Sul PUCRS Sch Informat FACIN Postgrad Programme Comp Sci Porto Alegre RS Brazil

ISBN: (纸本)9781467396189

Several advantages can be obtained by allowing multi-agent systems to easily access ontologies, for example, in scenarios where agents make their decisions based on the knowledge provided by ontologies. Thus, this paper presents an infrastructure to allow the use of web ontologies in different agent-oriented platforms. The agents use this infrastructure layer as a tool for storing, accessing and querying domain-specific OWL ontologies. As a result, this layer allows an integration of agent platforms with semantic web data and ontologies. We exemplify in practice how agents, coded in one such platform, can use the proposed access layer to ontological reasoning engines, as well as which features can be obtained from it. The performance of this semantic infrastructure is evaluated and compared against usual knowledge representation in agent programming.

关键词： Ontology agent-oriented programming languages Multi-agent Systems CArtAgO

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：