Towards Distributed Logic Programming based on Computability Logic
This work addresses the problem of distributed multiagent programming for AI researchers and developers, but it appears incremental as it builds upon existing Computability Logic frameworks.
The paper tackles the challenge of enabling distributed control in multiagent systems by proposing a distributed logic programming model based on Computability Logic (CL1^Ω), which supports dynamic knowledgebases for agents and is presented as a promising approach for general AI and future computing models.
{\em Computability logic} (CoL) is a powerful computational model which views computational problems as games played by a machine and its environment. In this paper, we show that CoL naturally supports multiagent programming models with distributed control. To be specific, we discuss a distributed logic programming model based on CoL (CL1 to be exact), which we call CL1^Ω. The key feature of this model is that it supports $dynamic/evolving$ knowledgebase of an agent. This model turns out to be a promising approach to reaching both general AI and future computing model.