Разработка предикатных моделей логических связей понятий

С.Ю. Шабанов-Кушнаренко, , И.А. Лещинская
УДК 519.7
Мова статті: російська
Анотації на мовах:


Анотація: Предложен подход к формализации неявных знаний, разработаны предикатные модели логических связей между понятиями. Такие модели включают в себя предикаты, отражающие понятия равенства и декартова произведения, а также кванторы логики. Разработанные предикатные модели обеспечивают возможность итеративного построения предикатного представления неявных знаний в составе совокупности первичных и вторичных понятий, а также логических связей между этими понятиями.


Ключові слова: теория интеллекта, алгебра конечных предикатов и предикатных операций, неявные знания
Бібліографічний опис для цитування:
Шабанов-Кушнаренко С.Ю., Кудхаир Абед Тамер, Лещинская И.А. Разработка предикатных моделей логических связей понятий. Збірник наукових праць Харківського національного університету Повітряних Сил. 2013. № 4(37). С. 144-147.