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

Partially observable game-theoretic agent programming in Golog

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2020年 119卷 220-241页

作者： Finzi, Alberto Lukasiewicz, Thomas Univ Napoli Federico II DIETI Naples Italy Univ Oxford Dept Comp Sci Oxford England

In this paper, we present the agent programming language POGTGolog (Partially Observable Game-Theoretic Golog), which integrates explicit agent programming in Golog with game-theoretic multi-agent planning in partially observable stochastic games. In this framework, we assume one team of cooperative agents acting under partial observability, where the agents may also have different initial belief states and not necessarily the same rewards. POGTGolog allows for specifying a partial control program in a high-level logical language, which is then completed by an interpreter in an optimal way. To this end, we define a formal semantics of POGTGolog programs in terms of Nash equilibria, and we then specify a POGTGolog interpreter that computes one of these Nash equilibria. (C) 2020 Elsevier Inc. All rights reserved.

关键词： agent programming Cognitive robotics Multi-agent systems Reasoning about actions and change

来源：评论

学校读者我要写书评

暂无评论

agent programming in the Cognitive Era 21

Agent Programming in the Cognitive Era

引用

Proceedings of the 20th International Conference on Autonomous agents and Multiagent Systems

作者： Rafael H. Bordini Amal El Fallah Seghrouchni Koen Hindriks Brian Logan Alessandro Ricci Pontifical Catholic University of Rio Grande do Sul Porto Alegre Brazil Sorbonne Universite Paris France Vrije Universiteit Amsterdam Amsterdam Netherlands University of Nottingham Nottingham United Kingdom University of Bologna Bologna Italy

ISBN: (纸本)9781450383073

It is claimed that, in the nascent 'Cognitive Era', intelligent systems will be trained using machine learning techniques rather than programmed by software developers. A contrary point of view argues that machine learning has limitations, and, taken in isolation, cannot form the basis of autonomous systems capable of intelligent behaviour in complex environments. In this paper, we argue that the unique strengths of Belief-Desire-Intention (BDI) agent programming languages provide an ideal framework for integrating the wide range of AI capabilities necessary for progress towards the next-generation of intelligent systems.

关键词： agent programming BDI cognitive era belief-desire-intention machine learning

来源：评论

学校读者我要写书评

暂无评论

JS-son - A Lean, Extensible JavaScript agent programming Library 7th

JS-son - A Lean, Extensible JavaScript Agent Programming Lib...

引用

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

作者： Kampik, Timotheus Nieves, Juan Carlos Umea Univ S-90187 Umea Sweden

ISBN: (纸本)9783030514174;9783030514167

A multitude of agent-oriented software engineering frameworks exist, most of which are developed by the academic multi-agent systems community. However, these frameworks often impose programming paradigms on their users that are challenging to learn for engineers who are used to modern high-level programming languages such as JavaScript and Python. To show how the adoption of agent-oriented programming by the software engineering mainstream can be facilitated, we provide a lean JavaScript library prototype for implementing reasoning-loop agents. The library focuses on core agent programming concepts and refrains from imposing further restrictions on the programming approach. To illustrate its usefulness, we show how the library can be applied to multi-agent systems simulations on the web, deployed to cloud-hosted function-as-a-service environments, and embedded in Python-based data science tools.

关键词： Reasoning-loop agents agent programming Multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

"Go to the Children": Rethinking Intelligent agent Design and programming in a Developmental Learning Perspective 22

"Go to the Children": Rethinking Intelligent Agent Design an...

引用

Proceedings of the 21st International Conference on Autonomous agents and Multiagent Systems

作者： Alessandro Ricci Università di Bologna Cesena Italy

ISBN: (纸本)9781450392136

In this paper we propose to rethink the development of intelligent agents based on cognitive architectures as a developmental learning process, inspired by theories of learning in children and cognitive development. The idea is targeted to explore architectures, methods and tools to systematically develop intelligent agents capable of integrating both practical knowledge and skills designed by developers and knowledge and skills acquired by interacting in properly designed learning environments.

关键词： cognitive architectures causal learning agent programming developmental learning

来源：评论

学校读者我要写书评

暂无评论

Tractable reasoning about agent programming in Dynamic Preference Logic

Tractable reasoning about Agent Programming in Dynamic Prefe...

引用

7th Brazilian Conference on Intelligent Systems (BRACIS)

作者： Souza, Marlo Moreira, Alvaro Vieira, Renata Univ Fed Bahia Inst Math & Stat Salvador BA Brazil Univ Fed Rio Grande do Sul Inst Informat Porto Alegre RS Brazil Pontificia Univ Catolica Rio Grande do Sul Fac Informat Porto Alegre RS Brazil

ISBN: (纸本)9781538680230

While several BDI logics have been proposed in the area of agent programming, it is not clear how these logics are connected to the agent programs they are supposed to specify. More yet, the reasoning problems in these logics, being based on modal logic, are not tractable in general, limiting their usage to tackle real-world problems. In this work, we use of Dynamic Preference Logic to provide a semantic foundation to BDI agent programming languages and investigate tractable expressive fragments of this logic to reason about agent programs. With that, we aim to provide a way of implementing semantically grounded agent programming languages with tractable reasoning cycles.

关键词： Dynamic Epistemic Logic agent programming Formal Semantics BDI Logics

来源：评论

学校读者我要写书评

暂无评论

A Dynamic Preference Logic for reasoning about agent programming 6

A Dynamic Preference Logic for reasoning about Agent Program...

引用

6th Brazilian Conference on Intelligent Systems (BRACIS)

