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

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

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