Dopředu řetězení - Forward chaining
Dopředu řetězení (nebo dopředu uvažování) je jednou ze dvou hlavních metod uvažování při použití odvozovací stroj a lze je popsat logicky jako opakovaná aplikace modus ponens. Forward chaining je populární implementační strategie pro expertní systémy, podnikání a systémy produkčních pravidel. Opakem řetězu vpřed je zpětné řetězení.
Řetězení dopředu začíná dostupným data a používá pravidla odvození k extrahování více dat (například od koncového uživatele) do a fotbalová branka je dosaženo. An odvozovací stroj pomocí dopředného řetězení prohledá pravidla odvození, dokud nenajde místo, kde předchůdce (Li klauzule) je známo, že je pravdivá. Je-li takové pravidlo nalezeno, může motor uzavřít nebo odvodit následný (Pak klauzule), což má za následek přidání nových informace k jeho údajům.[1]
Inferenční motory budou opakovat tímto procesem, dokud není dosaženo cíle.
Příklad
Předpokládejme, že cílem je uzavřít barvu zvířete jménem Fritz, protože kváka a jí mouchy a že základna pravidel obsahuje následující čtyři pravidla:
- Li X škrekání a X jí mouchy - Pak X je žába
- Li X pípne a X zpívá - Pak X je kanárek
- Li X je žába - Pak X je zelená
- Li X je kanárek - Pak X je žlutá
Pojďme si ilustrovat dopředné řetězení podle vzoru počítače při hodnocení pravidel. Předpokládejme následující fakta:
- Fritz skřečí
- Fritz jí mouchy
Při dopředném uvažování může odvozovací stroj odvodit, že Fritz je zelený v řadě kroků:
1. Jelikož základní fakta naznačují, že „Fritz skřečí“ a „Fritz jí mouchy“, předchůdce pravidla č. 1 je uspokojen nahrazením Fritze za X a odvozovací stroj dospěl k závěru:
Fritz je žába
2. Předchůdce pravidla č. 3 je poté uspokojen dosazením Fritze za X a odvozovací stroj dospěje k závěru:
Fritz je zelený
Název „forward chaining“ vychází ze skutečnosti, že odvozovací stroj začíná daty a zdůvodňuje cestu k odpovědi, na rozdíl od zpětné řetězení, který funguje obráceně. V odvození se pravidla používají v opačném pořadí ve srovnání s zpětné řetězení V tomto příkladu nebyla pravidla # 2 a # 4 použita k určení, že Fritz je zelený.
Protože data určují, která pravidla jsou vybrána a použita, nazývá se tato metoda řízeno daty, na rozdíl od řízený cílem zpětné řetězení odvození. Forward chaining approach is often employed by expertní systémy, jako KLIPY.
Jednou z výhod řetězení dopředu oproti zpětnému řetězení je to, že příjem nových dat může vyvolat nové závěry, díky čemuž je motor vhodnější pro dynamické situace, ve kterých se podmínky pravděpodobně změní.[2][3]
Viz také
Reference
- ^ Feigenbaum, Edward (1988). Vzestup expertní společnosti. Times Books. p.318. ISBN 0-8129-1731-6.
- ^ Hayes-Roth, Frederick; Donald Waterman; Douglas Lenat (1983). Budování expertních systémů. Addison-Wesley. ISBN 0-201-10686-8.
- ^ Kaczor, Krzystof; Szymon Bobek; Grzegorz J. Nalepa (05.12.2010). "Přehled skořápek systému Expert" (PDF). geist.agh.edu.pl/. Krakov, Polsko: Institut automatiky: AGH University of Science and Technology, Polsko. Citováno 5. prosince 2013.