Представлення базових сутностей парадигми граничних узагальнень за допомогою алгебропредикатных структур
DOI:
https://doi.org/10.15587/1729-4061.2014.22134Ключові слова:
парадигма граничних узагальнень, орграфи доменів, системопатерни, алгебра предикатів, алгебропредикатні структуриАнотація
Розроблено метод формального представлення базових сутностей парадигми граничних узагальнень: елементарних тестів, орграфів їх доменів і системопатернів на мові алгебри предикатів. Формалізовано правила перерахунку між доменами різного рівня загальності, з використанням математичного апарату алгебри предикатів. Отримані моделі реалізовано за допомогою алгебропредикатных структур, які представлені у вигляді асоціативно-логічних перетворювачів.
Посилання
- Бондаренко, М. Ф. Основи теорії багатозначних структур і кодування в системах штучного інтелекту [Текст] / М. Ф. Бондаренко, З. Д. Коноплянко, Г. Г. Четвериков. – Х. : Фактор-Друк, 2003. – 336 с.
- Прокопчук, Ю. А. Принцип предельных обобщений: методология, задачи, приложения [Текст]: монография / Ю. А. Прокопчук. – Днепропетровск: Ин-т технической механики НАНУ и НКАУ, 2012.– 384 с.
- Прокопчук, Ю. А. Модели когнитивных архитектур и процессов на основе парадигмы предельных обобщений [Текст] / Ю. А. Прокопчук // Кибернетика и вычисл. техника. – 2013. – Вып. 171. – С. 37–51.
- Булкин, В. И. Представление алгебропредикатных структур в виде ассоциативно-логических преобразователей [Текст] / В. И. Булкин // Искусственный интеллект. – № 3.– С. 6–17.
- Samsonovich, A. V.: Toward a Unified Catalog of Implemented Cognitive Architectures (Review) [Text] / A. V. Samsonovich, K. R. Johansdottir, A. Chella, B. Goertzel // Biologically Inspired Cognitive Architectures 2010: Proc. 1st Annual Meeting of BICA Society, Frontiers in Artificial Intelligence and Applications – 2010. – Vol. 221. – P. 195–244
- Затуливетер, Ю. С. Графодинамические системы с сетецентрическим управлением в математически однородном поле компьютерной информации [Текст] / Ю. С. Затуливетер, Е. А. Фищенко // Управление большими система-ми. – 2010. – № 30–1. – С. 567–604.
- Малинецкий, Г. Г. Теория самоорганизации. На пороге IV парадигмы [Текст] / Г. Г. Малинецкий // Компьютерные исследования и моделирование. – 2013. – Т. 5, № 3. – С. 315−366.
- Rasmussen, D. A Neural model of rule generation in inductive reasoning [Text] / D. Rasmussen, C. Eliasmith // Topics in Cognitive Science . – 2011 – Vol. 3 (1). – P. 140–153.
- Edelman, G. M. Biology of consciousness [Text] / G. M. Edelman, J. A. Gally, B. J. Baars // Front. Psychology. – 2011. – P. 2–4.
- Dixon, J. A. Multifractal Dynamics in the Emergence of Cognitive Structure [Text] / J. A. Dixon, J. G. Holden, D. Mirman, D. G. Stephen // Topics in Cognitive Science. – 2012. – Vol. 4. – P. 51–62.
- Бутенко, Д. В. Гомеостатическая нейросеть [Текст] / Д. В. Бутенко, Е. В. Албегов, Л. Н. Бутенко // Нейрокомпьютеры: разработка, применение. – 2013. – № 2. – C. 45–53.
- Иващенко, А. В. Мультиагентные технологии для разработки сетецентрических систем управления [Текст] / А. В. Иващенко, О. В. Карсаев и др. // Известия Южного федерального университета. Технические науки. – 2011. – Т. 116, № 3. – C. 11–23.
- Байрак, С. А. Параллельные процессоры для построения интеллектуальных систем [Текст] : матер. II междунар. научн.-техн. конф. / С. А. Байрак, Д. Н. Одинец и др. // Открытые семантические технологии проектирования интеллектуальных систем. – Минск : БГУИР, 2012. – С. 135–140.
- Каляев, И. А. Высокопроизводительные реконфигурируемые вычислительные системы нового поколения [Текст] / И. А. Каляев, А. И. Дордопуло и др. // Вычислительные методы и программирование: новые вычислительные технологии. – 2011. – Т. 12, №2. – С. 82–89.
- Brodtkorb, A. R. Graphics processing unit (GPU) programming strategies and trends in GPU computing [Text] / A. R. Brodtkorb, T. R. Hagen, M. L. Saetra // Journal of Parallel and Distributed Computing. – 2013. – Vol. 73, Issue 1. – P. 4–13.
- Бухановский, А. В. Перспективная технология «облачных» вычислений второго поколения [Текст] / А. В. Бухановский, В. Н. Васильев и др. // Изв. вузов. Приборостроение. – 2011. – Т. 54, № 10. – С. 7–15.
- Вереник, Н. Л. Разработка проблемно-ориентированных процессоров семантической обработки информации [Текст] / Н. Л. Вереник, Е. Н. Сейткулов, М. М. Татур // Электроника инфо. – 2012. – № 8. – С. 95–98.
- Бондаренко, М. Ф. Мозгоподобные структуры [Текст]: Справ. пос.; Т. 1. / М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко; под ред. И. В. Сергиенко. – К.: Наукова думка, 2011. – 460 с.
- Глушков, В. М. Основные архитектурные принципы повышения производительности ЭВМ [Текст] : избр. тр.; Т. 2 / В. М. Глушков. – К.: Наукова думка, 1990. – 267 с.
- Gates, B. Business at the Speed of Thought : Using a Digital Nervous System (Penguin Joint Venture Readers) [Text] / B. Gates. – Pearson Education Limited, 2001. – 112 р.
- Bondarenko, M. F. (2003). Fundamentals of theory of multivalued structures and coding in the systems of artificial intelligence. Kharkov, Factor-Druk, 336.
- Prokopchuk, Y. A. (2012). Principle of Limiting Generalizations: Methodology, Problems, and Applications. Monograph. Dnepropetrovsk, Institute of Technical Mechanics of the NAS and the State Space Agency of Ukraine Publ., 384.
- Prokopchuk, Y. (2013). Models of cognitive architectures and processes on the basis of a paradigm of limiting generalizations. Cybernetics and computer engineering, 171, 37–51.
- Bulkin, V. I. (2012). Presentation of algebra predicate structures as associative-logical transformers. J Artificial intelligence, 3, 6–17.
- Samsonovich, A. V. (2010). Toward a Unified Catalog of Implemented Cognitive Architectures (Review) J Biologically Inspired Cognitive Architectures: Proc. 1st Annual Meeting of BICA Society, Frontiers in Artificial Intelligence and Applications – 2010, 221, 195–244.
- Zatuliveter, Y. S. (2010). Graph dynamic network-centric management system in a mathematically uniform field of computer information. J Management of large systems, 30 (1), 567–604.
- Malinetsky, G. G. (2013). Self-organization theory. On a threshold of the IV paradigm. J Computer researches and modelling, 5(3), 315−366.
- Rasmussen, D. (2011). A Neural model of rule generation in inductive reasoning. J Topics in Cognitive Science, 3 (1), 140–153.
- Edelman, G. M. (2011). Biology of consciousness. J Front. Psychology, 2–4.
- Dixon, J. A. (2012). Multifractal Dynamics in the Emergence of Cognitive Structure. J Topics in Cognitive Science, 4, 51–62.
- Butenko, D. V. (2013). Gomeostatic neuronet. J Neurocomputers: development, application, 2, 45–53.
- Ivashchenko, A. V. (2011). Multiagent technologies for development of network-centric control systems. J News of the Southern federal university. Technical sciences. 116 (3), 11–23.
- Bayrak, S. A. (2012). Parallel processors for creation of intellectual systems. Open semantic technologies of design of intellectual systems. Minsk: BGUIR, 135–140.
- Kalyaev, I. A. (2011). High-performance reconfigurable computing systems of new generation. J Computing methods and programming: new computing technologies, 12 (2), 82–89.
- Brodtkorb, A. R. (2013). Graphics processing unit (GPU) programming strategies and trends in GPU computing. Journal of Parallel and Distributed Computing, 73 (1), 4–13.
- Bukhanovsky, A. V. (2011). Perspective technology of “cloudy” calculations of the second generation. J News of higher education institutions. Instrument making, 54 (10), 7–15.
- Verenik, N. L. (2012). Development of problem-oriented processors of semantic information processing. J Electronics info, 8, 95–98.
- Bondarenko, M. F. (2011). Brainlike structures. Kiev: Naukova dumka, 460.
- Glushkov, V. М. (1990). Basic architectural principles of increase of the productivity of computers. Kiev, USSR : Naukova dumka, 2, 267.
- Gates, B. (2001). Business at the Speed of Thought : Using a Digital Nervous System (Penguin Joint Venture Readers), Pearson Education Limited, 112.
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2014 Виталий Иванович Булкин, Юрий Александрович Прокопчук
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.
Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.