А   Б  В  Г  Д  Е  Є  Ж  З  І  Ї  Й  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Ю  Я 


Логічний висновок

Логічний висновок[см. Робити логічний висновку.

Логічний висновок, якому присвячена остання глава книги, має істотно більш складний характер. Число посилок довільно, та й самі посилки складніше - ними служать закономірності типу запр ета, які можуть пов'язувати більш ніж дві ознаки.

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

Логічний висновок дозволяє вдосконалити роботу зі службами найбільш просто і наочно.

Логічний висновок зазвичай спрямований до точно сформульованої мети, а умовиводи робляться навмання.

Логічний висновок в системі PROTEAN двонаправлений і базується на використанні дошки оголошень з чотирма рівнями. Коли реалізується спадна стратегія (зверху вниз), система використовує гіпотези на одному рівні для визначення положення на іншому, більш низькому; коли ж реалізується висхідна стратегія (від низу до верху), гіпотези на одному рівні використовуються в якості обмежень для іншого, більш верхнього.

Логічний висновок: те, що доведено відносно менш очевидного, тим більше повинно бути визнано відносно більш очевидного.

Звідси логічний висновок: ізомеризація етілацетілена в діметілацетілен відбувається під впливом спиртового розчину їдкого калі. Етил-ацетилен при нагріванні в запаяній трубці до 170 зі спиртовим розчином їдкого калі дійсно перетворився в діметілацетілен.

Логічним висновком стосовно приладів автоматичного контролю є автоматизація процесу калібрування приладу. Це засіб дозволяє значно зменшити похибка приладу навіть за умови дрейфу іонного джерела. 
Роблячи логічний висновок з теорії про народну волю, втіленої в центральної влади, слід звернути увагу на те, що проміжні елементи повинні розглядатися в суворій залежності від центральної влади, в свою чергу, також вважається залежною від народу. Особливо це стосується чиновництва. Влада верхівки спочиває виключно на прямий волі мас. Ніяких опосередкованих ланок бонапартизм не визнає. Державний переворот 2 грудня 1851 года2 зображується їм як позбавлення народу від парламентського гніту, умовою чого стали подальше пряме звернення до мас у формі плебісциту.

Виконаємо логічний висновок із застосуванням правила резолюції, щоб встановити, чи є формула Р (иванов) наслідком вищенаведеної теорії. Іншими словами, чи можна вивести з цієї теорії факт, що студент Іванов стане фахівцем в прикладної інформатики, якщо він добре здав іспит з інформаційних систем.

Здійснюючи логічний висновок, ми отримаємо як побічний результат послідовність дій або команди РУХ. У цьому полягає наш план, який може бути здійснений фермером в реальних умовах.

Власне логічний висновок починається, коли ми використовуємо правила виведення.

Тому логічний висновок виявляється просто необхідний.

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

Виконаємо логічний висновок із застосуванням правила резолюції, щоб встановити, чи є формула Р (иванов) наслідком вищенаведеної теорії. Іншими словами, чи можна вивести з цієї теорії факт, що студент Іванов стане фахівцем в прикладної інформатики, якщо він добре здав іспит з інформаційних систем.

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

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

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

Структурна схема типової експертної системи. Блок логічних висновків і діагнозу - основний модуль, що виконує спочатку факторний аналіз, результати якого потім використовуються для логічного аналізу і оформлення діагнозу.

Машина логічного висновку і інтерфейс з користувачем утворюють так звану оболонку. База знань відокремлена від ДМ, що використовує ці знання. Такий поділ зручно з таких міркувань.

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

Тип логічного висновку, який нас цікавить, чи не явяяется простим, точним і легким. Експерти - люди, які в усі моменти, як правило, вдаються до неточних - важким висновків. Саме такі логічні висновки ми і будемо будувати, і наша проблема, на відміну від складання платіжної відомості, полягає в тому, що ми навіть не знаємо, які вихідні рівняння, не кажучи вже про те, як запрограмувати їх для отримання рішення.

Спосіб логічного висновку, при якому істинність виведених висловлювань не зменшується в процесі виведення.

Апарат логічного висновку в ROSIE виконує інтерпретацію правил, запроваджених з терміналу або взятих з комплектів правил, і забезпечує дедуктивний доступ до бази даних. Обговоримо обидві ці функції.

Важливість логічного висновку стає очевидною вже при розгляді найпростіших інформаційно-логічних процедур. Припустимо, наприклад, що деяка база даних містить відомості про відносини х - БАТЬКО.

Для логічного висновку джерело того чи іншого істинного факту не важливий (так як всі факти виходять тільки шляхом суворого виведення з аксіом); при умовиводах важливо, як отриманий факт, так як це визначає ступінь довіри до нього.
  Машина логічного висновку була розширена для роботи з невизначеною інформацією.

Компонента логічного висновку є для отримання екстенсіоналу відносин і атрибутів (фактів) обраної проблемної області та для перевірки інформації, представленої в моделі проблемної області, на несуперечливість.

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

Методика логічного висновку на основі прецедентів, якій була присвячена глава 22 дозволяє вирішити нову проблему, адаптуючи раніше отримані рішення аналогічних проблем. Ця ж методика може бути використана і для навчання, оскільки якщо вже раніше сформоване рішення адаптовано стосовно нової проблеми, його можна додати в базу прецедентів для використання в майбутньому.
 Правила логічного висновку, теорія орієнтованих графів і математична логіка були винайдені задовго до появи такої галузі досліджень, як штучний інтелект. Але саме дослідження в цій області дозволили адаптувати формальний апарат цих теорій до завдань подання знань і відшукати високоефективні засоби їх реалізації. Розвиток сучасних продукційних, об'єктно-орієнтованих систем і систем процедурної дедукції в значній мірі визначається такими додатками штучного інтелекту, як проблеми класифікації і конструювання, описані в ряді глав даної книги.

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

Структура системи поповнення знань. Методи логічного висновку є одними з основних компонентів інтелектуалізованих систем поповнення знань.

Механізм логічного висновку будується на основі теорії прийняття рішень та аналізу експертної інформації.

Блоки логічного висновку в таких системах породжують нові судження, які комп'ютер пред'являє експерту, пояснюючи логічну послідовність їх отримання. Оцінка експертом цих нових суджень дає додаткову інформацію, яку програма може використовувати для корекції побудованих нею наборів формальних переваг.

Механізм логічного висновку в цій системі здійснюється шляхом аналізу змісту бази знань.

Машина логічного висновку CLIPS зіставляє ці факти і правила і з'ясовує, які з правил можна активізувати.

Далі йде логічний висновок: настане момент, коли машина взагалі втратить коліс.

На один логічний висновок комп'ютер зазвичай витрачає 100 - 1000 операцій. А так як таких висновків доводиться робити дуже багато, то продуктивність комп'ютерів зручно обчислювати кількістю логічних висновків в секунду. Так, комп'ютери п'ятого покоління повинні робити до 1 млрд. Логічних висновків. Очевидно, що для створення програм з великим числом логічних висновків необхідний спеціальний мова програмування, орієнтований на логічні висновки. Такими мовами є Пролог (саме він був покладений в основу японського проекту комп'ютерів п'ятого покоління) і Лісп (про них ми розповімо в гл. Навпаки, логічний висновок в експертній системі іноді здійснюється досить прямолінійно. І навпаки, пристрій доведення теорем, засноване на аналізі предикатів, здатне до нефокусірованному логічного висновку, коли процес логічного висновку не зовсім відомий.

Математика як логічний висновок і засіб пізнання природи - творіння стародавніх греків, яким вони почали всерйоз займатися приблизно за шість століть до нової ери.

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

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

Ефективність машини логічного висновку в чому залежить від того, як вона здійснює пошук в наборі правил, коли шукає правила, які можна виконувати. На відміну від традиційного програмного забезпечення, що використовує принципи штучного інтелекту, система GURU надає розширені засоби управління налаштуванням, зокрема підтримує до 50 різних стратегій пошуку. Ефективність також залежить від кількості і складу правил в наборі правил. Оскільки система GURU надає різноманітні можливості створення наборів правил, то можна значно скоротити кількість правил, необхідних для охоплення всіх знань і досвіду в конкретній проблемній області. Це призводить до прискорення процесу отримання логічних висновків, а також до спрощення управління цими правилами.

В результаті логічного висновку в створеній базі даних системою буде отримано значення нової квоти продажів, засноване на введених даних. Значення нової квоти виведеться на екран користувача.

Нечітке правило логічного висновку є впорядкованою пару (А, В), де А - нечітке підмножина простору вхідних значень X, В - нечітке підмножина простору вихідних значень Y. Число елементів в Р03) і pw нескінченно велике, тому неможливо задати правила нечіткого виведення відповідними парами точок. Однак вони можуть бути описані в термінах теорії нечітких множин.