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