Implementing Agent-Based Systems via Computability Logic CL2

TL;DR

This paper demonstrates how Computability Logic (CoL), specifically CL2, can be used to implement multi-agent systems, exemplified by a Starbucks simulation, highlighting CoL's suitability for resource-aware multi-agent programming.

Contribution

The paper introduces a novel approach to multi-agent system implementation using CoL, providing a practical example with Starbucks simulation based on CL2.

Findings

CoL supports resource-aware multi-agent programming.

Implementation of Starbucks system demonstrates practical applicability.

CoL's natural support simplifies multi-agent system development.

Abstract

Computability logic(CoL) is a powerful computational model. In this paper, we show that CoL naturally supports multi-agent programming models where resources (coffee for example) are involved. To be specific, we discuss an implementation of the Starbucks based on CoL (CL2 to be exact).