Kandó Kálmán Muszaki Foiskola, XIV. Tudományos Ülésszak,
Budapest, Magyarorszag, 1994

Mészáros Tamás okl. villamosmérnök, doktorandusz,
 Vadász Balázs okl. villamosmérnök, tanársegéd
Budapesti Műszaki Egyetem, Műszer- és Méréstechnika Tanszék


A RETE MATCH ALGORITMUS BŐVÍTÉSE:
AZ ELŐRE ÉS HÁTRAFELE LÁNCOLÓ KÖVETKEZTETÉS EGYIDEJŰ TÁMOGATÁSA

Bevezetés

	A Rete illesztő algoritmus széles körben az egyik legelfogadottabb
megoldás a nagyszámú mintát és nagyszámú adatot feldolgozó mintaillesztési
feladat elvégzésére [Forgy79]. Az algoritmust elsősorban produkciós rendszerek
előre következtetés alatti mintaillesztő algoritmusában felmerülő
mintaillesztési feladat megoldására alkalmazzák. Legfontosabb előnyeinek
egyike, hogy az illesztés állapotinformácóit átmenti az előre következtetés
egyes ciklusai között. Az egyes ciklusokban csak a munkamemória változásaival
végzi el az illesztést, valamint kiaknázza a szabályok feltételrészeinek
strukturális hasonló-ságában rejlő lehetőségeket.

Az algoritmusnak azonban vannak hátrányai. Nem teszi lehetővé a szabálybázis
futásidejű módosítását, nincs benne jól elkülönített, koncentrált munkamemória,
valamint nem támogatja a szabályalapú rendszerek visszafelé következtető
működését.

	A cikk egy megoldást mutat be ezen utóbbi problémára. Leírja azokat a
bővítéseket, amelyek a Rete illesztő algoritmust képessé teszik a visszafelé
következtetés alatti illesztési feladatok elvégzésére is. A cikkben bemutatjuk
a visszefelé következtető algoritmus főbb lépéseit, valamint részletesen
megadjuk a Rete algoritmus felhasználását az egyes lépésekben, továbbá
ismertetjük az algoritmus adatszerkezeteinek és algoritmusainak szükséges
bővítését.

	A cikkben leírt megfontolások alapján elkészült egy teljes következtető
gép, amely egyszerre támogatja mind az előre- mind a hátrafele következtetést.
A visszafelé következtetés áttekintése