Tartalomjegyzék:
Meghatározás - Mit jelent a hátralánc?
A hátrányos láncolat egy következtetési módszer, amelyet széles körben használnak a mesterséges intelligencia, az automatizált tételproblémák és a bizonyítási asszisztensek számára. A hátrányos láncolási módszertant úgy lehet leírni, mintha egy céltól visszatérnénk. Számos programozási nyelv támogatja a visszamenőleges láncolást a következtetési motorokon belül.
A hátrányos láncolásra utaló érvelésnek is hivatkozunk.
A Techopedia magyarázza a hátraláncot
A hátraláncot a logikai programozásban használják szelektív lineáris határozott mondat felbontáson keresztül. Ez az érvelés leggyakrabban használt módszere interferenciaszabályokkal és logikai implikációkkal. A hátsó láncolás a célok listájából visszafelé működik, hogy meghatározzák, léteznek-e adatok a támogatásukhoz. A visszamenő láncot használó következtetési motor megkeresi a következtetési szabályokat, amíg megtalálja a kívánt célnak megfelelő következtetéssel rendelkező szabályt. Ha nem ismert, hogy ennek a szabálynak az előzményei igazak, akkor a szabályt hozzáadják a célok listájához, hogy adatok találhatók legyenek annak megerősítésére.
