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 73
- Downloads 0
L-codes in the system of residual classes
The method for correcting data errors in the residual class system, by applying the corrective properties of L-codes were developed in the article, which one are formed by using reciprocals pairwise not simple bases. Thi...
THE GOLDEN SECTION, FIBONACCI NUMBERS, MATHEMATICS OF HARMONY AND “GOLDEN” SCIENTIFIC REVOLUTION
The Publishing House “World Scientific” recently published two fundamental books: Alexey Stakhov “The Mathematics of Harmony” (2009) and Alexey Stakhov and Samuil Aranson “The “Golden” Non-Euclidean Geometry” (2016). In...
WILL THE ARTIFICIAL INTELLIGENCE HELP US?
Discussed what can help us (humanity) artificial intelligence. The unification of artificial neural networks and decision-making expert systems based on the logic has discussed. The integration of formed (human) concepts...
Двойная обфускация трансформант малоресурсного стеганоалгоритма
Целью статьи является ознакомление с основными процедурами адаптивного малоресурсного алгоритма стеганографической обработки изображений и особенностями создания его экспериментальной программы с поддержкой графического...
АНАЛИЗ ИНСТРУМЕНТОВ ДЛЯ АВТОМАТИЗИРОВАННОГО ТЕСТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Тестирование качества программного обеспечения (ПО) является трудоемким и ответственным этапом его разработки. Это обуславливает практический интерес к автоматизации основных этапов тестирования. Как показывает практика,...