Implementing Agent-Based Systems via Computability Logic CL2
arXiv:2010.08925v3
Originality Synthesis-oriented
AI Analysis
This work addresses multi-agent programming for resource-based systems, but it appears incremental as it applies an existing computational model to a specific domain.
The paper tackles the problem of implementing multi-agent systems with resource management by applying Computability Logic (CoL), specifically CL2, to model a Starbucks scenario as an example.
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).