Inteligenţă artificială 6 Reprezentarea cunoaşterii

Inteligenţă artificială

• 6-7. Reprezentarea cunoaşterii

• prin logica predicatelor

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

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

•