M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan, and M. Wooldridge. Formalisms for multi-agent systems. Knowledge Engineering Review, 12(3):315--321, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Specification and Prototyping of Multi-Agent Systems - Hilaire, Koukam, Gruer.. (2000) (2 citations) (Correct)
....under development. The second is to guide subsequent design, implementation and verification phases. A variety of specification formalisms are available in the multi agent field. Such formalisms put the emphasis on the first role and do not provide a basis to fulfill the second. As stated in [2], they are often abstract and unrelated to concrete computational models. We believe that one way to bridge the gap between the abstract and the concrete level is to build the system specification using a prototyping process [13] This process provides a support for incremental specification ....
....decomposition. Eventually, such a specification can be refined to an implementation with multi agent development platform like MadKit [9] which are based upon an organizational model [5] Formal theories are numerous in the MAS area but they are not all related to concrete computational models [2]. Temporal modal logic, for example, have been widely used [17] Despite the important contribution of these works to a solid underlying foundation for MAS, no methodological guidelines are provided concerning the specification process and how an implementation can be derived. Another type of ....
Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, and Michael Wooldridge. Formalisms for multi-agent systems. In First UK Workshop on Foundations of Multi-Agent Systems, 1996.
Formal Agent Development: Framework to System - d'Inverno, Luck Self-citation (D'inverno Luck) (Correct)
....agents specified in this way can also be directly excecuted. As yet, the body of work aimed at bridging the gap between theory and practice is small. Fortunately, though, there seems to be a general recognition that one of the key roles of theoretical and practical work is to inform the other [2], and while this is made difficult by the almost breakneck pace of progress in the agent field, that recognition bodes well for the future. Some sceptics remain, however, such as Nwana, who followed Russell in warning against premature mathematization, and the danger that lies in wait for agent ....
M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan, and M. Wooldridge. Formalisms for multi-agent systems. Knowledge Engineering Review, 12(3):315--321, 1997.
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