Înlănțuire înainte
Înlănțuirea directă sau raționamentul direct (literalmente, respectiv „Înlănțuirea directă” și „raționamentul direct”) este una dintre cele două metode principale de raționament utilizate de un motor de inferență . Poate fi descris logic ca aplicarea repetată a modus ponens . Opusul înlănțuirii înainte este înlănțuirea înapoi .
Operațiune
Înlănțuirea înainte începe cu datele disponibile și folosește reguli de inferență pentru a obține date suplimentare până când se atinge un anumit obiectiv. Un motor de inferență care folosește înlănțuirea înainte la fiecare pas caută reguli de inferență, astfel încât premisa să fie adevărată, după care poate deduce consecința și o poate adăuga ca date noi disponibile. [1]
Exemplu
Să presupunem că scopul este de a găsi culoarea unui anumit animal pe nume Fritz, știind că gâfâie și mănâncă muște și cunoaște următoarele reguli de inferență:
- Dacă X scârțâie și X mănâncă muște, atunci X este o broască.
- Dacă X cântă și X cântă, atunci X este un canar.
- Dacă X este o broască, atunci X este verde.
- Dacă X este un canar, atunci X este galben.
Să presupunem că următoarele fapte sunt adevărate:
- Fritz scârțâie
- Fritz mănâncă muște
Motivând prin înlănțuirea înainte, motorul de inferență poate deduce că Fritz este verde prin următoarea serie de pași:
- Întrucât faptele a și b fac ca premisa regulii nr.1 să fie adevărată, înlocuirea lui X cu Fritz în acest ultim deduce următorul fapt:
- Fritz este o broască
- De vreme ce faptul c face ca premisa regulii 3 să fie adevărată, înlocuirea lui X cu Fritz în acest ultim deduce următorul fapt:
- Fritz este verde
Diferențe cu înlănțuirea înapoi
Denumirea de „înlănțuire înainte” derivă din faptul că motorul de inferență pornește din date și gândește „înainte” către răspuns, spre deosebire de înlănțuirea înapoi , unde are loc procesul invers.
Deoarece datele disponibile determină alegerea regulilor de inferență, metoda este definită ca „ bazată pe date ”, spre deosebire de metoda înlănțuirii înapoi, care este definită ca „ orientată spre obiective ”. Cu alte cuvinte, în timp ce înlănțuirea înainte implică materializarea informațiilor deduse, înlănțuirea înapoi constă în așa-numita rescriere a interogării ( lit. „rescrierea interogării”), adică reformularea intensivă a obiectivului care trebuie atins. [2] [3] În bazele de date, aceste două paradigme sunt, de asemenea, cunoscute sub numele de jos în sus și respectiv de sus în jos . [4]
Notă
- ^ (EN) Edward Feigenbaum, The Rise of the Expert Company , Times Books, 1988, p. 318 , ISBN 0-8129-1731-6 .
- ^ ( EN ) Riccardo Rosati, OWL 2 ( PDF ), pe diag.uniroma1.it , Universitatea din Roma "La Sapienza" , 2018-19. Adus la 6 martie 2021 .
- ^ (EN) Mariano Rodríguez-Wall și Diego Calvanese, Semantic Index: Scalable Query Answering without Forward Chaining or Exponential Rewritings (PDF), Proceedings of the 10th International Semantic Web Conference (ISWC 2011), 2011. Accesat la 6 martie 2021 ( depus) la 6 martie 2021) .
- ^ (EN) An Introduction to Existential Rules (PDF) pe aspiq.lsis.org, ASPIQ, mai 2014.
