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

13th International Conference on agents and Artificial Intelligence (ICAART)

作者： Jensert, Alexander Birch Tech Univ Denmark Dept Appl Math & Comp Sci DTU Compute Bldg 324 DK-2800 Lyngby Denmark

ISBN: (纸本)9789897584848

The need to ensure reliability of agent systems increases with the applications of multi-agent technology. As we continue to develop tools that make verification more accessible to industrial applications, it becomes an even more critical requirement for the tools themselves to be reliable. We suggest that this reliability ought not be based on empirical evidence such as testing procedures. Instead we propose using an interactive theorem prover to ensure the reliability of the verification process. Our work aims to verify agent systems by emdedding a verification framework in the interactive theorem prover Isabelle/HOL.

关键词： agent programming Formal Verification Proof Assistants

来源：评论

学校读者我要写书评

暂无评论

Modeling the Engineering Process of an agent-based Production System: An Exemplar Study 24

Modeling the Engineering Process of an Agent-based Productio...

引用

24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS)

作者： Karaduman, Burak David, Istvan Challenger, Moharram Univ Antwerp Antwerp Belgium Flanders Make Antwerp Belgium Univ Montreal DIRO Montreal PQ Canada

ISBN: (纸本)9781665424844

The engineering of complex heterogeneous systems, such as cyber-physical systems (CPS), requires the coordinated effort of stakeholders of disparate domains. The FTG+PM has been shown to be an appropriate formalism to capture the essential characteristics of engineering processes for their analysis, optimization and enactment. agent-based smart CPS are a novel class of complex systems in which autonomous intelligent entities (software agents) interact with the underlying CPS to orchestrate, optimize, and control the overall behavior. This added complexity further exacerbates the already challenging task of aligning different domains during the engineering process. In this paper, we present an illustrative case of the engineering agent-based production systems, through a cyber-physical demonstrator system. We provide a detailed FTG+PM model, and excerpts from the engineering artifacts, such as models and code fragments. We report a list of challenges and opportunities in applying the FTG+PM in the realm of agent-based CPS, based on our hands-on study.

关键词： Engineering Process FTG plus PM agent programming Cyber-physical System Production System

来源：评论

学校读者我要写书评

暂无评论

Towards Verifying a Blocks World for Teams GOAL agent 13

Towards Verifying a Blocks World for Teams GOAL Agent

引用

13th International Conference on agents and Artificial Intelligence (ICAART)

作者： Jensen, Alexander Birch Tech Univ Denmark Dept Appl Math & Comp Sci DTU Compute Richard Petersens PladsBldg 324 DK-2800 Lyngby Denmark

ISBN: (纸本)9789897584848

We continue to see an increase in applications based on multi-agent system technology. As the technology becomes more widespread, so does the requirement for agent systems to operate reliably. In this paper, we expand on the approach of using an agents logic to prove properties of agents. Our work describes a transformation from GOAL program code to an agent logic. We apply it to a Blocks World for Teams agent and prove a correctness property. Finally, we sketch future challenges of extending the framework.

关键词： agent programming Formal Verification agent Logic GOAL

来源：评论

学校读者我要写书评

暂无评论

Explicit Modelling of Resources for Multi-agent MicroServices using the CArtAgO Framework 20

Explicit Modelling of Resources for Multi-Agent MicroService...

引用

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

作者： Eoin O'Neill David Lillis Gregory M.P. O'Hare Rem W. Collier University College Dublin Dublin Ireland

ISBN: (纸本)9781450375184

This paper describes the first agent programming language agnostic implementation of the Multi-agent MicroServices (MAMS) model - an approach to integrating agents within microservices-based architectures where agents expose aspects of their state as virtual resources, realised as CArtAgO artifacts, that are externally accessible through REpresentational State Transfer (REST).

关键词： agent programming bdi agents

来源：评论

学校读者我要写书评

暂无评论

AdSiF: agent driven simulation framework paradigm and ontological view

引用

SCIENCE OF COMPUTER programming 2018年 167卷 70-90页

作者： Hocaoglu, Mehmet F. Istanbul Medeniyet Univ Fac Engn & Nat Sci Goztepe Turkey

AdSiF (agent driven Simulation Framework) provides a programming environment for modeling, simulation, and programming agents, which fuses agent-based, object-oriented, aspect-oriented, and logic programming into a single paradigm. The power of this paradigm stems from its ontological background and the paradigms it embraces and integrates into a single paradigm called state-oriented programming. AdSiF commits to describe what exists and to model the agent reasoning abilities, which thereby drives model behaviors. Basically, AdSiF provides a knowledgebase and a depth first search mechanism for reasoning. It is possible to model different search mechanism for reasoning but depth first search is a default search mechanism for first order reasoning. The knowledge base consists of facts and predicates. The reasoning mechanism is combined with a dual-world representation, it is defined as an inner representation of a simulated environment, and it is constructed from time-stamped sensory data (or beliefs) obtained from that environment even when these data consist of errors. This mechanism allows the models to make decisions using the historical data of the models and its own states. The study provides a novel view to simulation and agent-modeling using a script-based graph programming structuring state-oriented programming with a multi-paradigm approach. The study also enhances simulation modeling and agent programming using logic programming and aspect orientation. It provides a solution framework for continuous and discrete event simulation and allows modelers to use their own simulation time management, event handling, distributed, and real time simulation algorithms. (C) 2018 Elsevier B.V. All rights reserved.

关键词： agent-driven simulation agent programming Logic programming Ontology State-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Integrated Hybrid Planning and Programmed Control for Real-Time UAV Maneuvering 17

Integrated Hybrid Planning and Programmed Control for Real-T...

引用

17th International Conference on Autonomous agents and Multiagent Systems (AAMAS)

