Doran, J., Carvajal, H., Choo, Y. J., and Li, Y. (1991). The MCS Multi Agent Testbed: Developments and Experiments. In Deen, S. M., editor, Proceedings of the International Working Conference on Cooperating Knowledge Based Systems (CKBS). Springer-Verlag.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....cooperative systems. 1 Introduction A number of languages and testbeds for implementing and simulating artificial social systems have been described in the literature of Distributed Artificial Intelligence (DAI) and its related disciplines; see, for example (Hewitt, 1977; Gasser et al. 1987; Doran et al. 1991; Bouron et al. 1991; Agha, 1986; Ferber and Carle, 1991; Shoham, 1990) However, with the possible exception of pure Actor languages ( Hewitt, 1977; Agha, 1986) these tools have relied on an informal, if not ad hoc notion of agency, with similarly informal techniques for programming agents. As ....

Doran, J., Carvajal, H., Choo, Y. J., and Li, Y. (1991). The MCS Multi Agent Testbed: Developments and Experiments. In Deen, S. M., editor, Proceedings of the International Working Conference on Cooperating Knowledge Based Systems (CKBS). Springer-Verlag.

....a major research area in its own right. DAI techniques have been applied to domains as diverse as archaeology and economics, as well as more mundane problems such as distributed sensing and manufacturing control [7] Many testbeds for building and experimenting with DAI systems have been reported [2, 19, 21, 10, 26, 9, 24, 12]. And yet al..most no research has considered the important problems of specifying and verifying DAI systems. In short, the purpose of this paper is to address these issues: we present preliminary results on specifying and verifying systems implemented using Concurrent MetateM, a novel new ....

....range of sizes and complexity [19] Other testbeds include Georgeff and Lanksy s procedural reasoning system [21] 20] aspects of which have been formalised [25] and the MCS IPEM platform described by Doran at al. in which each agent has virtual access to a sophisticated non linear planner) [10]. More recently, Shoham has described AGENT0, an interpreted programming language for DAI which represents a first step towards the ideal of an agent oriented programming paradigm [26] Several actor style languages for DAI have been developed [2] Bouron et al. describe MAGES, a system based on ....

J. Doran, H. Carvajal, Y. J. Choo, and Y. Li. The MCS Multi Agent Testbed: Developments and Experiments. In S. M. Deen, editor, Proceedings of the International Working Conference on Cooperating Knowledge Based Systems (CKBS). Springer-Verlag, 1991.

....a major research area in its own right. DAI techniques have been applied to domains as diverse as archaeology and economics, as well as more mundane problems such as distributed sensing and manufacturing control [7] Many testbeds for building and experimenting with DAI systems have been reported [2, 19, 21, 10, 26, 9, 24, 12]. And yet al..most no research has considered the important problems of specifying and verifying DAI systems. In short, the purpose of this paper is to address these issues: we present preliminary results on specifying and verifying systems implemented using Concurrent METATEM, a novel new ....

....range of sizes and complexity [19] Other testbeds include Georgeff and Lanksy s procedural reasoning system [21] 20] aspects of which have been formalised [25] and the MCS IPEM platform described by Doran at al. in which each agent has virtual access to a sophisticated non linear planner) [10]. More recently, Shoham has described AGENT0, an interpreted programming language for DAI which represents a first step towards the ideal of an agent oriented programming paradigm [26] Several actor style languages for DAI have been developed [2] Bouron et al. describe MAGES, a system based on ....

J. Doran, H. Carvajal, Y. J. Choo, and Y. Li. The MCS Multi Agent Testbed: Developments and Experiments. In S. M. Deen, editor, Proceedings of the International Working Conference on Cooperating Knowledge Based Systems (CKBS). Springer-Verlag, 1991.

.... and controversy that alternative approaches have evoked, the overwhelming majority of work in DAI lies firmly in the classical camp, and it is on such work that this thesis focuses. Some examples of classical approaches to DAI are AGENT0 [151] Concurrent METATEM [62] MACE [70] MCS IPEM [42], RATMAN [22] and COSY [23] How is one to go about reasoning about such systems What techniques are appropriate, and or available for the task There are two obvious resources. The first is the well established tradition in AI philosophy of devising logics of the mentalistic, intentional ....

....of MACE s innovations, e.g. 164] 189] The notion of autonomous agency is well defined in MACE, and the structure of agents is described more explicitly than in previous work. 3.3.6 After MACE Since MACE, many testbeds for DAI have been described. For example, Doran et al. describe MCS IPEM [42]. The MCS IPEM system is a multi agent testbed built around the sophisticated IPEM non linear hierarchical planner [5] Each agent in an MCS IPEM system has a database of beliefs, represented as PROLOG facts) a set of operators, corresponding to actions the agent can perform) and some demons ....

[Article contains additional citation context not shown here]

J. Doran, H. Carvajal, Y. J. Choo, and Y. Li. The MCS multi-agent testbed: Developments and experiments. In S. M. Deen, editor, CKBS-90 --- Proceedings of the International Working Conference on Cooperating Knowledge Based Systems, pages 240--254. Springer-Verlag: Heidelberg, Germany, 1991.

....makes it something of an infant. In all sciences at such an early stage of evolution, experimentation must play a key role, developing the concepts that formalists ultimately transform into mathematical theories. In DAI, many software tools have been developed to support experimentation (e.g. [1, 11, 12, 8, 21, 5, 2, 10]) In parallel with this work, there has been an ongoing debate in (D)AI on the question of how best to construct the agents which make up a (D)AI system. One proposal, due to Shoham [17] is to program agents in terms of mentalistic notions: belief, intention, commitment, and so on. The result of ....

....MYWORLD, and in 5, we point to future work areas. 2 BACKGROUND As we observed above, experimentation is a crucial aspect of DAI research. To support experimentation, a number of software testbeds, languages, and other platforms for DAI have been developed and reported in the literature (e.g. [1, 11, 7, 12, 8, 21, 5, 2, 10]) Some of these testbeds have been dedicated , that is, constructed to support experimentation in just one problem domain. The best example of such a platform the DVMT, see, e.g. 7] which allows a user to simulate distributed sensing problems. Other testbeds have offered more generality: ....

[Article contains additional citation context not shown here]

J. Doran, H. Carvajal, Y. J. Choo, and Y. Li. The MCS multi-agent testbed: Developments and experiments. In S. M. Deen, editor, CKBS '90 --- Proceedings of the International Working Conference on Cooperating Knowledge Based Systems. Springer-Verlag, 1991.

....symbolic AI systems in the classical sense, with some knowledge , expressed in a symbolic language) some reasoning ability, and so on. Examples of classical approaches to DAI are AGENT0 (Shoham, 1993) Concurrent METATEM (Fisher and Wooldridge, 1993a) MACE (Gasser et al. 1987) and MCS IPEM (Doran et al. 1991). How is one to go about reasoning about such systems What techniques are appropriate, and or available for the task There are three resources which initially suggest themselves as suitable: Intentional logics. Researchers in AI, philosophy, and economics have developed many logics for ....

Doran, J., Carvajal, H., Choo, Y. J., and Li, Y. (1991). The MCS multi-agent testbed: Developments and experiments. In Deen, S. M., editor, CKBS-90 --- Proceedings of the International Working Conference on Cooperating Knowledge Based Systems, pages 240--254. Springer-Verlag.

No context found.

Doran, J., Carvajal, H., Choo, Y. & Li, Y. (1991), "The MCS Multi-agent Testbed: Developments and Experiments", in Deen, S. (ed.), Cooperating Knowledge based Systems, Heidelberg: Springer-Verlag, 240-251.

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