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

Логічне програмування

Індекс Логічне програмування

IBM's Blue Gene/P масивно паралельний суперкомп'ютер Логі́чне програмува́ння — парадигма програмування, а також розділ дискретної математики, що вивчає методи і можливості цієї парадигми, засновані на виведенні нових фактів з даних фактів згідно із заданими логічними правилами.

38 відносини: Lisp, Planner, SHRDLU, XSB, Комп'ютери п'ятого покоління, Кон'юнктивна нормальна форма, Керування повітряним рухом, Правило висновування, Програмування наборами відповідей, Пролог, Представлення знань, Паралельні обчислення, Пошук з вертанням, Об'єктно-орієнтоване програмування, Обмеження (математика), Алонзо Черч, Немонотонна логіка, Роберт Ковальський, Стенфордський університет, Сеймур Пейперт, Семантика стійких моделей, Террі Виноград, Функційне програмування, Черняк Євген Олександрович, Массачусетський технологічний інститут, Математична логіка, Марвін Мінський, Мова програмування п'ятого покоління, Захист інформації, Заперечення як відмова, Зворотний вивід, Будівельна інженерія, ВЛВ-резолюція, Джон Алан Робінсон, Джон Маккарті, Імперативне програмування, Единбурзький університет, Логічне програмування.

Lisp

Лісп (Lisp) — мова програмування загального призначення з підтримкою парадигм функціонального та процедурного програмування.

Новинка!!: Логічне програмування і Lisp · Побачити більше »

Planner

Planner (іноді записується великими літерами як PLANNER, в радянській літературі також застосовувалося транслітероване Пле́нер) — функційно-логічна мова програмування, схожа за своїм синтаксисом з Ліспом.

Новинка!!: Логічне програмування і Planner · Побачити більше »

SHRDLU

SHRDLU — експертна система, рання програма розуміння природньої мови, розроблена Террі Виноградом в Масачусетському технологічному інституті у 1972 році, яка розуміла велику кількість слів англійської мови і робила певні висновки у світі, побудованому з деталей дитячого конструктору.

Новинка!!: Логічне програмування і SHRDLU · Побачити більше »

XSB

XSB це діалект мови програмування Prolog та його реалізація, розроблена в Stony Brook University у співробітництві з Katholieke Universiteit Leuven, New University of Lisbon, Uppsala University та розробником програмного забезпечення XSB, Inc.

Новинка!!: Логічне програмування і XSB · Побачити більше »

Комп'ютери п'ятого покоління

Комп'ютери п'ятого покоління (яп. 第五 世代 コ ン ピ ュ ー タ) — відповідно до ідеології розвитку комп'ютерних технологій, після четвертого покоління, побудованого на надвеликих інтегральних схемах, очікувалося створення наступного покоління, орієнтованого на розподілені обчислення, одночасно вважалося, що п'яте покоління стане базою для створення пристроїв, здатних до імітації мислення.

Новинка!!: Логічне програмування і Комп'ютери п'ятого покоління · Побачити більше »

Кон'юнктивна нормальна форма

Кон'юнкти́вна норма́льна фо́рма (КНФ) в булевій логіці - нормальна форма в якій булева формула має вид кон'юнкції декількох диз'юнктів (де диз'юнктами називаються диз'юнкції декількох пропозиційних символів або їх заперечень).

Новинка!!: Логічне програмування і Кон'юнктивна нормальна форма · Побачити більше »

Керування повітряним рухом

Управлі́ння пові́тряним ру́хом (УПР) — це складова частина обслуговування повітряного руху (ОПР), яка являє собою безпосередню взаємодію між диспетчером управління повітряним рухом (авіадиспетчером) та екіпажом повітряного судна (ЕПС), а також іншими службами (метеорологічними, технічними та аеродромними).

Новинка!!: Логічне програмування і Керування повітряним рухом · Побачити більше »

Правило висновування

У логіці пра́вило висно́вування, або пра́вило перетво́рення (rule of inference, inference rule, transformation rule) — це, що складається з функції, яка отримує передумови, аналізує їхній і повертає висновок (або). Наприклад, правило висновування, що називається modus ponens, отримує дві передумови, одну у формі «Якщо p тоді q», а другу у формі «p», і повертає висновок «q».

