From mathematical logic to programming languages artificial intelligence
Journal Title: КОМП’ЮТЕРНІ НАУКИ ТА КІБЕРБЕЗПЕКА - Year 2017, Vol 1, Issue 5
Abstract
The paper considers the process of formation of the theory of expert systems on an example of formation of artificial intelligence programming language PROLOG. It showed a difficult path of awareness of artificial intelligence and the motives that led to the emergence of expert systems that are based on mathematical logic. We discuss the basic ideas and procedures that led to the construction of the first department of mathematical logic - predicates theory, representation of procedure on hypergraphs, and then to create a Prolog language. Progress has been made in the development of intelligent systems and the problems faced by researchers are discussed.
Authors and Affiliations
Vladimir Kuklin
Keywords
Related Articles
- EP ID EP263831
- DOI -
- Views 77
- Downloads 0
NTRU Prime IIT Ukraine encryption algorithm with consideration known attacks analysis
The paper deals with the modern cryptographic transformations of the asymmetric end-to-end encryption type, namely – NTRU-like cryptographic systems. A new cryptographic system NTRU Prime IIT Ukraine was created based on...
MATHEMATICAL MODEL FOR THE FINGERPRINT MINUTIAE DISTORTION
This paper involves the research of biometric fingerprint images, minutiae and the mathematical probabil-istic model of their distortion. The suggested model is based on heuristic analysis of the fingerprint scanning res...
The selection of forming polynomials for shift register with nonlinear feedback second order that generates the sequence with maximum period
Model pseudo-random sequence generator based on shift registers with nonlinear feedback second order is considered. Additional requirements for type of polynomial are formulated. They limit the set of polynomials which g...
THE METHOD OF ERROR DETECTION AND CORRECTION IN THE SYSTEM OF RESIDUAL CLASSES
The method of correcting of single errors in the system of residual classes (SRC) were presented in this paper. The results of the analysis of corrective capability of arithmetic code shown the high efficiency of using o...
IMPROVED MATHEMATICAL MODEL OF THE POST-QUANTUM ELETRONIC SIGNATURE MECHANISM
In the paper new electronic signature mechanisms which will be urgent in the post-quantum period devel-opment necessity is grounded. The main one time key mechanisms are briefly described. Problems related with Lamport O...