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].

Read more

Summary

Введение

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

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

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.