Collaborative Robot Agents

This thesis investigates how methods for collaborative agents can be applied to the AIBO (Artificial Intelligence roBOt) of SONY Corporation. A method for collaboration will be explained in detail, and the design and implementation of a working prototype will be presented. The software works in an ad-hoc wifi network with clients that can...

Model checking GOAL agents

This thesis presents a novel approach to model checking of agent programs written in an agent programming language. The language we consider is GOAL. The novelty of the approach is that we implement model checking algorithms from scratch on top of the standard language interpreter. In contrast, in the literature on agent program verification,...

A Qualitative Comparative Study between Posh and GOAL for Programming UT2004 Bots

A variety of agent programming languages have been proposed in the literature but only few comparative studies have been performed to evaluate the strengths and weaknesses of these languages. In order to gain a better understanding of the programming features and the use of these features by programmers it is imperative to perform studies on...

Context-Aware Multi-Stage Route Planning

One way to prevent collisions and deadlocks between agents on infrastructures with capacity constraints is to use context-aware route planning algorithms. In context-aware route planning, there is a set of agents each planning a conflict-free route from a start location to a destination location on a common infrastructure. If a sequential...

Guidelines for designing interfaces to connect environments to agent programming languages

Multi-agent environment frameworks have been connected to Agent Programming Languages (APLs) before. These connections are created to combine the computational and graphical power offered by environment frameworks with the reasoning power of agents in APLs. However, only limited reasearch has been done to determine how the interface presented to...