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

A Description of the Jadescript Type System 1

3rd International Conference on Distributed Artificial Intelligence, DAI 2021

作者： Petrosino, Giuseppe Iotti, Eleonora Monica, Stefania Bergenti, Federico Dipartimento di Scienze e Metodi dell’Ingegneria Università degli Studi di Modena e Reggio Emilia Modena Italy Dipartimento di Scienze Matematiche Fisiche e Informatiche Università degli Studi di Parma Parma Italy

ISBN: (数字)9783030946623

ISBN: (纸本)9783030946616

Jadescript is an agent-oriented programming language that benefits from JADE, the popular framework to develop multi-agent systems in Java. The major goal behind the introduction of Jadescript is to simplify the implementation of real-world multi-agent systems by devising a language with specific linguistic constructs for agent-oriented abstractions. However, Jadescript needs to be coherent and consistent across its several features to effectively achieve its goals. This paper discusses some of the most relevant decisions taken during the design of Jadescript by means of an informal description of its type system. The discussed type system includes ordinary types, as found in many other programming languages, but it also includes a few types that are needed to adequately support relevant agent-oriented abstractions. © 2022, Springer Nature Switzerland AG.

关键词： agent-oriented programming agent-oriented software engineering JADE Jadescript

来源：评论

学校读者我要写书评

暂无评论

agents come to bits: Towards a constructive comprehensive taxonomy of economic entities

引用

JOURNAL OF ECONOMIC BEHAVIOR & ORGANIZATION 2007年第2期63卷 333-346页

作者： Tesfatsion, Leigh Iowa State Univ Dept Econ Ames IA 50011 USA

Mirowski [Mirowski, P., 2007. Markets come to bits: evolution, computation, and markomata in economic science. Journal of Economic Behavior and Organization 63, 209-242] argues for a constructive approach to economic modeling centered on markets as evolving computational entities. This essay counters that a broader constructive approach to economic modeling can and should be taken. The recent advent of powerful computer technologies supporting agent-based modeling (ABM) renders feasible the computational study of economies modeled as evolving systems of interacting agents. In ABM, an "agent" refers broadly to bundled data and behavioral methods representing an entity constituting part of a computationally constructed world. Examples of possible agent referents include individuals, social groupings, institutions (e.g., markets), biological entities such as crops, and physical entities such as transportation networks and weather. Consequently, ABM provides tremendous opportunities for economists and other social scientists to tailor the breadth and depth of the entities represented in their models to the application at hand. A simple ABM of a two-sector decentralized market economy is used for concrete illustration. (c) 2006 Elsevier B.V. All rights reserved.

关键词： agent-based modeling agent-based computational economics structure institution behavior decentralized market economies agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

tATAmI: A Platform for the Development and Deployment of agent-based AmI Applications

引用

Procedia Computer Science 2015年 52卷 476-483页

作者： Andrei Olaru Marius-Tudor Benea Amal El Fallah Seghrouchni Adina Magda Florea Computer Science Department - University Politehnica of Bucharest Romania LIP6 - University Pierre and Marie Curie France

In the vision of a future pervaded by Ambient Intelligence (AmI), innovative solutions are required in order to facilitate the development of applications able to fulfill the real needs of the users. In using agents for building AmI applications, there is a lack of platforms and languages that strike a good balance between flexibility and power of expression, on the one hand, and ease of use and quick deployment, on the other hand. We introduce the tATAmI platform, which together with the S-CLAIM AOP language presents a suitable solution for these issues. This paper presents the architecture of tATAmI together with a brief description of two scenarios that were implemented using the platform and some other important technical aspects concerning it.

关键词： ambient intelligence multi-agent systems agent-oriented programming cross-platform deployment

来源：评论

学校读者我要写书评

暂无评论

Security in Multi-agent Systems

引用

Procedia Computer Science 2015年 60卷 1604-1612页

作者： Yaqin Hedin Esmiralda Moradian Department of Computer and Systems Sciences Stockholm University SE-164-07 Kista Sweden

Multi-agent systems become more and more popular due to successful implementations in different fields. However, there is a number of threats that can compromise security of the agent and jeopardize systems security. Therefore, security issues should be taken into consideration during development of multi-agent systems. However, different existing methodologies that provide guidelines and models for development of multi-agent systems omit security. Therefore, there is a great need in offering security solutions which are integrated with system functionalities. This research presents a model for securing multi-agent systems, which is developed, based on the concepts and models regarding agent's role and communications. Moreover, possible attacks on multi-agent systems are presented and threats are categorized. Furthermore, general security requirements at the agent and the system levels are defined and considered in the proposed model.

关键词： Multi-agent system security Threats attacks and vulnerabilities agent-oriented programming security requirements.

来源：评论

学校读者我要写书评

暂无评论

Reasoning about strategies of multi-agent programs 10

Reasoning about strategies of multi-agent programs

引用

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

作者： Mehdi Dastani Wojciech Jamroga Utrecht University Utrecht the Netherlands University of Luxembourg and Clausthal University of Technology

ISBN: (纸本)9780982657119

Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent programs executed concurrently. We choose alternating-time temporal logic (ATL) for expressing properties of such programs. However, the original ATL is based on a synchronous model of multi-agent computation while most (if not all) multi-agent programming frameworks use asynchronous semantics where activities of different agents are interleaved. Moreover, unlike in ATL, our agent programs do not have perfect information about the current global state of the system. They are not appropriate subjects for modal epistemic logic either (since they do not know the global model of the system). We begin by adapting the semantics of ATL to the situation at hand; then, we consider the verification problem in the new setting and present some preliminary results.

关键词： strategic logic model checking agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

