Интеллектуальный анализ больших данных: компьютерно ориентированный метод работы с семантикой суждений

При проведении анализа больших объёмов данных с привлечением экспертов предметной области возникает проблема представления знаний, заключающаяся в описании смыслового содержания суждений с последующей их формализацией, автоматизированным построением логического вывода и компьютерной обработкой, целью которой является преобразование суждений в соответствии с их семантикой. В работе исследуется проблема представления знаний через построение семантики суждений на основе интуиционистской логики. Предлагается компьютерно ориентированный метод, позволяющий эффективно работать со смысловым содержанием суждений и получать компьютерно реализуемые интуиционистские выводы утверждений на основе трансляционного подхода с помощью конвертирования классических выводов в интуиционистские. Суть метода заключается в семантическом оценивании каждого суждения элементами специально подбираемой решётки. Метод позволяет автоматически переходить от выводимости (истинности) некоторого суждения в классической теории к выводимости (соответственно истинности) самого или близкого ему по смыслу суждения в соответствующей интуиционистской теории, если в качестве решёток выбирать полную булеву и полную гейтингову алгебры соответственно. Такой подход особенно актуален при обработке больших объёмов информации, так как позволяет избежать необходимости построения сложных интуиционистских выводов, что, в свою очередь, позволяет значительно увеличить скорость обработки данных. В работе предлагаемый метод используется при построении интуиционистских выводов в языке решёточно упорядоченных колец и при конвертации классической теории в интуиционистскую для многосортных алгебраических систем. Исследуются также особенности метода, доказываются соответствующие утверждения. The article considers the method of working with the semantics of judgments, its properties are investigated. With its help, it is possible to construct computer-implemented intuitionistic conclusions of statements due to the conversion of the corresponding classical conclusions (the semantic evaluation of which in a Boolean-valued universe is equal to one) into intuitionistic ones. This approach is especially relevant when processing large amounts of information, as it avoids the need to build complex intuitionistic conclusions, which, in turn, allows you to significantly increase the speed of data processing. In particular, the possibility of transferring the properties of l-rings to ordered rings and converting classical theory into intuitionistic theory for multi-grade algebraic systems is shown.

Hali tarjima qilinmagan