| Title: | Формализация и исследование операций замкнутых систем |
| Other Titles: | Formalization and research of closed systems operations |
| Authors: | Протько, М. А. |
| Keywords: | материалы конференций;машинное обучение;нейронные сети;формальные системы;теоремы Гёделя |
| Issue Date: | 2023 |
| Publisher: | БГУИР |
| Citation: | Протько, М. А. Формализация и исследование операций замкнутых систем = Formalization and research of closed systems operations / М. А. Протько // Компьютерные системы и сети : сборник статей 59-й научной конференции аспирантов, магистрантов и студентов, Минск, 17–21 апреля 2023 г. / Белорусский государственный университет информатики и радиоэлектроники. – Минск, 2023. – С. 504–506. |
| Abstract: | В данной статье будет представлена выборка, позволяющая доказать ограничения нейронных сетей на пути к сильному интеллекту. Также изложенных в этой работе сведений будет достаточно для преобразования системы естественного языка в язык формальной логики с возможной корреляцией с семантическим смыслом. Данные свойства формальных систем позволят выбирать функции активации, целевые функции и архитектуру нейронных сетей для систем машинного обучения. |
| Alternative abstract: | This article will present a sample that allows you to prove the limitations of neural networks on the way to strong intelligence. Also, the information presented in this work will be sufficient to transform the natural language system into the language of formal logic with a possible correlation with semantic meaning. These properties of formal systems will allow you to choose activation functions, target functions and the architecture of neural networks in systems of machine learning. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/52768 |
| Appears in Collections: | Компьютерные системы и сети : материалы 59-й научной конференции аспирантов, магистрантов и студентов : сборник статей (2023)
|
