Гвоздінська Н. А. Предикатні моделі логічних просторів в системах подання знань

У даній дисертаційній роботі розроблено булеву та предикатну моделі векторних логічних просторів. Запропоновано графічну інтерпретацію елементів та операцій над ними для предикатної моделі у вигляді гиперкубів відповідної розмірності, у вигляді перемикального ланцюгу з відповідною кількістю входів та одним виходом, а також їх інтепретацію як природномовних структур, що дозволяє використовувати ці моделі логічних просторів як моделі подання знань, що задані природною мовою. Доведено алгебраїчну універсальність розроблених моделей, що дозволяє обробляти інформацію, яка подана у вигляді елементів різних часткових алгебр логічного типу, як елементи розроблених моделей логічного простору, тобто засобами логічної алгебри. На основі використання цього результату було розроблено та впроваджено програмний комплекс LSPACE на базі ПЕОМ, який було застосовано при розробці інтелектуальних систем прийняття рішень.