作者： Souza, Marlo Moreira, Alvaro Vieira, Renata Meyer, John-Jules Ch Fed Univ Bahia UFBA Salvador BA Brazil Fed Univ Rio Grande UFRGS Porto Alegre RS Brazil Pontifical Catholic Univ Rio Grande PUCRS Porto Alegre RS Brazil Univ Utrecht Uthrecht Netherlands

ISBN: (纸本)9781538624074

In this work, we investigate the use of Dynamic Preference Logic to encode BDI mental attitudes. Further, exploring this codification and the representation of preferences over possible worlds by preferences over propositional formulas, here called priority graphs, we comment on how to interpret BDI agent programs in this logic. Also, using the connection between dynamic operations defined over preference models and their encoding as transformations on priority graphs, we show how our logic can be used not only to reason about agent programs, but as a tool to specify reasoning mechanisms to guarantee certain properties in the theory of rationality for the programming language.

关键词： Dynamic Epistemic Logic agent programming Formal Semantics BDI Logics

来源：评论

学校读者我要写书评

暂无评论

Choices that make you chnage your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming languages

Choices that make you chnage your mind : a dynamic epistemic...

引用

作者： Souza, Marlo Vieira dos Santos e

As the notions of Agency and Multiagent System became important topics for the Computer Science and Artificial Intelligence communities, agent programming has been proposed as a paradigm for the development of computer systems. As such, in the last decade, we have seen the flourishing of the literature on agent programming with the proposal of several programming languages, e.g. agentSpeak (RAO, 1996; BORDINI; HUBNER;WOOLDRIDGE, 2007), Jadex (POKAHR; BRAUBACH; LAMERSDORF, 2005), JACK (HOWDEN et al., 2001), 3APL/2APL (DASTANI; VAN RIEMSDIJK; MEYER, 2005; DASTANI, 2008), GOAL (HINDRIKS et al., 2001), among others. agent programming is a programming paradigm proposed by Shoham (1993) in which the minimal units are agents. An agent is an entity composed of mental attitudes, that describe the its internal state - such as its motivations and decisions - as well as its relation to the external world - its beliefs about the world, its obligations, etc. This programming paradigm stems from the work on Philosophy of Action and Artificial Intelligence concerning the notions of intentional action and formal models of agents’ mental states. As such, the meaning (and properties) of notions such as belief, desire, intention, etc. as studied in these disciplines are of central importance to the area. Particularly, we will concentrate in our work on agent programming languages influenced by the so-called BDI paradigm of agency, in which an agent is described by her beliefs, desires, intentions. While the engineering of such languages has been much discussed, the connections between the theoretical work on Philosophy and Artificial Intelligence and its implementations in programming languages are not so clearly understood yet. This distance between theory and practice has been acknowledged in the literature for agent programming languages and is commonly known as the “semantic gap”. Many authors have attempted to tackle this problem for different programming languages, as for the ca

关键词： Semântica formal agent programming BDI agents agentes inteligentes Belief change Programacao orientada : agentes Goal change Dynamic epistemic logic Formal semantics Tese

来源：评论

学校读者我要写书评

暂无评论

Verifiable autonomy: From theory to applications

引用

AI COMMUNICATIONS 2022年第4期35卷 421-431页

作者： Dennis, Louise Dixon, Clare Fisher, Michael Univ Manchester Dept Comp Sci Manchester Lancs England

The Autonomy and Verification group(1) sits within the Department of Computer Science(2) at the University of Manchester. The group has a long history of research into agents and multi-agent systems (both at Manchester and, previously, at the University of Liverpool) particularly in the areas of formal specification and verification, multi-agent programming, ethical agent reasoning, and swarms, teams and organisations.

关键词： Formal verification agent programming ethical reasoning

来源：评论

学校读者我要写书评

暂无评论

Orpheus: programming Protocol-Based BDI agents 25

Orpheus: Programming Protocol-Based BDI Agents

引用

Proceedings of the 24th International Conference on Autonomous agents and Multiagent Systems

作者： Matteo Baldoni Samuel H. Christie, V Munindar P. Singh Amit K. Chopra University of Turin Turin Italy North Carolina State University Raleigh NC USA University of Lancaster Lancaster United Kingdom

ISBN: (纸本)9798400714269

We demonstrate Orpheus, a novel programming model for engineering BDI agents that communicate on the basis of protocols. In Orpheus, protocols are specified in BSPL and agents are implemented in Jason. Given a protocol, Orpheus tooling generates a Jason adapter that exposes a simple interface for sending messages based on protocol state. Orpheus shines in the implementation of flexible, loosely-coupled agents, long a challenge for BDI-based agent programming approaches.

关键词： agent programming

来源：评论

学校读者我要写书评

暂无评论

StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for agent Platforms 1

引用

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

作者： Ferrando, Angelo Papacchini, Fabio Univ Genoa Dept Comp Sci Bioengn Robot & Syst Engn DIBRIS Genoa Italy Univ Liverpool Dept Comp Sci Liverpool Merseyside England

ISBN: (数字)9783030974572

ISBN: (纸本)9783030974572;9783030974565

To apply BDI agents to real-world scenarios, the reality-gap, between the low-level data (perceptions) and their high-level representation (beliefs), must be bridged. This is usually achieved by a manual mapping. There are two problems with this solution: (i) if the environment changes, the mapping has to be changed as well (by the developer);(ii) part of the mapping might end up being implemented at the agent level increasing the code complexity and reducing its generality. In this paper, we present a general approach to automate the mapping between low-level data and high-level beliefs through the use of transducers. These transducers gather information from the environment and map them to high-level beliefs according to formal temporal specifications. We present our technique and we show its applicability through a case study involving the remote inspection of a nuclear plant.

关键词： agent programming Stream processing BDI model Abstract environment

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：