Automatic programming has been actively studied for a long time by various approaches including genetic programming. In recent years, automatic programming using neural networks such as GPT-3 has been actively studied and is attracting a lot of attention. However, these methods are illogical inference based on experience by enormous learning, and their thinking process is unclear. Even using the method by logical inference with a clear thinking process, the system that automatically generates any programs has not yet been realized. Especially, the inductive inference generalized by logical inference from one example is an important issue that the artificial intelligence can acquire knowledge by itself. In this study, we propose NP4G: Network Programming for Generalization, which can automatically generate programs by inductive inference. Because the proposed method can realize "sequence", "selection", and "iteration" in programming and can satisfy the conditions of the structured program theorem, it is expected that NP4G is a method automatically acquire any programs by inductive inference. As an example, we automatically construct a bitwise NOT operation program from several training data by generalization using NP4G. Although NP4G only randomly selects and connects nodes, by adjusting the number of nodes and the number of phase of "Phased Learning", we show the bitwise NOT operation programs are acquired in a comparatively short time and at a rate of about 7 in 10 running. The source code of NP4G is available on GitHub as a public repository.
翻译:包括基因编程在内的各种方法已经对自动编程进行了长期的积极研究。近年来,利用GPT-3等神经网络的自动编程已经进行了积极研究,并吸引了大量的注意力。然而,这些方法在通过大量学习的经验基础上是不合逻辑的推论,而且其思维过程也不明确。即使采用逻辑推论的方法,并有一个清晰的思维过程,自动生成任何程序的系统也尚未实现。特别是,从一个例子中逻辑推导的推论所得出的推论是一个重要问题,人工智能本身可以获取知识。在这个研究中,我们提议NP4G:通用化网络编程,它可以通过感化推论自动生成程序。由于拟议方法可以在编程中实现“顺序”、“选择”和“标语”的“设置”,因此预计NP4G是一种通过诱导推论推理推论自动获得任何程序的方法。例如,我们用NP4G4G来自动地从一些培训数据中建立出一个略式的NO操作程序,通过一般化数据自动地连接和转换程序。虽然在不断调整的阶段中,我们只能通过升级的顺序选择“升级程序”的顺序,在升级程序中进行,但只是在升级的顺序中,在升级的顺序中,在升级的顺序中,在排序中,我们只能以顺序中,在排序中,在排序中,在排序中,在顺序中,在排序中,在排序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中只能显示的顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,只是中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,只是中,只是中,只是中,只是中,只是中,只是中,只是中,在顺序中,只是中,在顺序中,在顺序中,在顺序中,在顺序中,在顺序中,只是中