Inteligenţă artificială 6 Reprezentarea cunoaşterii

Chiar şi în unele propoziţii simple, cantitatea de informaţii explicite nu este suficientă pentru un raţionament apropiat celui uman

Mai este nevoie de alte propoziţii, pe care oamenii le consideră prea banale pentru a le menţiona

Exemplu

Exemplu

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