Mulder, M., Treur, J., and Fisher, M., Agent Modelling in MetateM and DESIRE. In: M.P. Singh, A.S. Rao, M.J. Wooldridge (eds.), Intelligent Agents IV, Proc. Fourth International Workshop on Agent Theories, Architectures and Languages, ATAL'97. Lecture Notes in AI, vol. 1365, Springer Verlag, 1998, pp. 193-207.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of E hhf over Z is the fact that it is directly executable. Like Z, it supports speci cation at di erent levels of abstraction like Z. Unlike Z, its higher order extensions (Z is rst order) greatly facilitate meta programming. Another formal speci cation for the BDI architecture is presented in [62]. It is based on a particular temporal logic language, Concurrent MetateM, which supports the speci cation of concurrent and distributed entities. Goals, beliefs and plans are represented by means of formulas in temporal logic, which are executed by a run time execution algorithm. Veri cation of ....

M. Mulder, J. Treur, and M. Fisher. Agent Modelling in METATEM and DESIRE. In M. P. Singh, A. Rao, and M. Wooldridge, editors, Intelligent Agents IV. Agent Theories, Architectures, and Languages - 4th International Workshop, number 1365 in Lecture Notes in Articial Intelligence. Springer-Verlag, 1997.

....and constraint logic programming techniques has been used to solve the transaction management problem on a distributed database [MM] 1. 4 A Multi Agent System specification language Logical languages have often been adopted to specify agents and Multi Agent Systems [LLL 95,Rao96,MTF97] In this section we propose the adoption of Linear Logic Programming as a high level specification language, and list the reasons that make LLP a very suitable paradigm for these kinds of applications. Agents combining reactive, pro active and rational behaviour, such as the ones previously ....

M. Mulder, J. Treur, and M. Fisher. Agent Modelling in METATEM and DESIRE. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.

.... yet clear which approaches are appropriate for specifying the different classes of agent based systems and which methods can be exploited to transform these specifications into a final software product [3, 5] In the last few years many approaches based on logical languages (e.g. temporal logic [15]) have been proposed as specification formalisms for agent based technology. Logic programming languages can contribute to such research in that they provide easy to define, executable specifications. We propose a framework for the realization of MAS prototypes in which both the specification and ....

....The main advantage of E hhf with respect to Z is its being directly executable. It also supports specification at different levels of abstraction like Z, but its higher order extensions (Z is firstorder) greatly facilitate meta programming. Another formal specification for PRS is presented in [15]. It is based on a particular temporal logic language, Concurrent MetateM, which supports the specification of concurrent and distributed entities. Goals, beliefs and plans are represented by means of formulas in temporal logic, whose execution is committed to a run time execution algorithm. ....

M. Mulder, J. Treur, and M. Fisher. Agent Modelling in METATEM and DESIRE. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.

....design level based on traces of compositional states. 23 The Concurrent MetateM framework [22] is another modelling framework for multiagent systems. A comparison is discussed for the structure of agents, inter agent communication and meta level reasoning (for a more extensive comparison, see [37]) For the structure of agents, in DESIRE, the knowledge structures that are used in the knowledge bases and for the input and output interfaces of components are defined in terms of information types, in which sort hierarchies can be defined. Signatures define sets of ground atoms. An assignment ....

Mulder, M., Treur, J., and Fisher, M., Agent Modelling in MetateM and DESIRE. In: M.P. Singh, A.S. Rao, M.J. Wooldridge (eds.), Intelligent Agents IV, Proc. Fourth International Workshop on Agent Theories, Architectures and Languages, ATAL'97. Lecture Notes in AI, vol. 1365, Springer Verlag, 1998, pp. 193-207.

....theory of animal behaviour. 9. 2 Comparison to another multi agent modelling framework Another multi agent modelling framework is Concurrent MetateM [20] The comparison with DESIRE focuses on the structure of agents, inter agent communication and meta level reasoning; for more details, see [32]. In DESIRE, the knowledge structures that are used in the knowledge bases and for the input and output interfaces of components are defined in terms of information types, in which sort hierarchies can be defined. Signatures define sets of ground atoms. An assignment of truth values true, false ....

Mulder, M, Treur, J., and Fisher, M., Agent Modelling in MetateM and DESIRE. In: M.P. Singh, A.S. Rao, M.J. Wooldridge (eds.), Intelligent Agents IV, Proc. Fourth International Workshop on Agent Theories, Architectures and Languages, ATAL'97. Lecture Notes in AI, vol. 1365, Springer Verlag, 1998, pp. 193-207. 35 35

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