Agent-Oriented Programming (AOP) is a new programming paradigm which proposes that mentalistic notions (such as belief, intention, commitment and so on) are useful abstraction mechanisms for describing complex, intelligent agents, and that they may therefore be used as a basis for programming such agents [17]. In this paper, we describe a Distributed Artificial Intelligence testbed called MYWOR...

Railway interlocking system is a distributed, safety, monetary and environmentally critical system and its failure may cause the loss of human life, severe injuries, loss of money and environmental damages. The complexity of this system requires formal modeling and step by step refinement for its construction and development. The formal specification-based languages, such as V DM , Z-notation a...

Two case studies on active learning agents are described. In the first case, the agent is a robot arm whose task is to grasp a rolling ball. It learns from self-generated examples by initiating conversations with the external teacher. In the second case, the agent is an autonomous mobile robot that works in cooperation with other mobile agents. The mobile robots learn group behavior by actively...

This thesis aims to explore and demonstrate the ability of the new standard of structural and behavioural components in Unified Modelling Language (UML 2.0 / 2004) to model the learning behaviour of Intelligent Agents. The thesis adopts the research direction that views agent-oriented systems as an extension to object-oriented systems. In view of the fact that UML has been the de facto standard...