Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
безкоштовно
Більш швидкий доступ, ніж браузер!
 

Машина висновування і Описова логіка

Посилання: Відмінності, Схожості, Jaccard схожість Коефіцієнт, Посилання.

Різниця між Машина висновування і Описова логіка

Машина висновування vs. Описова логіка

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

Подібності між Машина висновування і Описова логіка

Машина висновування і Описова логіка мають одне спільне, (в Юніонпедія): Семантична мережа.

Семантична мережа

Приклад семантичної мережі Семантична мережа — інформаційна модель предметної області, що має вигляд орієнтованого графа, вершини якого відповідають об'єктам предметної області, а ребра задають відносини між ними.

Машина висновування і Семантична мережа · Описова логіка і Семантична мережа · Побачити більше »

Наведений вище список відповідає на наступні питання

Порівняння між Машина висновування і Описова логіка

Машина висновування має 3 зв'язків, у той час як Описова логіка має 17. Як вони мають в загальній 1, індекс Жаккар 5.00% = 1 / (3 + 17).

Посилання

Ця стаття показує взаємозв'язок між Машина висновування і Описова логіка. Щоб отримати доступ до кожної статті, з яких інформація витягується, будь ласка, відвідайте:

Гей! Ми на Facebook зараз! »