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

IEEE International Conference on Information Reuse and Integration (IRI-2003)

作者： Vecchiola, C Coccoli, M Boccalatte, A Univ Genoa Dept Commun Comp & Syst Sci Genoa Italy

ISBN: (纸本)0780382420

This paper describes a suite of extensions to the object oriented model, steering OO programming towards the agent programming paradigm;such set of extensions is called agent programming extensions (APX). APX has been specifically designed to leverage the development of agent-based systems, a widely adopted paradigm to model complex and dynamic software systems. A brief survey of the most commonly used approaches to agent programming is presented, against which APX is evaluated. Then the structure of APX is described and the programming interface offered to the developers illustrated. The developers' point of view, who can greatly benefit from the component-based platform which APX relies upon is also taken into account.

关键词： agent programming program compilers computer languages software packages

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

agent programming via planning programs 10

Agent programming via planning programs

引用

Proceedings of the 9th International Conference on Autonomous agents and Multiagent Systems: volume 1 - Volume 1

作者： Giuseppe De Giacomo Fabio Patrizi Sebastian Sardina Sapienza Università di Roma Roma Italy RMIT University Melbourne Australia

ISBN: (纸本)9780982657119

We imagine agent "planning" programs as programs built from achievement and maintenance goals. Their executions require the ability to meet such goals while respecting the programs' control flow. The question then is: can we always guarantee the execution of such programs? In this paper, we define this novel planning-programming problem formally, and propose a sound, complete and optimal wrt computational complexity technique to actually generate a solution by appealing to recent results in LTL-based synthesis of reactive systems.

关键词： synthesis planning model checking agent programming LTL

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Rich goal types in agent programming 11

Rich goal types in agent programming

引用

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

作者： Mehdi Dastani M. Birna van Riemsdijk Michael Winikoff Utrecht University The Netherlands Delft University of Technology The Netherlands University of Otago New Zealand

ISBN: (纸本)9780982657157

Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals in agent programming frameworks only deals with a limited set of goal types, typically achievement goals, and sometimes maintenance goals. In this paper we extend a previously proposed unifying framework for goals with additional richer goal types that are explicitly represented as Linear Temporal Logic (LTL) formulae. We show that these goal types can be modelled as a combination of achieve and maintain goals. This is done by providing an operationalization of these new goal types, and showing that the operationalization generates computation traces that satisfy the temporal formula.

关键词： agent programming formal semantics goals

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：