Понятийный анализ и понятийное моделирование

Автор(ы): Выхованец В.С.

Выпуск: 92

Рубрика: Программы и системы моделирования объектов, средств и систем управления

Год: 2021

Библиография: Выхованец В.С. Понятийный анализ и понятийное моделирование // Управление большими системами. Выпуск 92. М.: ИПУ РАН, 2021. С.64-109. DOI: https://doi.org/10.25728/ubs.2021.92.4

Дата опубликования: 31.07.2021

Ключевые слова: ментальные абстракции, понятие, концепт, понятийный анализ, понятийная модель, язык понятий, исчисление понятий, база знаний, вывод на знаниях, интеллектуальная система

Аннотация: Описываются понятийные модели, которые строятся на первичных ментальных абстракциях идентификации, обобщении и ассоциации. В процессе понятийного анализа строится понятийная модель предметной области, состоящая из понятийной структуры и содержания входящих в нее понятий. Понятийная структура определяет каждое понятие как результат обобщения или ассоциации других понятий. Содержание понятий задается перечислимыми или разрешимыми множествами сущностей предметной области. Основным отличием понятийной модели от других моделей знаний является отказ от описания ассоциации понятий в виде взаимосвязи. В понятийной модели ассоциации являются такими же понятиями, как и обобщения, что позволяет образовывать из ассоциаций новые понятия. Все это делает понятийную модель семантически инвариантной, т.е. не зависящий в своей интерпретации от знаний из предметной области. Еще одним отличием понятийных моделей является многоаспектное выражение понятий. Для обоснования предложенного подхода разработана формальная теория понятий. Семантическая часть теории (язык понятий) обосновывает методологию понятийного анализа, а синтаксическая ее часть (исчисление понятий) – технологию понятийного моделирования. Доказано, что язык понятий разрешим, полон и непротиворечив, в то время как исчисление понятий разрешимо и непротиворечиво на счетных моделях, а полно только на конечных моделях. Использование понятийного анализа и понятийного моделирования позволяет улучшить выразительность и наглядность представления знаний, повысить эффективность и надежность их обработки.

Author(s): Vykhovanets V.

Article title: The notional analisys and notional modelling

Issue: 92

Year: 2021

Keywords: primary mental abstractions, notion, concept, notional analysis, notional model, language of notions, notion calculus, knowledge base, knowledge inference, intelligent system

Abstract: The article describes notional models that are based on primary mental abstractions: identification, generalization and association. In the process of the notional analysis, a notional model is constructed, which consists of a notional structure and contents of its notions. The notional structure defines each notion as the result of generalization or association of the other notions. The content of the notion is described by enumerable and solvable set consisting of subject domain entities. The main difference between the notional model and the other knowledge models is the refusal to describe the association of the notions in the form of a relationship. In the notional model, the association are the same notion as the generalization, which makes it possible to form the other notions from the associations. All this makes the notional model semantically invariant, i.e. independent in its interpretation from the knowledge of the subject domain. Another difference between notional and conceptual models is the multi-aspect expression of the notions. In order to prove the proposed approach to the representation and processing of knowledge, a formal theory of notions is given. The semantic part of the theory (notional language) proves the methodology of the notional analysis, and its syntactic part (notional calculus) proves the technology of notional modeling. It is proved that the notional language is decidable, complete and consistent, while the notional calculus is decidable and consistent on countable models, but complete only on finite models. The use of the notional analysis improves the expressiveness and clarity of knowledge representation, and the use of the notional models increases the efficiency and reliability of knowledge processing.