Presenting the basic essence of limiting generalizations paradigm by algebra predicate structures

Виталий Иванович Булкин,Юрий Александрович Прокопчук

doi:10.15587/1729-4061.2014.22134

Виталий Иванович Булкин, Юрий Александрович Прокопчук

Open Access

https://doi.org/10.15587/1729-4061.2014.22134

Copy DOI

Abstract

At the present stage of computer technology advancement, there are problems of using sequential algorithms and exclusively binary encoding. These problems require creating computational tools with a new design and using non-binary coding techniques. In this study, a method of formal representation of elementary tests, their domains and pattern systems in the language of predicate algebra was developed for the first time. Formalization of the recalculation rules between the domains of different levels of generality, using the mathematical tool of the algebra of predicates, was carried out. The developed mathematical models, specifying the rules for domain value recalculation, are represented as the corresponding AP structures. For a hardware implementation of the obtained models, the method of presenting algebra-predicate structures in the form of associative-logic converters was used. The obtained AP structures can be used for creating intelligent parallel-action systems, operating in real time.

Highlights

ВведениеНа современном этапе развития вычислительной техники возникли проблемы, связанные с использованием последовательных алгоритмов обработки данных и исключительно двоичного кодирования.
Эти проблемы требуют решения задач создания вычислительных средств с использованием новых архитектур и новых принципов вычислений, использования пространственного и временного параллелизма, создания параллельных машин баз знаний и логического вывода, использования недвоичных методов кодирования.
Одним из новых подходов к организации вычислительных сред является построение графодинамических ассоциативных машин на основе парадигмы предельных обобщений (ППО) [2, 3] и алгебропредикатных структур (АПС) [4].

Summary

Введение

На современном этапе развития вычислительной техники возникли проблемы, связанные с использованием последовательных алгоритмов обработки данных и исключительно двоичного кодирования. Эти проблемы требуют решения задач создания вычислительных средств с использованием новых архитектур и новых принципов вычислений, использования пространственного и временного параллелизма, создания параллельных машин баз знаний и логического вывода, использования недвоичных методов кодирования. Одним из новых подходов к организации вычислительных сред является построение графодинамических ассоциативных машин на основе парадигмы предельных обобщений (ППО) [2, 3] и алгебропредикатных структур (АПС) [4]. Предлагаемая в рамках ППО логика реализации базируется на автоматическом переводе предельных когнитивных структур в функциональные системы, например в среды радикалов. ППО определяет логику формирования предельных структур знаний и функциональных систем на основе перцептивного опыта, а АПС описывает один из вариантов «материализации» как первичных (генетических) структур, так и функциональных систем. В данной работе рассматриваются в основном вопросы «материализации» первичных (базовых, генетических) структур графодинамических ассоциативных машин класса «ППО-АПС», таких как орграфы доменов и системопаттерны

Анализ литературных источников

Цель и задачи исследования

Алгебропредикатные структуры базовых сущностей

Выводы