Новинка!!: Логічне програмування і Правило висновування · Побачити більше »

Програмування наборами відповідей

Програмування наборами відповідей (Answer set programming, ASP) — це форма декларативного програмування, орієнтованого на складні (насамперед, NP-складні) задачі пошуку.

Новинка!!: Логічне програмування і Програмування наборами відповідей · Побачити більше »

Пролог

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

Новинка!!: Логічне програмування і Пролог · Побачити більше »

Представлення знань

Предста́влення зна́нь або подання знань має кілька значень.

Новинка!!: Логічне програмування і Представлення знань · Побачити більше »

Паралельні обчислення

масово паралельний суперкомп'ютер IBM Blue Gene/P Паралельні обчислення — це форма обчислень, в яких кілька дій проводяться одночасно.

Новинка!!: Логічне програмування і Паралельні обчислення · Побачити більше »

Пошук з вертанням

Пошук з вертанням (backtracking), також пошук з поверненням — загальний алгоритм для знаходження всіх (або деяких) розв'язків деякої обчислювальної задачі, який поступово будує кандидатів на розв'язок, і відкидає кожного неповного кандидата c («вертається») як тільки визначає, що c не може бути доповненим до вірного розв'язку.

Новинка!!: Логічне програмування і Пошук з вертанням · Побачити більше »

Об'єктно-орієнтоване програмування

Об'є́ктно-орієнто́ване програмува́ння (ООП) — одна з парадигм програмування, яка розглядає програму як множину «об'єктів», що взаємодіють між собою.

Новинка!!: Логічне програмування і Об'єктно-орієнтоване програмування · Побачити більше »

Обмеження (математика)

У математиці обмеження — умова, якій повинен задовольняти розв'язок задачі оптимізації.

Новинка!!: Логічне програмування і Обмеження (математика) · Побачити більше »

Алонзо Черч

Алонзо Черч (Алонзо Чорч) (*14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон, Огайо, США) — видатний американський математик і логік.

Новинка!!: Логічне програмування і Алонзо Черч · Побачити більше »

Немонотонна логіка

Немонотонна логіка — це математична логіка, чия логічна імплікація відношень не є монотонною.

Новинка!!: Логічне програмування і Немонотонна логіка · Побачити більше »

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

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

Новинка!!: Логічне програмування і Роберт Ковальський · Побачити більше »

Стенфордський університет

Кампус Стенфордського університету Університет імені Ліленда Стенфорда-молодшого (Leland Stanford Junior University) або Стенфордський університет — приватний вищий навчальний заклад міста Стенфорд, Каліфорнія, США.

Новинка!!: Логічне програмування і Стенфордський університет · Побачити більше »

Сеймур Пейперт

Сеймур Пейперт (Seymour Papert; 1 березня 1928, Преторія, Південна Африка — 31 липня 2016, Блу Гілл, Мен, США) — видатний математик, програміст, психолог і педагог.

Новинка!!: Логічне програмування і Сеймур Пейперт · Побачити більше »

Семантика стійких моделей

Поняття стійко́ї моде́лі (stable model), або набору відповідей, застосовується для визначення декларативних семантик для логічних програм із запереченням як відмовою.

Новинка!!: Логічне програмування і Семантика стійких моделей · Побачити більше »

Террі Виноград

Террі Аллен Виноград (24 лютого 1946, Такома-Парк, штат Меріленд) — американський дослідник штучного інтелекту, професор комп'ютерних наук Стенфордського університету, член Асоціації з обчислювальної техніки (2009).

Новинка!!: Логічне програмування і Террі Виноград · Побачити більше »

Функційне програмування

Функційне програмування — парадигма програмування, яка розглядає програму як обчислення математичних функцій та уникає станів та змінних даних.

Новинка!!: Логічне програмування і Функційне програмування · Побачити більше »

Черняк Євген Олександрович

Євгеній Олександрович Черняк (12 квітня 1969, Запоріжжя, Запорізька область) — український бізнесмен, Голова наглядової ради холдингу Global Spirits.

Новинка!!: Логічне програмування і Черняк Євген Олександрович · Побачити більше »

Массачусетський технологічний інститут

Массачу́сетський технологі́чний інститу́т (МТІ) (Massachusetts Institute of Technology (MIT)) — один з найкращих у США, та загалом у світі, технічний університет.

