Zhu, H.: Formal Specification of Agent Behaviour through Environment Scenarios. In: Proc. of FAABS 2000. LNCS, Vol. 1871. Springer 263-277  Home/Search   Document Not in Database   Summary   Related Articles

....adopted by IT industry. It has been recognised that the lack of rigour is one of the major factors hampering the wide scale adoption of agent technology [3] Much work has been done on formal modelling of agents rational behaviour by logic systems and game theories, c.f. 4, 5, 6, 7, 8, 9] In [10,11], we proposed a formal specification language for agent based systems called SLABS. The language is powerful enough to specify different types of agent based systems [10, 11,12] However, developing formal specifications of multi agent systems in SLABS and other formalisms as well is difficult due ....

....been done on formal modelling of agents rational behaviour by logic systems and game theories, c.f. 4, 5, 6, 7, 8, 9] In [10,11] we proposed a formal specification language for agent based systems called SLABS. The language is powerful enough to specify different types of agent based systems [10, 11,12]. However, developing formal specifications of multi agent systems in SLABS and other formalisms as well is difficult due to the complexity of agent based systems. On the other hand, in recent years, a large amount of research work has been reported in the literature about the development ....

[Article contains additional citation context not shown here]

Zhu, H.: Formal Specification of Agent Behaviour through Environment Scenarios. In: Proc. of FAABS 2000. LNCS, Vol. 1871. Springer 263-277

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC