Inteligenţă artificială 6 Reprezentarea cunoaşterii

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

Logica propoziţională

• Formalismul logic prezintă interes deoarece permite derivarea de noi cunoştinţe din cunoştinţe deja existente, prin deducţie logico-matematică sau inferenţă

• O propoziţie e adevărată dacă derivă din propoziţii cunoscute ca adevărate

• Acesta a fost unul din primele domenii legate de inteligenţa artificială, deoarece este strâns legat de posibilitatea demonstrării automate a teoremelor, folosită cu succes în teoria numerelor sau în geometrie