Revista Română de Informatică și Automatică / Vol. 2, Nr. 2, 1992

Evaluarea semi-naivă a unui sistem de reguli relativ la o cerere ce conține variabile legate

Elena MANOILĂ

Rezumat:

Este tratată problema evaluării eficiente a cererilor recursive, exprimate sub formă de clauze Horn. Se definesc formal strategii de transmitere a informaţiilor și se arată cum se pot implementa prin rescrierea unui program dat și prin evaluarea sa bottom-up.
O metodă simplă, dar extrem de ineficientă ar fi aceea de a evalua întreaga relaţie corespunzătoare cererii, după care se aplică operatorul de selecţie. Ineficienţa rezultă din aceea că se fac foarte multe deducţii irelevante pentru cerere.
Materialul prezintă un algoritm de rescriere a unui sistem de reguli, astfel încît, evaluarea semi-naivă a acestuia să nu mai efectueze deducţii irelevante pentru cerere. Algoritmul se bazează pe utilizarea legărilor oferite de cerere.

Cuvinte cheie:
SIP (Sideway Information Passing graph), ornamentare, mulțimi magice, predicate magice, evaluare semi-naivă.

Vizualizează articolul complet:

CITAREA ACESTUI ARTICOL SUNT URMĂTOARELE:
Elena MANOILĂ, „Evaluarea semi-naivă a unui sistem de reguli relativ la o cerere ce conține variabile legate”, Revista Română de Informatică și Automatică, ISSN 1220-1758, vol. 2(2), pp. 29-32, 1992.