2000 character limit reached
Implementing Agent-Based Systems via Computability Logic CL2 (2010.08925v3)
Published 18 Oct 2020 in cs.AI and cs.MA
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).