Polynomial-Computable Representation of Neural Networks in Semantic Programming

Sergey Goncharov and Andrey Nechesov
Additional contact information
Sergey Goncharov: Sobolev Institute of Mathematics, Academician Koptyug Ave., 4, 630090 Novosibirsk, Russia
Andrey Nechesov: Sobolev Institute of Mathematics, Academician Koptyug Ave., 4, 630090 Novosibirsk, Russia

J, 2023, vol. 6, issue 1, 1-10

Abstract: A lot of libraries for neural networks are written for Turing-complete programming languages such as Python, C++, PHP, and Java. However, at the moment, there are no suitable libraries implemented for a p-complete logical programming language L. This paper investigates the issues of polynomial-computable representation neural networks for this language, where the basic elements are hereditarily finite list elements, and programs are defined using special terms and formulas of mathematical logic. Such a representation has been shown to exist for multilayer feedforward fully connected neural networks with sigmoidal activation functions. To prove this fact, special p-iterative terms are constructed that simulate the operation of a neural network. This result plays an important role in the application of the p-complete logical programming language L to artificial intelligence algorithms.

Keywords: polynomiality; polynomial algorithm; logical programming language; semantic programming; AI; neural networks; machine learning (search for similar items in EconPapers)
JEL-codes: I1 I10 I12 I13 I14 I18 I19 (search for similar items in EconPapers)
Date: 2023
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2571-8800/6/1/4/pdf (application/pdf)
https://www.mdpi.com/2571-8800/6/1/4/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jjopen:v:6:y:2023:i:1:p:4-57:d:1027858

Access Statistics for this article

J is currently edited by Ms. Angelia Su

More articles in J from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().