Towards Distributed Logic Programming based on Computability Logic

Autor:	Kwon, Keehang
Rok vydání:	2019
Předmět:	Computer Science - Artificial Intelligence Computer Science - Programming Languages
Druh dokumentu:	Working Paper
Popis:	{\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. Comment: 8 pages. We substantially refined the execution model of a machine
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1909.07036 Zobrazit plný text záznamu View this record from Arxiv