MAIDS - A Framework for the Development of Multi-agent Intentional Dialogue Systems 23

MAIDS - A Framework for the Development of Multi-Agent Inten...

引用

Proceedings of the 2023 International Conference on Autonomous agents and Multiagent Systems

作者： Débora C. Engelmann Alison R. Panisson Renata Vieira Jomi Fred Hübner Viviana Mascardi Rafael H. Bordini PUCRS & University of Genoa Porto Alegre Brazil UFSC Araranguá Brazil University of Évora Evora Portugal UFSC Florianopolis Brazil University of Genoa Genova Italy PUCRS Porto Alegre Brazil

ISBN: (纸本)9781450394321

This paper introduces a framework for programming highly sophisticated multi-agent dialogue systems. The framework is based on a multi-part agent belief base consisting of three components: (i) the main component is an extension of an agent-oriented programming belief base for representing defeasible knowledge and, in particular, argumentation schemes; (ii) an ontology component where existing OWL ontologies can be instantiated; and (iii) a theory of mind component where agents keep track of mental attitudes they ascribe to other agents. The paper formalises a structured argumentation-based dialogue game where agents can "digress" from the main dialogue into subdialogues to discuss ontological or theory of mind issues. We provide an example of a dialogue with an ontological digression involving humans and agents, including a chatbot that we developed to support bed allocation in a hospital; we also comment on the initial evaluation of that chatbot carried out by domain experts. That example is also used to show that our framework supports all features of recent desiderata for future dialogue systems.

关键词： argumentation theory of mind agent-oriented programming ontological reasoning dialogue systems

来源：评论

学校读者我要写书评

暂无评论

Inertial Navigation algorithms

Inertial Navigation algorithms

引用

IEEE Annual Conference on Pervasive Computing and Communications Workshops (PerCom)

作者： Ken Mulder Maiga Chang Larbi Esmahi Mohamed Jemni School of Computing and Information Systems Athabasca University Canada Research Laboratory of Technologies of Information and Communication & Electrical Engineering University of Tunis Tunis Tunisia

ISBN: (纸本)9781509043392

The main goal of this research is to design an Inertial Navigation System (INS) which can effectively position a user by using a monocular camera with fiducial markers. People have become accustom to the ease of navigating with Global Navigation Satellite Systems (GNSS) but the system fails indoors when signals degrade. This paper describes the work in progress of the system design, the algorithms in particular, to provide reasonably accurate, precise and reliable indoor navigation.

关键词： inertial navigation fiducial marker spatial cognition augmented reality agent-oriented programming INERTIAL NAVIGATION Fiducial Markers object oriented programming augmented reality monocular camera work in progress geolocation measurement

来源：评论

学校读者我要写书评

暂无评论

agentSpeak(ER): An Extension of agentSpeak(L) improving Encapsulation and Reasoning about Goals 18

AgentSpeak(ER): An Extension of AgentSpeak(L) improving Enca...

引用

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

作者： Alessandro Ricci Rafael Hector Bordini Jomi F. Hübner Rem Collier University of Bologna Cesena Italy POLI-PUCRS Porto Alegre RS Brazil DAS Federal University of Santa Catarina Florianópolis SC Brazil University College of Dublin Dublin Ireland

In this paper we introduce agentSpeak(ER), an extension of the agentSpeak(L) language tailored to support encapsulation. The agentSpeak(ER) extension aims at improving the style of BDI agent programming along relevant aspects, including program modularity and readability, failure handling, and reactive as well as goal-based reasoning.

关键词： jason agentspeak(l) agentspeak(er) bdi astra agent-oriented programming agent programming languages

来源：评论

学校读者我要写书评

暂无评论

A Cloud Computing Platform for Lifecycle Support of Intelligent Multi-agent Internet-services

A Cloud Computing Platform for Lifecycle Support of Intellig...

引用

2015 International Conference on Power Electronics and Energy Engineering（PEEE 2015）

作者： V.Gribova A.Kleschev D.Krylov P.Moskalenko V.Timchenko E.Shalfeyeva Institute for Automation and Control Processes Russian Academy of Sciences 5 Radio St.

The paper presents a concept of a platform for cloud computing which is intended for development, control and usage of intelligent multi-agent Internet-services. The main purpose of the platform is to decrease the eff... 详细信息

关键词： agent-oriented programming Cloud computing Internet-services

来源：评论

学校读者我要写书评

暂无评论

Multi-agent modelling and simulation of graph-based predator-prey dynamic systems: A BDI approach

引用

EXPERT SYSTEMS 2018年第5期35卷 1-1页

作者： Badica, Amelia Badica, Costin Ivanovic, Mirjana Danciulescu, Daniela Univ Craiova Dept Stat & Business Informat Craiova Romania Univ Craiova Dept Comp & Informat Technol Craiova Romania Univ Novi Sad Dept Math & Informat Novi Sad Serbia Univ Craiova Dept Informat Craiova Romania

We propose a new framework based on Belief-Desire-Intention multi-agent systems for the macroscopic modelling and simulation of continuous dynamic systems. The main idea is to break down the target system model into a collection of autonomous and loosely coupled interacting components endowed with clean message-based interfaces and local intelligence. Each component is then mapped to a Belief-Desire-Intention agent that captures its state as a set of logical facts and its behavioural patterns as a set of plans. The system model can be described as a multi-agent programme that is specified using the state-of-the-art Jason agent-oriented programming language. The approach is evaluated by considering a generalized graph-based model of predator-prey systems. Our approach supports the configuration of the multi-agent model with various differential equations integration methods, as required by the specific problem.

关键词： agent-oriented programming BDI agent dynamic system modelling and simulation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：