Implementing Agent-Based Systems via Computability Logic CL2
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).
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2020
- DOI:
- 10.48550/arXiv.2010.08925
- arXiv:
- arXiv:2010.08925
- Bibcode:
- 2020arXiv201008925K
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Multiagent Systems
- E-Print:
- 12 pages. This is a revised version and some errors are fixed. arXiv admin note: substantial text overlap with arXiv:1909.07036