Inteligenţă artificială 6 Reprezentarea cunoaşterii

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

FNC

• Pentru transformarea unui enunţ în forma normal conjunctivă, se urmăreşte eliminarea elementelor de imbricare din enunţ şi separarea cuantificatorilor de restul formulei, pentru a fi în final eliminaţi

• De aceea, se recomandă ca fiecare cuantificator să fie legat de propria variabilă

Exemplu

Pasul 1