Разработка предикатных моделей логических связей понятий
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Разработка предикатных моделей логических связей понятий
Розробка предикативних моделей логічних зв'язків понять Development of concepts logical connections predicative models |
|
| Creator |
С.Ю. Шабанов-Кушнаренко
Кудхаир Абед Тамер И.А. Лещинская С.Ю. Шабанов-Кушнаренко Кудхаир Абед Тамер І.А. Лещінська S.Yu. Shabanov-Kushnarenko Kudhair Abed Tamer I.A. Leschynskaya |
|
| Subject |
Кібернетика та системний аналіз
УДК 519.7 теория интеллекта, алгебра конечных предикатов и предикатных операций, неявные знания теорія інтелекту, алгебра скінченних предикатів і предикатних операцій, неявні знання theory of intelligence, algebras of finite predicates and predicate operations, non-obvious knowledge |
|
| Description |
Предложен подход к формализации неявных знаний, разработаны предикатные модели логических связей между понятиями. Такие модели включают в себя предикаты, отражающие понятия равенства и декартова произведения, а также кванторы логики. Разработанные предикатные модели обеспечивают возможность итеративного построения предикатного представления неявных знаний в составе совокупности первичных и вторичных понятий, а также логических связей между этими понятиями.
Розглянуто застосування логічної математики для формального опису неявних знань. У якості інструменту опису використовується мова алгебри скінченних предикатів і предикатних операцій. Рішення цієї задачі дозволить ітеративно будувати предикативне представлення неявних знань. Application of logical mathematics is considered for the non-obvious knowledge formalization. The eventual predicates algebra language and predicates operations algebra are used as description instrument. The decision of this task will allow to build the predicative representation of non-obvious knowledge. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2013
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/3419
|
|
| Source |
Збірник наукових праць Харківського національного університету Повітряних Сил. — 2013. — № 4(37). 144-147
Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2013. — № 4(37). 144-147 Scientific Works of Kharkiv National Air Force University. — 2013. — № 4(37). 144-147 2073-7378 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/3419/zhups_2013_4_32.pdf
|
|