Повнотекстовий пошук
Пошуковий запит: (<.>AT=Шабанов-Кушнаренко Разработка предикатных моделей логических$<.>) |
Загальна кількість знайдених документів : 1
|
1. |
Шабанов-Кушнаренко С. Ю. Разработка предикатных моделей логических связей понятий [Електронний ресурс] / С. Ю. Шабанов-Кушнаренко, Абед Тамер Кудхаир, И. А. Лещинская // Збірник наукових праць Харківського університету Повітряних сил. - 2013. - Вип. 4. - С. 144-147. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2013_4_32 Предложен подход к формализации неявных знаний, разработаны предикатные модели логических связей между понятиями. Такие модели включают в себя предикаты, отражающие понятия равенства и декартова произведения, а также кванторы логики. Разработанные предикатные модели обеспечивают возможность итеративного построения предикатного представления неявных знаний в составе совокупности первичных и вторичных понятий, а также логических связей между этими понятиями.
|
|
|