M. Wooldridge. This is MyWorld: The Logic of an Agent-Oriented DAI Testbed. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag, 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....rules that define the concomitant procedures or the emergent norms in which role enactment takes place. In the agent community, a special emphasis has recently been made to the importance of the role modeling especially while developing software engineering methodologies for MAS programming [13, 18, 23]. Nevertheless there is a gap between these attempts of agent programming and the BDI theory itself (even in the case of the authors of the BDI theory [13] One of the reasons of that gap is the absence of a concept of interaction in this theory. So, the purpose of this paper is to develop a ....

....approach in comparison with the other alternatives followed by conclusions and extensions of this research. 2. Agents and role modeling Role modeling was first developed in the OOP to capture the system s structure and the interaction between the modules forming it [12, 14] As it is claimed in [12, 13, 23], role modeling is also appropriate for intelligent agent systems because of the following: Role models emphasize social or interactive behavior. Roles in a role model work together to accomplish a goal. Role models are patterns that should be documented and shared. Roles and role ....

[Article contains additional citation context not shown here]

M. Wooldridge. This is MyWorld: The Logic of an Agent-Oriented DAI Testbed. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag, 1995.

.... et al. for example, have investigated the formal specification of a medical decision support system [40] Craig has specified both blackboard architectures [41] and a production rule interpreter [42] Wooldridge has formally described MYWORLD, a testbed for experimentation in distributed AI [43], and Milnes has described the SOAR cognitive architecture [44] More complete surveys of related work with formal methods and formal languages in software engineering and artificial intelligence are provided by van Harmelen and Fensel in a series of papers [45, 46, 47] 5 3.2 Requirements of ....

Wooldridge, M. (1995) This is MYWORLD: The logic of an agent-oriented DAI testbed. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages, LNAI 890, pages 160--178. Springer-Verlag.

....build complex knowledge based systems with best performances with regard to those offered by classical IA systems. The MASs are studied under three different aspects: the first one concerns formalization and specification that consists of giving a formal representation of the agent s properties [2][14]. The second aspect concerns communication languages between heterogeneous agents which take framework in the software interoperation. In this context, the well known language which has been developed is KQML [7] 10] This language has been used to implement a variety of information systems using ....

....states. The agent s functioning cycle is: perceiving its environment, modifying its internal state and execution of capabilities that could be satisfied. Wooldridge has proposed a logic for representing and for reasoning about properties characterizing an agent and has developed the system MYWORLD [14]. He extends the classical logic (first order) by introducing modal operators for representing the beliefs, goals, and intentions of the agent. Tambe and Rosenbloom have focused their works on agent tracking in a real time, dynamic environment and have examined the implications for agent ....

M. Wooldridge. This is MYWORLD: The logic of an Agent-Oriented DAI Testbed. In Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 160--178, Amsterdam-The Netherlands, 1994. This article was processed using the L A T E X macro package with LLNCS style

....systems with best performances with regard to those offered by classical AI systems. The MASs are studied under three different aspects : the first one concerns the agent theory which considers agents as computational processes; it consists in formalizing and specifying agent s properties [Woo94, BEL95, LLL 95] The second aspect focused on the communication languages between heterogeneous agents which take framework in the software interoperation. In this context, the well known language which has been developed is KQML 2 [GK94, MLF95] This language has been used to implement a ....

....in [Gau95] to develop an agent oriented programming environment which allows a user to choose an appropriate form for specifying the agent behavior. Wooldridge has proposed a logic for representing and for reasoning about properties characterizing an agent, and has developed the system MYWORLD [Woo94] He extends the classical logic (first order) by introducing modal operators for representing the beliefs, goals, and intentions of the agent. Tambe and Rosenbloom have focused their works on agent tracking in a real time, dynamic environment and have examined the implications for agent ....

Michael Wooldridge. This is MYWORLD: The logic of an Agent-Oriented DAI Testbed. In Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 160--178, Amsterdam-The Netherlands, 1994.

....an overall system which is similarly robust and flexible. The problem of providing a system level description is made more difficult by the fact that many of its properties can only be observed at runtime. Note that some attempts have been made to investigate formal methods for agent based systems (Wooldridge, 1995). This preliminary work has been successful in identifying the key issues in the formal specification and verification of agent based systems, and a number of simple demonstrator applications and multiagent languages have been specified. However, as is the case in mainstream computer science, the ....

M. Wooldridge. 1995. This is MyWorld: The Logic of an Agent-Oriented DAI testbed. In Intelligent Agents - Theories, Architectures, and Languages (eds. M. Wooldridge and N. R.

....The agent s functioning cycle is: perceiving its environment, modification of its internal state and execution capabilities that could be satisfied. Wooldridge has proposed a logic for representing and reasoning about properties characterizing an agent, and has developed the system MYWORLD [Woo94] He extends the classical logic (first order) by introducing modal operators for representing the beliefs, goals, and intentions of the agent. Tambe and Rosenbloom have focused their works on agent tracking in a real time, dynamic environment and have examined the implications for agent ....

Michael Wooldridge. This is MYWORLD: The logic of an Agent-Oriented DAI Testbed. In Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 160-- 178, Amsterdam-The Netherlands, 1994.

....is similarly robust and flexible. The problem of providing a system level description is made more difficult by the fact that many of its properties can only be observed at run time. Note that some attempts have been made to investigate formal methods for agent based systems (Wooldridge, 1992; Wooldridge, 1995). This preliminary work has been successful in identifying the key issues in the formal specification and verification of agent based systems, and a number of simple demonstrator applications and multi agent languages have been specified. However, as is the case in mainstream computer science, the ....

M. Wooldridge. 1995. This is MyWorld: The Logic of an Agent-Oriented DAI testbed. In Intelligent Agents - Theories, Architectures, and Languages (eds. M. Wooldridge and N. R.

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