Интеллектуальный анализ больших данных

компьютерно ориентированный метод работы с семантикой суждений

Аннотация

При проведении анализа больших объёмов данных с привлечением экспертов предметной области возникает проблема представления знаний, заключающаяся в описании смыслового содержания суждений с последующей их формализацией, автоматизированным построением логического вывода и компьютерной обработкой, целью которой является преобразование суждений в соответствии с их семантикой. В работе исследуется проблема представления знаний через построение семантики суждений на основе интуиционистской логики. Предлагается компьютерно ориентированный метод, позволяющий эффективно работать со смысловым содержанием суждений и получать компьютерно реализуемые интуиционистские выводы утверждений на основе трансляционного подхода с помощью конвертирования классических выводов в интуиционистские. Суть метода заключается в семантическом оценивании каждого суждения элементами специально подбираемой решётки. Метод позволяет автоматически переходить от выводимости (истинности) некоторого суждения в классической теории к выводимости (соответственно истинности) самого или близкого ему по смыслу суждения в соответствующей интуиционистской теории, если в качестве решёток выбирать полную булеву и полную гейтингову алгебры соответственно. Такой подход особенно актуален при обработке больших объёмов информации, так как позволяет избежать необходимости построения сложных интуиционистских выводов, что, в свою очередь, позволяет значительно увеличить скорость обработки данных. В работе предлагаемый метод используется при построении интуиционистских выводов в языке решёточно упорядоченных колец и при конвертации классической теории в интуиционистскую для многосортных алгебраических систем. Исследуются также особенности метода, доказываются соответствующие утверждения.

Сведения об авторе

Galina Ivanovna Goremykina, Российский экономический университет имени Г. В. Плеханова

доцент кафедры математических методов в экономике, Институт математики, информационных систем и цифровой экономики, кандидат физико-математических наук, доцент

Опубликована
2021-12-20
Как цитировать
GOREMYKINA, Galina Ivanovna. Интеллектуальный анализ больших данных. Международный научный журнал «Современные информационные технологии и ИТ-образование», [S.l.], v. 17, n. 4, dec. 2021. ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/806>. Дата доступа: 25 jan. 2022