Download
1 / 10
100 likes | 247 Views
Curs 14. Tip de înlănțuire, prezumpția de lume, monotonie, găsirea soluției. Tipul de înlănțuire. Într-un motor cu înlănţuire înainte se pleacă cu fapte ce precizează ipoteze iniţiale de lucru şi se cere să se ajungă la o concluzie.
E N D
Curs 14 Tip de înlănțuire, prezumpția de lume, monotonie, găsirea soluției
Tipul de înlănțuire Într-un motor cu înlănţuire înainte se pleacă cu fapte ce precizează ipoteze iniţiale de lucru şi se cere să se ajungă la o concluzie. Plecând de la ceea ce se consideră a fi o stare finală pentru a regăsi starea iniţială, avem de a face cu o căutare (sau înlănţuire) înapoi. Combinând o căutare înainte cu una înapoi avem o căutare (sau înlănţuire) mixtă.
Prezumția de lume deschisă Prezumţia de lume deschisă este echivalentă cu presupunerea unui univers infinit, deci un univers în care atât existenţa cât şi neexistenţa unui obiect sau a unei proprietăţi a unui obiect trebuie declarate explicit pentru a fi siguri că el există sau nu acolo. Definiţie: Spunem că un motor de inferenţe lucrează în prezumţia de lume deschisă dacă un şablon negat not(P), este evaluat la true numai atunci când în baza de fapte există declarat un fapt not(P'), astfel încât P să se potrivească peste P’.
Prezumția de lume închisă Prezumţia de lume închisă este echivalentă presupunerii unui univers finit, ce poate fi descris exhaustiv, astfel încât dacă un obiect nu este declarat înseamnă că el nu face parte din univers. Definiţie: Spunem că un motor de inferenţe lucrează în prezumţia de lume închisă dacă orice şablon aflat în partea de condiţii a unei reguli, de forma not(P), este evaluat la true atunci când în baza de fapte nu există nici un fapt P' peste care P să se potrivească.
Monotonie Se spune despre un sistem expert că funcţionează monoton, sau că este monoton, dacă: • nici o cunoştinţă (fapt stabilit sau regulă) nu poate fi retrasă din bază şi • nici o cunoştinţă adăugată la bază nu introduce contradicţii.
Monotonie Un sistem poate să funcţioneze şi nemonoton dacă poate suprima definitiv sau inhiba provizoriu cunoştinţe. Monotonia este o caracteristică a bazei de cunoştinţe, mai precis a modului în care sunt proiectate regulile.
Când găsesc soluția dacă ea există? Fie: • motor cu înlănţuire înainte • lucrează în prezumţia de lume deschisă • pe o bază monotonă pasul k: N fapte pasul k+1: N’ fapte, N’ ≥ N • MIRFk MIRFk+1: aceleaşi posibilităţi de aplicare a regulilor care au funcţionat la pasul k se regăsesc şi la pasul k+1, eventual mai multe Presupun eșec la pas p: toate regulile au fost epuizate, adică revenirea (backtracking) nu aduce nimic nou • problema nu are soluția
prezumţia de lume deschisă • motor cu înlănţuire înainte • regim irevocabil • sistem monoton de reguli (prin proiectarea părţilor drepte) • problema are soluţie găsesc soluţia Găsirea soluției în prezumpția de lume deschisă
De ce e importantă prezumpția de lume deschisă? • Semnificaţia şabloanelor negate în părţile stângi ale regulilor este diferită în cele două prezumţii: • lume închisă: o regulă R care utilizează în partea stângă un şablon negat not(P) pasul k: dacă R MIRFk P’ a.î. P se potrivește peste P’; monotonia face posibilă însă includerea în bază a unui astfel de fapt la un pas k’>k R MIRFk’
prezumţia de lume închisă • motor cu înlănţuire înainte • regim irevocabil • sistem monoton de reguli (prin proiectarea părţilor drepte) • regulile nu conțin șabloane negate (prin proiectarea părţilor stângi) • problema are soluţie găsesc soluţia Găsirea soluției în prezumpția de lume închisă