Новинка!!: Логічне програмування і Массачусетський технологічний інститут · Побачити більше »

Математична логіка

Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.

Новинка!!: Логічне програмування і Математична логіка · Побачити більше »

Марвін Мінський

Марвін Лі Мінський (Marvin Lee Minsky; 9 серпня 1927 — 24 січня 2016) — американський дослідник в галузі штучного інтелекту, співзасновник лабораторії штучного інтелекту Массачусетського Технологічного Інституту, автор праць з штучного інтелекту та філософії.

Новинка!!: Логічне програмування і Марвін Мінський · Побачити більше »

Мова програмування п'ятого покоління

Мова програмування п'ятого покоління (англ. Fifth-generation programming language, скор. 5GL) - мова програмування, заснована на вирішенні проблем із використанням обмежень цієї програми, а не за допомогою прямого втручання програміста.

Новинка!!: Логічне програмування і Мова програмування п'ятого покоління · Побачити більше »

Захист інформації

Зáхист інформáції (Data protection) — сукупність методів і засобів, що забезпечують цілісність, конфіденційність і доступність інформації за умов впливу на неї загроз природного або штучного характеру, реалізація яких може призвести до завдання шкоди власникам і користувачам інформації.

Новинка!!: Логічне програмування і Захист інформації · Побачити більше »

Заперечення як відмова

Запере́чення як відмо́ва (negation as failure, NAF) — це немонотонне правило висновування в логічному програмуванні, що застосовується для виведення \mathrm~p (тобто припущення, що ~p не витримується) з відмови виведення ~p.

Новинка!!: Логічне програмування і Заперечення як відмова · Побачити більше »

Зворотний вивід

Зворотний вивід (або зворотне міркування) є метод отримання висновку, який працює в зворотному напрямку від мети.

Новинка!!: Логічне програмування і Зворотний вивід · Побачити більше »

Будівельна інженерія

Будівельна інженерія (також інжиніринг) — інженерія у будівельній галузі, інженерне забезпечення будівництва, яке охоплює всі фази реалізації інвестиційно-будівельних проектів: проектування, будівництво, експлуатацію об'єктів.

Новинка!!: Логічне програмування і Будівельна інженерія · Побачити більше »

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

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

Новинка!!: Логічне програмування і ВЛВ-резолюція · Побачити більше »

Джон Алан Робінсон

Джон А́лан Ро́бінсон (John Alan Robinson; 9 березня 1930, Йоркшир, Велика Британія — 5 серпня 2016, Портленд, США) — англійський філософ і логік, зробив важливий внесок у становлення логічного програмування.

Новинка!!: Логічне програмування і Джон Алан Робінсон · Побачити більше »

Джон Маккарті

Джон Маккарті (John McCarthy; 4 серпня 1927 року, Бостон, США — 24 жовтня 2011, Стенфорд) — американський інформатик та дослідник мислення, який вважається винахідником терміну «Штучний інтелект», який він вжив у своїх пропозиціях 1955 року до конференції в Дартмуті 1956, винахідник мови LISP.

Новинка!!: Логічне програмування і Джон Маккарті · Побачити більше »

Імперативне програмування

Імперати́вне програмува́ння — парадигма програмування, згідно з якою описується процес отримання результатів як послідовність інструкцій зміни стану програми.

Новинка!!: Логічне програмування і Імперативне програмування · Побачити більше »

Единбурзький університет

Единбу́рзький університе́т (University of Edinburgh) — найбільший вищий навчальний заклад Шотландії, один з найдавніших у країні, заснований у 1583 року.

Новинка!!: Логічне програмування і Единбурзький університет · Побачити більше »

Логічне програмування

IBM's Blue Gene/P масивно паралельний суперкомп'ютер Логі́чне програмува́ння — парадигма програмування, а також розділ дискретної математики, що вивчає методи і можливості цієї парадигми, засновані на виведенні нових фактів з даних фактів згідно із заданими логічними правилами.

Новинка!!: Логічне програмування і Логічне програмування · Побачити більше »

Перенаправлення тут:

Принцип логічного програмування, Об'єктно-орієнтоване логічне програмування, Логічне програмування вищого порядку.

ВихідніВхідний
Гей! Ми на Facebook зараз! »