Inteligenţă artificială 6 Reprezentarea cunoaşterii

Reguli de inferenţă complete

Reprezentarea cunoaşterii prin logica predicatelor

• 1. Tipuri de raţionament

• 2. Logica propoziţională şi logica predicatelor

• 3. Teorema de completitudine a calculului propoziţional

• 4. Procesul de rezoluţie

• 4.1. Reguli de transformare a formulelor

• 4.2. Forma normal conjunctivă

• 4.3. Rezoluţia propoziţională

• 4.3. Rezoluţia predicativă

• 5. Concluzii

Reguli de transformare a formulelor

• Dacă în unele situaţii se preferă modalitatea de raţionament înainte, în care se pleacă de la ipoteze şi se încearcă dezvoltarea de teoreme, până când se ajunge la concluzia dorită, în alte situaţii se poate utiliza raţionamentul înapoi

• Rezoluţia (Robinson, 1965) este o procedură de inferenţă des folosită pentru a modela diversele procese de raţionament din logica predicatelor

•