作者： Ramirez, Miquel Papasimeon, Michael Lipovetzky, Nir Benke, Lyndon Miller, Tim Pearce, Adrian R. Scala, Enrico Zamani, Mohammad Univ Melbourne Melbourne Vic Australia Fdn Bruno Kessler Trento Italy Univ Melbourne Australian Def Sci & Technol DST Group Melbourne Vic Australia Australian Def Sci & Technol DST Group Canberra ACT Australia

ISBN: (纸本)9781450356497

The automatic generation of realistic behaviour such as tactical intercepts for Unmanned Aerial Vehicles (UAV) in air combat is a challenging problem. State-of-the-art solutions propose hand-crafted algorithms and heuristics whose performance depends heavily on the initial conditions and aerodynamic properties of the UAVs involved. This paper shows how to employ domain-independent planners, embedded into professional multi-agent simulations, to implement two-level Model Predictive Control (MPC) hybrid control systems for simulated UAVs. We compare the performance of controllers using planners with others based on behaviour trees that implement real world tactics. Our results indicate that hybrid planners derive novel and effective tactics from first principles inherent to the dynamical constraints UAVs are subject to.

关键词： planning agent programming hybrid systems UAV

来源：评论

学校读者我要写书评

暂无评论

Formal verification of autonomous vehicle platooning

引用

SCIENCE OF COMPUTER programming 2017年 148卷 88-106页

作者： Kamali, Maryam Dennis, Louise A. McAree, Owen Fisher, Michael Veres, Sandor M. Univ Liverpool Dept Comp Sci Liverpool Merseyside England Univ Sheffield Dept Automat Control & Syst Engn Sheffield S Yorkshire England

The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the behaviours of the vehicles in these platoons must be certified. This is non-trivial and goes beyond current certification requirements, for human-controlled vehicles, in that these vehicles can act autonomously. In this paper, we show how formal verification can contribute to the analysis of these new, and increasingly autonomous, systems. An appropriate overall representation for vehicle platooning is as a multi-agent system in which each agent captures the "autonomous decisions" carried out by each vehicle. In order to ensure that these autonomous decision-making agents in vehicle platoons never violate safety requirements, we use formal verification. However, as the formal verification technique used to verify the individual agent's code does not scale to the full system, and as the global system verification technique does not capture the essential verification of autonomous behaviour, we use a combination of the two approaches. This mixed strategy allows us to verify safety requirements not only of a model of the system, but of the actual agent code used to program the autonomous vehicles. (C) 2017 The Authors. Published by Elsevier B.V.

关键词： Vehicle platooning agent programming Model checking

来源：评论

学校读者我要写书评

暂无评论

Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering 18

Integrated Hybrid Planning and Programmed Control for Real T...

引用

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

作者： Miquel Ramirez Michael Papasimeon Nir Lipovetzky Lyndon Benke Tim Miller Adrian R. Pearce Enrico Scala Mohammad Zamani University of Melbourne Melbourne Australia University of Melbourne & DST Group Melbourne Australia Foundation Bruno Kessler Trento Italy

The automatic generation of realistic behaviour such as tactical intercepts for Unmanned Aerial Vehicles (UAV) in air combat is a challenging problem. State-of-the-art solutions propose hand--crafted algorithms and heuristics whose performance depends heavily on the initial conditions and aerodynamic properties of the UAVs involved. This paper shows how to employ domain--independent planners, embedded into professional multi--agent simulations, to implement two--level Model Predictive Control (MPC) hybrid control systems for simulated UAVs. We compare the performance of controllers using planners with others based on behaviour trees that implement real world tactics. Our results indicate that hybrid planners derive novel and effective tactics from first principles inherent to the dynamical constraints UAVs are subject to.

关键词： planning hybrid systems agent programming uav

来源：评论

学校读者我要写书评

暂无评论

Development Framework for DRONEs as Smart Autonomous Systems 8

Development Framework for DRONEs as Smart Autonomous Systems

引用

8th International Conference on Information, Intelligence, Systems and Applications (IISA)

作者： Penserini, Loris Tonucci, Emanuele Ippoliti, Gianluca Di Labbio, Jessica TTP Technol Fano PU Italy Univ Politecn Marche Dipartimento Ingn Informaz Ancona Italy

ISBN: (纸本)9781538637319

Smart society implies much more complexity than technologies and related infrastructures able to support it, namely future and new digital technologies must be carefully balanced with the ability at design time to mitigate the complex interactions between technology, citizen and democracy. As long as complex systems such as drones will increase to become an integral part of the social context, it is particularly evident that such technologies should be aware and able to reason on and adhere to rules of law, trust and ethical principles any time they perform a task or service. This drone development framework will pave the way for a new generation of development methodologies much more devoted to smart society technologies and able to model the contextual knowledge that surrounds and affects the complex system's behaviors.

关键词： agent-oriented software engineering Drone technology UAV simulators App programming agent programming

来源：评论

学校读者我要写书评

暂无评论

Exploiting Social Commitments in programming agent Interaction 18th

Exploiting Social Commitments in Programming Agent Interacti...

引用

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

作者： Baldoni, Matteo Baroglio, Cristina Capuzzimati, Federico Micalizio, Roberto Univ Turin Dipartimento Informat I-10149 Turin Italy

ISBN: (纸本)9783319255248;9783319255231

Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and suggest to model interaction protocols in terms of obligations. In this paper we propose to model interaction protocols in terms of goals and commitments, and show how such a formalization promotes a deliberative process inside the agents. The proposal is implemented via JaCaMo+, an extension of JaCaMo, in which Jason agents can interact, while preserving their deliberative capabilities, by exploiting commitment-based protocols, reified by special CArtAgO artifacts.

关键词： Social computing agent programming Commitments and goals agents & Artifacts JaCaMo

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：