Логіка в обчислювальній техніці
Висновок умовиводів
Поняття, судження й умовивід
Логіка й математика
Логіка в обчислювальній техніці
Тема: Логічні основи побудови ЕОМ. Логіка в математиці. Основні поняття логіки: поняття судження, умовивід.
Уміння міркувати, логічно мислити, давати відповіді на поставлені питання грає дуже важливу роль у житті людини. Виділення логічних завдань носить певною мірою умовний характер. Важко визначити, яку завдання варто назвати логічної. Здається, будь-яке завдання є такий, тому що для її рішення потрібні певні логічні міркування. І це вірно, але все-таки за традицією для тренування саме логічного мислення людиною придумана безліч завдань, у яких мова йде про об'єкти, загалом кажучи, довільної природи. Саме такими завданнями й правилами їхнього рішення ми й займемося в цій главі.
Але яке відношення логіка має до обчислювальної техніки й програмування, виявляється, саме безпосереднє. Саме логіка є теоретичною основою сучасних ЕОМ і складних керуючих систем. Вона здобуває важливе прикладне значення - особливо в області розробки спеціальних мов для баз даних і подання знань. Використовуючи методи й засоби логічної науки, учені розробляють ефективні мови програмування.
Наприклад, основою так званого доказового програмування є формальна логіка. Загальна ідея тут, як говориться, лежить на поверхні: якщо можна конструктивно, використовуючи інтуїцію, довести, що існують об'єкти, що задовольняють деякій даній умові, те, побудувавши доказ, можна побудувати по ньому й програму обчислення відповідної умови (функції).
Знову ж, в основі так званого логічного програмування лежать структури логічних доказів.
Але особливе значення логічна наука стала здобувати в питаннях, що стосується проблеми штучного інтелекту. Саме тут розроблювачам довелося створити нову область логічних досліджень — логічний аналіз. Спробуємо окреслити лише деякі контури цього нового, перспективного, що розвивається напрямку.
Штучний інтелект припускає різні типи міркувань. Вони можуть бути звичайн або монотонними, але обов'язково припускають додавання нової інформації.
Логічний аналіз припускає, що нова інформація не скасовує, не робить невірними наслідку, отримані раніше. Однак у практиці міркувань ми нерідко допускаємо деяку повноту вихідної інформації. Додавання нової інформації до вихідного скасовує це допущення, і те, що раніше приймався як наслідок, може не бути таким при додатковій інформації. Такий логічний аналіз називають окресленням. Читаючи ці рядки, ви напевно нічого не зрозуміли. Але ми привели це пояснення з області проблеми штучного інтелекту навмисне, щоб читач, відчув, що проблема ця досить важка. У ній багато невирішених питань, які має бути розробити в
майбутньому.