Towards Distributed Logic Programming based on Computability Logic

TL;DR

This paper introduces a distributed logic programming model based on Computability Logic, enabling multiagent systems with dynamic knowledge bases, which could advance general AI and future computing paradigms.

Contribution

It presents CL1^{ ext{ extOmega}}, a novel distributed logic programming framework grounded in Computability Logic supporting dynamic knowledge evolution.

Findings

Supports multiagent programming with distributed control

Enables dynamic and evolving knowledge bases for agents

Offers a promising approach for general AI development

Abstract

{\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^{\Omega}. 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.