Reguli de deducere

Luați în considerare cel mai vechi exemplu de inferență logică - silogismul:

"Toți oamenii sunt muritori. Socrates este un om. În consecință, Socrate este muritor. "

Cum să formalizați astfel de concluzii: să învățați computerul să verifice corectitudinea acestuia și să genereze automat acelea similare?





Exemplul nostru constă în două premise: "toți oamenii sunt muritori", "Sokrat este un om" și concluzia "muritorul Sokrat", adevărul căruia rezultă din adevărul premiselor. Să scriem prima premisă în limba "predicat": "x dacă x este o persoană, atunci x este muritoare".







bazat pe formula universal valabilă "xP (x) ® P (a), logic, omiterea cuantificatorului în declarație," substitui Socrate pentru x: "dacă Socrate este uman, Socrate este muritor". Să punem alături de declarația primită cea de-a doua premisă a silogismului și să obținem rezultatul, care este realizat în următoarea formă:

Dacă Socrate este uman, atunci Socrate este muritor. Socrates este un om.

În cazul general, premisa logică A, B este plasată deasupra liniei. adevărul căruia garantează adevărul concluziei C:

O înregistrare syllabică a regulilor inferenței logice este: "Din datele formulelor-parcelele A, B urmează formula-concluzie C." (Abreviată: A BB® C). În acest caz, se consideră că formula de concluzie este adevărată cel puțin pentru toate aceste valori ale variabilelor predicate, subiect și expresie, sub care toate formulele de pachete se transformă în adevăr. Metoda inducției matematice, formalizată ca regulă de inferență, va lua forma:

Iată câteva reguli de inferență care funcționează în bazele de cunoștințe:

Reguli de deducere
Reguli de deducere
- regula de închisoare (modus ponens),

Luați în considerare prelucrarea automată a cunoștințelor. În sistemele de inteligență artificială, cunoașterea este informația pe baza căreia

se implementează un proces de inferență logică, care permite să se unească fragmente separate de date și apoi se face o concluzie asupra acestei secvențe de fragmente.

Luați în considerare următorul exemplu. Baza de date conține informații despre angajații instituției Petrov, Ivanovo, Kuznetsov, Yakovlev (în viitor le vom desemna ca P, I, K, Y).

Ierarhia de locuri de muncă este descrisă folosind predicate pe două poziții:

Puk (P, I) înseamnă că Petrov conduce Ivanov,

OTCH (Y, X) înseamnă că Y raportează înainte de X.

Baza de date conține trei fapte:

Sunt descrise următoarele două reguli de deducere, care au loc în domeniul subiect:

Este necesar să se verifice solicitarea utilizatorului: dacă Yakovlev trebuie să raporteze lui Ivanov (adică să facă o concluzie a RES (I, I)).

Nu există un astfel de fapt în baza de date, dar predicatul care descrie relația de interes se găsește în regulile 1 și 2.

Aplicând regula 1 la fapta 3, obținem formula:

Noi aplicăm și faptului 3 regula de deducere a modus ponens:

deoarece expresiile originale erau adevărate, atunci concluzia TCH (R, R) este un nou fapt - este, de asemenea, adevărat.

Aplicând regula 2 la regulile RES (I, K) și fact 2: HAND (II, K), obținem formula:

subliniind răspunsul RES (I, II), care totuși trebuie să fie verificat. Pentru aceasta, conectăm figura 2 și OTCH (X, K) prin regula "introducerii conjuncției":

și în cele din urmă, folosind modus ponens, justificăm rezultatul

oferind un răspuns afirmativ la interogatoriu, dacă Yakovlev într-adevăr raportează lui Ivanov.







Articole similare

Trimiteți-le prietenilor: