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

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

В теорії ігор застосування зворотного виводу для під-ігор[en], з метою знайти рішення гри, називається зворотною індукцією. У шахах даний метод називається ретроспективним аналізом, він використовується для створення баз таблиць для ендшпіля у комп'ютерних шахах.

Зворотний вивід здійснюється у логічному програмуванні за допомогою SLD-резолюції. Обидва правила базуються на правилі виводу modus ponens. Це один з двох найбільш часто використовуваних методів міркування при роботі з правилами висновування та логічними наслідками, є протилежним до прямого виводу. Системи зворотного виводу, наприклад, Пролог, зазвичай використовують стратегію пошуку в глибину.

Принцип роботи

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

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

Наприклад, метою є визначення кольору тварини, яка квакає і їсть мух. База правил виводу містить такі чотири правила:

Приклад зворотного виводу.
Приклад зворотного виводу.
  1. Якщо X квакає і їсть мух - Тоді X - це жаба
  2. Якщо X щебече і співає - Тоді X - це канарка
  3. Якщо X - жаба - Тоді X має зелений колір
  4. Якщо X - канарка - Тоді X має жовтий колір

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

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

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

Мови програмування, такі як Пролог, Knowledge Machine і ECLiPSe підтримують метод зворотного виводу в своїх механізмах виводу.

Література

Стюарт Рассел, Питер Норвиг Искусственный интеллект: современный подход. — М.: Вильямс, 2007. С. 1424. ISBN 0-13-790395-2

Посилання

Read other articles:

RONJA

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Februari 2023. RONJA (Reasonable Optical Near Joint Access) adalah sebuah sistem komunikasi optis ruang bebas yang berasal dari Republik Ceko. Mengirimkan data secara nirkabel menggunakan berkas cahaya. Ronja dapat digunakan untuk membuat Ethernet point-to-point lin...

 

Boehmit

BoehmiteBöhmit Natrolit dari Sagåsen (Strandåsen), Mørje, Porsgrunn, Telemark, NorwegiaUmumKategoriMineral oksidaRumus(unit berulang)γ-AlO(OH)Klasifikasi Strunz4.FE.15Klasifikasi Dana6.1.2.1Sistem kristalOrtorhombikKelas kristalDipiramidal (mmm) Lambang H-M: (2/m 2/m 2/m)Grup ruangAmamSel unita = 3.693 Å, b = 12.221 Å, c = 2.865 Å; Z = 4IdentifikasiKekerasan dalam skala Mohs3.5GoresPutihBerat jenis3.02 - 3.05Sifat optikBiaksial (+)Indeks biasnα = 1.644 - 1.64...

 

هوركاجو دي لوس مونتس (سيوداد ريال)

  هوركاجو دي لوس مونتس (بالإسبانية: Horcajo de los Montes)‏[1]   - بلدية -    هوركاجو دي لوس مونتس (سيوداد ريال)  خريطة الموقع تقسيم إداري البلد إسبانيا  [2] المقاطعة مقاطعة ثيوداد ريال خصائص جغرافية إحداثيات 39°19′35″N 4°39′00″W / 39.3264384°N 4.650099°W / 39....

David Kabua

