论文标题
通过计算性逻辑CL2实现基于代理的系统
Implementing Agent-Based Systems via Computability Logic CL2
论文作者
论文摘要
计算性逻辑（COL）是一个强大的计算模型。在本文中，我们表明COL自然支持多代理编程模型，其中涉及资源（例如咖啡）。具体来说，我们讨论了基于Col的星巴克的实现（确切地说是CL2）。
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).
