A Graphic Method for Multi-Agent Systems
Mirko Maleković · Informatologia · 2000
Described is a graphic method, called GPLKT, for expressing PLKT-formulas about multi-agent systems,where PLKT-language is Propositional logic + Knowledge operators + Temporal operators. At the heart of GPLKT Method is the list of 23 basic elements. These basic elements are formed easily into powerful compounds to represent more compleks agent properties in multi-agent systems.