Titlebook: Engineering Multi-Agent Systems; 9th International Wo Natasha Alechina,Matteo Baldoni,Brian Logan Conference proceedings 2022 Springer Natu

思想上升

越自我

Implementing Ethical Governors in BDI,t an ethical governor. We discuss the implementation of these abstract agents in the Jason agent programming language and demonstrate how they can be used in practice by instantiating agents in two different case studies, one using utilitarianism and the other deontic logic for reasoning about ethical decisions.

絕種

Measured

StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments ransducers. 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.

Germinate

Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest,ch 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.

dura-mater

Autonomous Economic Agent Framework,y. The framework bridges the old and new web and employs distributed ledger technologies as core parts of its construction. We introduce the framework, discuss the performance characteristics of its current implementation and demonstrate several application areas.

喧鬧

Essential

FLIRT

厭食癥