Implementing Agent-Based Systems via Computability Logic CL2

10/18/2020

∙

by   Keehang Kwon, et al.

∙

0

∙

share

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).