Analyzing Natural Language Knowledge Uncertainty
Sergey L. Kryvyi, Hryhorii Hoherchak · 2022
The article considers an overview of means for describing and formally denoting natural language text knowledge within uncertainty. We consider the family of classic attribute languages and logics based on them, their properties, problems, and means of reasoning over them. Based on the considered logical constructions, we describe the syntax and set-theory interpretation of n-ary description logic (DL) that provides a means for describing concept intersection, union, complement, value restrictions, and qualitative and quantitative constraints. We consider means for solving key problems of reasoning over such logics: executability, augmentation, equivalence, disjunctivity, and an algorithm for calculation of executability degree.