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
THE METHOD OF PSEUDORANDOM CODES DECODING ON THE BASIS OF THE MODIFIED METHOD OF BRANCHES AND BOUNDARIES
Reasons of crisis of error-correcting coding are considered. Underlined the urgency of application of pseudo random codes in modern systems transmission of information. Presented constructive mathematical method of decod...
ПРО СЛАБКІСТЬ S ПЕРЕТВОРЕННЯ ШИФРУ СТРУМОК З ЛАНЦЮЖКА КЕРОВАНИХ S-БЛОКІВ
Обговорюються особливості побудування S-перетворення шифру Струмок. Зокрема, виконано аналіз пропозиції щодо побудови S-перетворення шифру Струмок з використанням керованих S-блоків. Оцінюються показники його випадковост...
MATHEMATICAL AND PHYSICAL NATURE OF CHANNEL CAPACITY
The classic methodological approaches to the determination of channel capacity have been considered. The contradiction between analytical and geometric definitions of maximum achievable transmission rate has been shown....
DESCRIPTION AND APPLICATIONS OF BINOMIAL NUMERAL SYSTEMS
We develop a new class of positional numeral systems, namely the binomial ones, which form a subclass of generalized positional numeral systems (GPNS). The binomial systems have wide range of applications in the infor-ma...
METHOD OF TABULAR REALIZATION OF ARITHMETIC OPERATIONS IN THE SYSTEM OF RESIDUAL CLASSES
In this article the method of increase of productivity and reliability of functioning of the data processing system is suggested based on the use of position-independent computing system in the residual classes (SRC). Th...