Між логікою та інформатикою існують надзвичайно глибокі та всепроникні зв’язки. Розуміючи, якими вони можуть бути, майте на увазі, що інформатику також називають "інформаційними технологіями" або "інформатикою", тобто комп'ютерні системи фіксують, обробляють та доставляють інформацію. Ну, логіка - це подібна річ. Він вивчає, як інформація фіксується у реченнях і як можливо, що одне твердження є наслідком іншого, тобто, як його інформаційний зміст вже присутній в іншому висловлюванні (або збірці тверджень). У цьому сенсі логіка та інформатика є по суті однаковимидисциплінованість, орієнтація на різні аспекти. Логіки (Church, Kleene, Turing, Post та їхні студенти та колеги) створили дисципліну "Комп'ютерні науки", і багато логіків продовжують робити внески в інформатику, особливо Жан-Ів Жирар та його студенти.
Ось декілька стандартних застосувань логіки в інформатиці:
Дизайн цифрових мікросхем повністю базується на логіці пропозиції, настільки, що його інженери називають це "логічним дизайном", а не "схемою дизайну". Навіть написання комп’ютерної програми часто вважається продуманням її "логіки". (Зауважте, що "логіка" в останньому сенсі - це неформальна ідея, а не формальна логіка, яка використовується для позначення потоку інформації через програму та того, чи правильно вона обробляється.)
Логіка предиката та його математичний родич, теорія множин, використовуються в різних обчислювальних мовах , наприклад, мові SQL для запитів реляційних баз даних. Існують також мови програмування на основі логіки, які називаються "мовами логічного програмування".
Представлення знань , про яке ви вже згадували, має багато формалізмів, заснованих на логіці. Навіть якщо він використовує нелогічні формалізми, багато з них все-таки мають логічне значення , а значить, засновані на логіці.
Імовірнісна логіка, де висловлювання мають не просто істинні / хибні значення, а рівні визначеності / невизначеності, все більше є основою для систем машинного навчання .
Якщо ви хочете офіційно заявити, що робить програма, тобто даючи специфікацію програми , ви в кінцевому підсумку використовуєте певну форму логічної мови. Дійсно, існує багато мов специфікації програм, як Z і B, які засновані на логіці предиката та теорії множин. Існують також мови специфікацій на основі рівняльної логіки, наприклад, модрина. Вчені-комп’ютери часто вигадують нову логіку, щоб представити потреби інформатики, наприклад, логіка Хоара та логіка розділення, або вони підбирають і розробляють різні не використовувані форми традиційних логік, такі як часова логіка та модальна логіка, і розвивають їх далі.
Якщо ви хочете перевірити, чи програма виконує те, що вона повинна робити, то ви в кінцевому підсумку використовуєте не лише мову логіки, але й всю техніку логіки: теорію доказів, теорію моделей та процедури прийняття рішень. Технологія перевірки зараз зростає як невдовзі, і я сподіваюся, що ще через десятиліття вони будуть регулярно використовуватися майже для всієї розробки програмного забезпечення.
Насправді, зв’язки між логікою та інформатикою настільки глибокі та всепроникні, що, я б сказав, важко бути хорошим комп'ютером без глибокого розуміння логіки.
Причина, яку в цей час деякі вчені АІ недооцінюють логіку, - це те, що деякі з перших розробників AI запропонували логіку поза штатом як інструмента не фундамент. ШІ за своєю суттю обіцяє доставити магію. Нам не потрібно робити важку роботу програмних систем, щоб досягти результатів. Вони зможуть самостійно зрозуміти, як виробляти рішення, оскільки вони були б "розумними". Логіка, здавалося, вказує шлях, тому що якби комп'ютерні системи розуміли логіку і знали, як обробляти інформацію, використовуючи правила логіки, вони змогли б доставити магію. Така віра в логіку була ретроспективно замінена. По-перше, логіка поза штатним надто сильною і водночас занадто слабкою. Це занадто сильно в тому сенсі, що правила логіки занадто загальні для розробки ефективних процедур. Він також занадто слабкий, оскільки це логіка, розроблена математиками для потреб математики, і це не так не мати словниковий запас, необхідний для роботи з багатьма іншими видами реальної інформації, з якою мають працювати системи AI (такі як невизначеність, контекстна інформація, наприклад, час, зміни, знання, агентство тощо). Отже, AI зараз зазнає зворотного зв'язку проти логіки. Але я думаю, що, коли вони перейдуть цей люфт, вчені ШІ зрозуміють, що все новіші методи все ще базуютьсялогіка, широко витлумачена .