Диз'юнкт Горна

В математичній логіці та логічному програмуванні диз'ю́нкт Го́рна (Horn clause) — це логічна формула певного правилоподібного вигляду, який надає їй корисних властивостей для застосування в логічному програмуванні, формальних специфікаціях та теорії моделей.

Використовуй ШІ

Зміст

1. 6 відносини: Пролог, Повнота (логіка), Роберт Ковальський, Синтаксис та семантика Прологу, ВЛВ-резолюція, Граматика визначених тверджень.

Пролог

Проло́г (Prolog, Prolog) — мова логічного програмування загального призначення, пов'язана зі штучним інтелектом та математичною лінгвістикою.

Переглянути Диз'юнкт Горна і Пролог

Повнота (логіка)

Повнота (або неповнота) у математичній логіці та металогіці — характеристика формальної системи.

Переглянути Диз'юнкт Горна і Повнота (логіка)

Роберт Ковальський

Роберт Ентоні Ковальський — американський логік і вчений, який провів більшу частину своєї кар'єри в Сполученому Королівстві.

Переглянути Диз'юнкт Горна і Роберт Ковальський

Синтаксис та семантика Прологу

Синтаксис та семантика мови програмування Пролог є множиною правил, що визначає, як пишеться програма мовою Пролог, і як вона інтерпретується.

Переглянути Диз'юнкт Горна і Синтаксис та семантика Прологу

ВЛВ-резолюція

ВЛВ-резолю́ція (вибіркова лінійна резолюція з визначеними твердженнями), SLD-резолю́ція (SLD-resolution, Selective Linear Definite clause resolution) — це елементарне правило висновування, що застосовується в логічному програмуванні.

Переглянути Диз'юнкт Горна і ВЛВ-резолюція

Граматика визначених тверджень

Грама́тика ви́значених тве́рджень (Definite Clause Grammar (DCG), DC-грамматика) — це спосіб представлення граматики природних або формальних мов у логічних мовах програмування, таких як Пролог.

Переглянути Диз'юнкт Горна і Граматика визначених тверджень

Також відомий як Речення Горна, Подвійно-горнів диз'юнкт, Визначене твердження.

Юніонпедія є ментальна карта, концепція карта, або семантична мережа організована як енциклопедія або словник. Це дає коротке визначення кожному поняттю і його відносин.

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

Інформація базується на статтях Вікіпедії та інших проєктах Вікімедіа і доступна за ліцензією Creative Commons Attribution-ShareAlike.

Юніонпедія не схвалена Фондом Вікімедіа та не пов’язана з ним.

Google Play, Android і логотип Google Play є торговельними марками корпорації Google Inc.

Політика конфіденційності