Описова логіка

Відео: Як навчити ДИТИНИ ОПИСАТИ ПРИМІЩЕННЯ, МІСЦЕВІСТЬ / ОБЕРТИ THERE IS ... THERE ARE ..

описові логіки (Англ. Description logics, іноді ще їх називають дескріпційніми логіками) - сімейство мов представлення знань, що дозволяють описувати поняття предметної області в недвозначному, формалізованому вигляді. Будь-яка описова логіка є також логікою першого порядку, але не навпаки. Останнім часом зріс інтерес до описових логік через просування семантичної павутини.
синтаксис
базові елементи

Безліч класів NC
Безліч індивідуумів NI
Безліч відносин NR

Конструювання складних класів
Описова логіка схематично За допомогою операцій з простих класів формуються складні. Існують наступні операції:

A or B
A and B
not A
forall RC
exists RC


Увага, тільки СЬОГОДНІ!