Revista Română de Informatică și Automatică – ICI București
ing. Diaconescu Ştefan Stelian
SOFTWIN – Bucureşti
Rezumat: Lucrarea prezintă un algoritm de unificare paralelă, utilizabil în cadrul unui sistem inferenţial paralel. Elementul de bază al unificării, luat în considerare, este argumentul de predicat. Toate argumentele a două predicate sunt unificate în paralel – grup de sarcini în U. Rezolvarea unui grup de sarcini în U permite stabilirea dacă două predicate sunt unificabile (ţinând cont inclusiv de testul de occur check), iar, în caz afirmativ, obţine toate informaţiile (substituţiile unificatoare) care permit rescrierea.
Cuvinte cheie: unificare, program logic, rezoluţie, clauze, predicate logice.
Vizualizează articolul complet
COORDONATELE PENTRU CITAREA ACESTUI ARTICOL SUNT URMĂTOARELE:
Diaconescu Ştefan Stelian, Un algoritm de unificare paralelă, Revista Română de Informatică şi Automatică (Romanian Journal of Information Technology and Automatic Control), ISSN 1220-1758, vol. 4(2-3), pp. 55-64. 1994.