Marshallese politician; Former President of the Marshall Islands (2020-2024) The HonorableDavid KabuaKabua in 20219th President of the Marshall IslandsIn office13 January 2020 – 3 January 2024Preceded byHilda HeineSucceeded byHilda Heine10th Minister in Assistance to the PresidentIn office11 January 2016 – 28 January 2016PresidentCasten NemraPreceded byWilbur HeineSucceeded byMattlan Zackhras Personal detailsBorn1951Majuro, Trust Territory of thePacific Islands (now Mars...

 

Kevin Owens

Tidak menjadi bingung dengan Kevin Owen. Untuk pemain basket, lihat Kevin Owens (basket). Kevin OwensOwens pada bulan Juli 2023Nama lahirKevin Steen[1]Lahir7 Mei 1984 (umur 39)[1]Saint-Jean-sur-Richelieu, Quebec, Kanada[2]Tempat tinggalOrlando, Florida, Amerika SerikatPasanganKarina Steen ​(m. 2007)​Anak2Karier gulat profesionalNama ringKevin Owens[3]Kevin Steen[4]Super Dragon (Impostor)[4][5]Tinggi6...

 

Consumer Federation of California

Consumer Federation of CaliforniaHeadquartersCaliforniaLocationU.S. The Consumer Federation of California (CFC) was founded in 1960 as a nonprofit consumer advocacy organization. CFC campaigns for state and federal laws and appears at the California state legislature in support of consumer-focused regulations.[1] The Consumer Federation of California is led by Executive Director Richard Holober and President Lucinda Sikes. CFC has advocated for medical and financial privacy, the preve...

Intersexuation

Ne doit pas être confondu avec hermaphrodisme ou transidentité. Signe Mars et Vénus, utilisé comme symbole des personnes intersexes ou transgenres. L'intersexuation, aussi appelée intersexualité[1],[2],[N 1], se définit selon l’ONU comme « une manière de décrire les caractères sexuels biologiques d’un individu, notamment ses organes génitaux, ses gonades, ses taux d’hormones et ses chromosomes » lorsque ces caractères ne correspondent pas aux définitions tradit...

 

Pertempuran Vimy Ridge

Koordinat: 50°22′44″N 2°46′26″E / 50.379°N 2.774°E / 50.379; 2.774 Perempuran Vimy RidgeBagian dari Pertempuran Arras di blok Barat pada Perang Dunia IPertempuran Vimy Ridge lukisan dari Richard Jack. dari Museum Perang Kanada.Tanggal9 – 12 April 1917LokasiVimy, Pas-de-Calais, PrancisHasil Kemenangan SekutuPihak terlibat  Kanada Inggris Raya Kekaisaran JermanTokoh dan pemimpin Julian Byng Ludwig von FalkenhausenKekuatan 5 divisi 170.000 [1] 3...

 

Harold Arlen

American composer of popular music (1905–1986) Not to be confused with Harold Arlin. Harold ArlenArlen in 1960BornHyman Arluck(1905-02-15)February 15, 1905Buffalo, New York, U.S.DiedApril 23, 1986(1986-04-23) (aged 81)New York City, U.S.Resting placeFerncliff CemeteryOccupationComposerSpouse Anya Taranda ​ ​(m. 1937; died 1970)​ChildrenAdopted his brother's son in 1985[1] Harold Arlen (born Hyman Arluck; February 15, 1905 – Apri...

New Chapel Hill, Texas

Not to be confused with Chappell Hill, Texas. City in Texas, United StatesNew Chapel Hill, TexasCityLocation of NewChapelHill, TexasCoordinates: 32°18′13″N 95°10′9″W / 32.30361°N 95.16917°W / 32.30361; -95.16917CountryUnited StatesStateTexasCountySmithArea[1] • Total2.42 sq mi (6.27 km2) • Land2.39 sq mi (6.20 km2) • Water0.03 sq mi (0.07 km2)Elevation430 ft (131&#...

 

Kiryat Shomrei Emunim

Kiryat Shomrei EmunimLingkunganNegara IsraelProvinsiYerusalemKotaYerusalemZona waktuUTC+3 (EAT) • Musim panas (DST)UTC+3 (EAT) Kiryat Shomrei Emunim adalah sebuah lingkungan di kota suci Yerusalem di Provinsi Yerusalem, tepatnya di sebelah timur Israel.[1] Referensi ^ National Geospatial-Intelligence Agency. GeoNames database entry. (search Diarsipkan 2017-03-18 di Wayback Machine.) Accessed 12 May 2011. lbsLingkungan di YerusalemLingkungan-lingkungan Yerusalem sebela...

 

2007 Football League Championship play-off final

Football match2007 Football League Championship play-off finalDerby County and West Bromwich Albion crests before kick-off Derby County West Bromwich Albion 1 0 Date28 May 2007VenueWembley Stadium, LondonRefereeGraham Poll (Hertfordshire)Attendance74,993WeatherRain← 2006 2008 → The 2007 Football League Championship play-off final was an association football match which was played on 28 May 2007 at Wembley Stadium, London, between Derby County and West Bromwich Albion. The match w...

Bruno Ballarini

Questa voce sull'argomento calciatori italiani è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Bruno Ballarini Nazionalità  Italia Calcio Ruolo Difensore Termine carriera 1972 Carriera Squadre di club1 1956-1957 Rovereto23 (11)1957-1958 Verona0 (0)1958-1970 Como350 (21)1971-1972 Chiasso4 (0) Carriera da allenatore 1971-1972 Chiasso 1 I due numeri indicano le presenze e le...

 

Economy of Italy

Economy of ItalyMilan is the economic capital of Italy,[1] and is a global financial centre and a fashion capital of the world.CurrencyEuro (EUR, €) (Except in Campione d'Italia – CHF)Fiscal yearCalendar YearTrade organisationsEU, WTO, G-20, G7, OECD, AIIBCountry group Developed/Advanced[2] High-income economy[3] StatisticsPopulation58,850,717 (31 December 2022)[4]GDP $2.328 trillion (nominal; 2024)[5] $3.347 trillion (PPP; 2024)[5] GDP ran...

 

Biblioteca Nacional de Brasil

Biblioteca Nacional de Brasil INEPAC Good ClassBien declarado patrimonio por el IPHAN Fachada de la Biblioteca Nacional de Brasil.UbicaciónPaís Brasil BrasilLocalidad Av Rio Branco 219, Río de Janeiro, BrasilDirección 24040-008Coordenadas 22°54′35″S 43°10′32″O / -22.909723, -43.175501Datos generalesTipo públicaBiblioteca Nacional de Brasil Sitio web oficial[editar datos en Wikidata] La Biblioteca Nacional de Brasil (Biblioteca Nacional do Brasil e...

Jacob Vargas

Questa voce o sezione sull'argomento attori messicani non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Jacob Vargas Jacob Vargas (Michoacán, 18 agosto 1971) è un attore messicano naturalizzato statunitense. Indice 1 Biografia 2 Filmografia 2.1 Cinema 2.2 Televisione 3 Doppiatori italiani 4 Collegamenti esterni Biografia Vargas è nato a Michoacán, Mess...

 

Simbol Matahari Hitam

Simbol Matahari hitam di Kastil Wewelburgs Simbol Matahari Hitam adalah salah satu simbol misterius milik Nazi yang ditemukan oleh pasukan Amerika Serikat mendekati akhir Perang Dunia Kedua di Kastil Wewelsburg.[1] Sejarah Penggunan simbol tersebut tidak diketahui dengan jelas dimulai kapan walaupun begitu penggunaan yang pertama kali dikenali adalah melalui Neo-Nazi pada sekitar 1950 dan simbol matahari hitam di Kastil Wewelsburg baru diindentifikasi pada tahun 1991. Latar Sejarah Me...

 

BMW M1

BMW M1Descrizione generaleCostruttore BMW Tipo principaleberlinetta Produzionedal 1978 al 1981 Esemplari prodotti456[senza fonte] Altre caratteristicheDimensioni e massaLunghezza4346 mm Larghezza1820 mm Altezza1140 mm Passo2560 mm Massa1290 kg AltroAssemblaggioItaldesign ProgettoGian Paolo Dallara per Lamborghini StileGiorgetto Giugiaro per Italdesign Altre antenateBMW Turbo Altre erediBMW M1 HommageBMW i8[1] Auto similiFerrari 308Lambor...

Slavery in Ireland

This article is about the slave trade of medieval Ireland. For the system of unfree labour in return for passage across the Atlantic, see Irish indentured servants. For the transportation of convicts to other British colonies, see penal transportation. For the conflation of Irish slavery and African chattel slavery, see Irish slaves myth. Viking Age slave chain (found in Germany) Slavery had already existed in Ireland for centuries by the time the Vikings began to establish their coastal set...

 

تعداد الولايات المتحدة 1990

تعداد الولايات المتحدة 1990 المعلومات البلد الولايات المتحدة  الموقع الولايات المتحدة  الهيئة مكتب تعداد الولايات المتحدة  التاريخ 1 أبريل 1990  تعداد الولايات المتحدة 1980  تعداد الولايات المتحدة 2000  تعديل مصدري - تعديل   تعداد الولايات المتحدة 1990 كان التعداد...