Communication is a critical part of enabling multi-agentsystems to cooperate. this means that applying formal methods to protocols governing communication within multi-agentsystems provides useful confidence in its ...
详细信息
ISBN:
(数字)9783030974572
ISBN:
(纸本)9783030974572;9783030974565
Communication is a critical part of enabling multi-agentsystems to cooperate. this means that applying formal methods to protocols governing communication within multi-agentsystems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. the protocol was used by the LFC team in the 2019 edition of the multi-agentprogramming Contest (MAPC). Our specification of the protocol is written in Communicating Sequential Processes (CSP), which is a well-suited approach to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification's behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged.
the proceedings contain 15 papers. the topics discussed include: artificial intelligence in higher education: a bibliometric analysis;depression and anxiety diagnosis using unsupervised learning approach;development o...
the proceedings contain 15 papers. the topics discussed include: artificial intelligence in higher education: a bibliometric analysis;depression and anxiety diagnosis using unsupervised learning approach;development of a HIPAA-compliant synchronizer to enable automatic reporting and inter-institutional collaboration in healthcare systems worldwide;analysis model for the identification of factors that influence students’ academic performance;Ecuadorian companies' assets, income, and corporate social responsibility;energy poverty in ALADI member countries: a study based on multi-criteria methods;regarding the selection of a trading strategy in efficient markets;predictive modelling of traffic accidents in Bogota, Colombia: uncovering key contributing factors;and descriptors for technology key area in a knowledge management maturity model.
In this paper, we propose the integration of approaches to Engineering multi-agentsystems (EMAS) withthe Developer Operations (DevOps) industry best practice. Whilst DevOps facilitates the organizational autonomy of...
详细信息
ISBN:
(数字)9783030974572
ISBN:
(纸本)9783030974572;9783030974565
In this paper, we propose the integration of approaches to Engineering multi-agentsystems (EMAS) withthe Developer Operations (DevOps) industry best practice. Whilst DevOps facilitates the organizational autonomy of software teams, as well as the technological automation of testing, deployment, and operations pipelines, EMAS and the agent-oriented programming paradigm help instill autonomy into software artifacts. We discuss the benefits of integrating DevOps and EMAS, for example by highlighting the need for agent-oriented abstractions for quality assurance and test automation approaches. More generally, we introduce an agent-oriented perspective on the DevOps life-cycle and list a range of research challenges that are relevant for the integration of the DevOps and EMAS perspectives.
Nemo is a toolkit for large-scale data analysis that emphasizes robustness and ease of use. Nemo’s core is a scalable and efficient main-memory reasoner that supports an expressive extension of Datalog with support f...
详细信息
In nature, active inference agents must learn how observations of the world represent the state of the agent. In engineering, the physics behind sensors is often known reasonably accurately and measurement functions c...
详细信息
ISBN:
(纸本)9783031771378;9783031771385
In nature, active inference agents must learn how observations of the world represent the state of the agent. In engineering, the physics behind sensors is often known reasonably accurately and measurement functions can be incorporated into generative models. When a measurement function is non-linear, the transformed variable is typically approximated with a Gaussian distribution to ensure tractable inference. We show that Gaussian approximations that are sensitive to the curvature of the measurement function, such as a second-order Taylor approximation, produce a state-dependent ambiguity term. this induces a preference over states, based on how accurately the state can be inferred from the observation. We demonstrate this preference with a robot navigation experiment where agents plan trajectories.
We present the Knowledge Graph Construction workshop (KGCW) Challenge 2024 results of our proof of concept mapping engine, RMLWeaver-JS, implemented in JavaScript and based on the reactive programming paradigm. RML do...
详细信息
In the evolving landscape of educational technology, Chat GPT emerges as a transformative force, leveraging natural language processing to revolutionize various facets of education. this paper delves into the multifac...
详细信息
2.5-D FPGA has been used in many multi-FPGA systems (MFS) for prototype verification due to its higher logic capacity and larger number of pins. the FPGA is composed of multiple dies connected with special wires. Due ...
详细信息
ISBN:
(纸本)9798350352047;9798350352030
2.5-D FPGA has been used in many multi-FPGA systems (MFS) for prototype verification due to its higher logic capacity and larger number of pins. the FPGA is composed of multiple dies connected with special wires. Due to the limited connections, FPGA-based system-level routing may cause internal congestion and lead to implementation failures. In addition, Time-Division multiplexing (TDM) is used in inter-FPGA connections to improve logic utilization, and each signal is assigned a TDM ratio. However, the increase in inter-FPGA delay of signals positively correlated withthe ratio. And the system performance will be significantly influenced by these internal congestions and TDMs. In this paper, a system-level routing framework with hybrid initial routing and two-stage reroute algorithms that generates legal and high-quality routing results for a 2.5-D MFS is proposed. Afterwards, a three-step framework is proposed to generate legal TDM ratios and optimize the system's performance, where a high-quality discretization algorithm based on bottom-up dynamic programming is implemented to optimize the performance losses. the experimental results demonstrate an average improvement of 8% in the solution's quality compared with our baseline algorithms within reasonable runtime. And compared withthe winner of the 5th EDA Elite Challenge, the quality of our solutions achieved the best results in most cases.
this paper presents an adaptation of the Abstract Meaning Representation (AMR) framework for European Portuguese. this adaptation, referred to as Lexicalized Meaning Representation (LMR), was deemed necessary to addre...
详细信息
We present TPO, a type system designed to support the type-based modeling of the architectural structure of agent societies. the basic concepts of TPO are presented. the TPO-typing of the multiagent system model suppo...
详细信息
ISBN:
(数字)9783030974572
ISBN:
(纸本)9783030974572;9783030974565
We present TPO, a type system designed to support the type-based modeling of the architectural structure of agent societies. the basic concepts of TPO are presented. the TPO-typing of the multiagent system model supported by the multiagentprogramming framework JaCaMo is presented to illustrate the scope of application of TPO.
暂无评论