Formal Specification of Multi-Agent Systems: a Real-World Case

Frances Brazier, Barbara Dunin Keplicz, Nick R. Jennlngs, Jan Treur

In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems..


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.