Implementing Agent-Based Systems via Computability Logic CL2

The design and implementation of multi-agent systems is recognized as a key component of general AI. Implementing the Starbucks in AI is such an example. Yet it remains the case that researchers experience difficulties in this regard. Computability logic (CoL) [2]-[6], is an elegant theory of (multi-)agent computability. In CoL, computational problems are seen as games between a machine and its environment and logical operators stand for operations on games. It understands interaction among agents in its most general -- game-based -- sense. In this paper, we discuss a web-based implementation of multi-agent programming based on CL2[4]. We assume the following in our model: - Each agent correspondsto aweb site with a URL. An agent's resourcebase(RB) is described in its homepage.