Ця стаття містить , але походження тверджень у ній через практично повну відсутність . (липень 2020) |
Зворотний вивід (або зворотне міркування) є метод отримання висновку, який працює в зворотному напрямку від мети. Він використовується в автоматизованому доведенні теорем, машинному висновуванні та інших напрямках штучного інтелекту, також спостерігається у приматів.
В теорії ігор застосування зворотного виводу для [en], з метою знайти рішення гри, називається зворотною індукцією. У шахах даний метод називається ретроспективним аналізом, він використовується для створення баз таблиць для ендшпіля у комп'ютерних шахах.
Зворотний вивід здійснюється у логічному програмуванні за допомогою SLD-резолюції. Обидва правила базуються на правилі виводу modus ponens. Це один з двох найбільш часто використовуваних методів міркування при роботі з правилами висновування та логічними наслідками, є протилежним до прямого виводу. Системи зворотного виводу, наприклад, Пролог, зазвичай використовують стратегію пошуку в глибину.
Принцип роботи
Зворотний вивід починається з переліку цілей (або гіпотез) і працює в зворотному напрямку від висновку до антецеденту, щоб побачити, чи доступні дані, які будуть підтримувати будь-який з цих висновків.
Механізм логічного виводу, що використовує зворотний вивід, шукає серед правил виводу перше правило, у якого висновок (частина Тоді) відповідає поставленій меті. Якщо невідомо, чи набуває антецедент (частина Якщо) цього правила логічного значення "істина", тоді антецедент цього правила додається до списку цілей. (для того, щоб мета підтвердилася, необхідно також отримати дані для підтвердження цього нового правила).
Наприклад, метою є визначення кольору тварини, яка квакає і їсть мух. База правил виводу містить такі чотири правила:
- Якщо X квакає і їсть мух - Тоді X - це жаба
- Якщо X щебече і співає - Тоді X - це канарка
- Якщо X - жаба - Тоді X має зелений колір
- Якщо X - канарка - Тоді X має жовтий колір
По базі правил виводу буде здійснено пошук, будуть вибрані правило №3 і №4, бо їх висновки (Тоді тварина має зелений колір, Тоді тварина має жовтий колір) відповідають меті (визначити колір тварини). Поки ще невідомо, чи є тварина жабою або канаркою, тому обидва правила будуть додані в список цілей. По базі правил виводу знову здійснюється пошук, цього разу механізм обере правила перші два правила, тому що їх висновки (Тоді тварина - це жаба, Тоді тварина - це канарка) відповідає цілям, які були щойно додані в список. Антецедент (Якщо тварина квакає і їсть мух), як відомо, є істинним, тому можна зробити висновок, що тварина є жабою і не канаркою. Мету визначення кольору тварини тепер досягнуто (тварина має зелений колір, якщо це жаба, і жовтий, якщо це канарка, але тварина є жабою, оскільки вона квакає і їсть мух, тому тварина має зелений колір).
Зверніть увагу, що цілям завжди відповідають висновки, у яких пізніше антецеденти розглядаються як нова мета. Зрештою, антецедентам повинні відповідати відомі факти (вони, як правило, визначаються як висновки, у яких завжди істинний антецедент). Таким чином, правилом висновування, яке використовується є modus ponens.
Оскільки саме список цілей визначає, які правила вибирати і використовувати, цей метод називається методом, керованим метою, на відміну від прямого виводу, що є методом, керованим даними. Зворотний вивід часто використовується в експертних системах.
Мови програмування, такі як Пролог, Knowledge Machine і ECLiPSe підтримують метод зворотного виводу в своїх механізмах виводу.
Література
Стюарт Рассел, Питер Норвиг Искусственный интеллект: современный подход. — М.: Вильямс, 2007. С. 1424.
Посилання
- Приклади зворотнього виводу [ 21 березня 2012 у Wayback Machine.]
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Cya stattya mistit perelik posilan ale pohodzhennya tverdzhen u nij zalishayetsya nezrozumilim cherez praktichno povnu vidsutnist vnutrishnotekstovih dzherel vinosok Bud laska dopomozhit polipshiti cyu stattyu peretvorivshi dzherela z pereliku posilan na dzherela vinoski u samomu teksti statti lipen 2020 Zvorotnij vivid abo zvorotne mirkuvannya ye metod otrimannya visnovku yakij pracyuye v zvorotnomu napryamku vid meti Vin vikoristovuyetsya v avtomatizovanomu dovedenni teorem mashinnomu visnovuvanni ta inshih napryamkah shtuchnogo intelektu takozh sposterigayetsya u primativ V teoriyi igor zastosuvannya zvorotnogo vivodu dlya en z metoyu znajti rishennya gri nazivayetsya zvorotnoyu indukciyeyu U shahah danij metod nazivayetsya retrospektivnim analizom vin vikoristovuyetsya dlya stvorennya baz tablic dlya endshpilya u komp yuternih shahah Zvorotnij vivid zdijsnyuyetsya u logichnomu programuvanni za dopomogoyu SLD rezolyuciyi Obidva pravila bazuyutsya na pravili vivodu modus ponens Ce odin z dvoh najbilsh chasto vikoristovuvanih metodiv mirkuvannya pri roboti z pravilami visnovuvannya ta logichnimi naslidkami ye protilezhnim do pryamogo vivodu Sistemi zvorotnogo vivodu napriklad Prolog zazvichaj vikoristovuyut strategiyu poshuku v glibinu Princip robotiZvorotnij vivid pochinayetsya z pereliku cilej abo gipotez i pracyuye v zvorotnomu napryamku vid visnovku do antecedentu shob pobachiti chi dostupni dani yaki budut pidtrimuvati bud yakij z cih visnovkiv Mehanizm logichnogo vivodu sho vikoristovuye zvorotnij vivid shukaye sered pravil vivodu pershe pravilo u yakogo visnovok chastina Todi vidpovidaye postavlenij meti Yaksho nevidomo chi nabuvaye antecedent chastina Yaksho cogo pravila logichnogo znachennya istina todi antecedent cogo pravila dodayetsya do spisku cilej dlya togo shob meta pidtverdilasya neobhidno takozh otrimati dani dlya pidtverdzhennya cogo novogo pravila Napriklad metoyu ye viznachennya koloru tvarini yaka kvakaye i yist muh Baza pravil vivodu mistit taki chotiri pravila Priklad zvorotnogo vivodu Yaksho X kvakaye i yist muh Todi X ce zhaba Yaksho X shebeche i spivaye Todi X ce kanarka Yaksho X zhaba Todi X maye zelenij kolir Yaksho X kanarka Todi X maye zhovtij kolir Po bazi pravil vivodu bude zdijsneno poshuk budut vibrani pravilo 3 i 4 bo yih visnovki Todi tvarina maye zelenij kolir Todi tvarina maye zhovtij kolir vidpovidayut meti viznachiti kolir tvarini Poki she nevidomo chi ye tvarina zhaboyu abo kanarkoyu tomu obidva pravila budut dodani v spisok cilej Po bazi pravil vivodu znovu zdijsnyuyetsya poshuk cogo razu mehanizm obere pravila pershi dva pravila tomu sho yih visnovki Todi tvarina ce zhaba Todi tvarina ce kanarka vidpovidaye cilyam yaki buli shojno dodani v spisok Antecedent Yaksho tvarina kvakaye i yist muh yak vidomo ye istinnim tomu mozhna zrobiti visnovok sho tvarina ye zhaboyu i ne kanarkoyu Metu viznachennya koloru tvarini teper dosyagnuto tvarina maye zelenij kolir yaksho ce zhaba i zhovtij yaksho ce kanarka ale tvarina ye zhaboyu oskilki vona kvakaye i yist muh tomu tvarina maye zelenij kolir Zvernit uvagu sho cilyam zavzhdi vidpovidayut visnovki u yakih piznishe antecedenti rozglyadayutsya yak nova meta Zreshtoyu antecedentam povinni vidpovidati vidomi fakti voni yak pravilo viznachayutsya yak visnovki u yakih zavzhdi istinnij antecedent Takim chinom pravilom visnovuvannya yake vikoristovuyetsya ye modus ponens Oskilki same spisok cilej viznachaye yaki pravila vibirati i vikoristovuvati cej metod nazivayetsya metodom kerovanim metoyu na vidminu vid pryamogo vivodu sho ye metodom kerovanim danimi Zvorotnij vivid chasto vikoristovuyetsya v ekspertnih sistemah Movi programuvannya taki yak Prolog Knowledge Machine i ECLiPSe pidtrimuyut metod zvorotnogo vivodu v svoyih mehanizmah vivodu LiteraturaStyuart Rassel Piter Norvig Iskusstvennyj intellekt sovremennyj podhod M Vilyams 2007 S 1424 ISBN 0 13 790395 2PosilannyaPrikladi zvorotnogo vivodu 21 bereznya 2012 u Wayback Machine