MULTI AGENT SYSTEMS SUPPORT DECISION SYSTEMS

Volume: 
Volume 05
Abstract 

This paper introduces an illustrative example of multi-agent system application. It consists of description of application, its decomposition into agents and macro model of decision system. Then multi-agent
system modeling tools, such as alternating-time temporal logic and alternating transition systems and their epistemic extensions are presented.

Author 
V. Oravec B. Frankovič