| Аннотацiя: |
Представлено огляд засобів опису та формального аналізу знань, добутих з природномовного тексту з можливими невизначеностями. Розглянуто сім’ю класичних атрибутивних мов і логік, які на них ґрунтуються, властивості цих логік, проблеми і способи їхнього розв’язання. Представлено огляд пропозиційних n-значних логік і нечітких логік, їхнього синтаксису і семантики. На основі розглянутих конструкцій цих логік запропоновано синтаксис і теоретикомножинну інтерпретацію дескриптивної n-значної логіки ALCQn, яка описує властивості концептів за допомогою операцій перетину, об’єднання, доповнення та обмежених кванторів. |
