Inteligenţă artificială 6 Reprezentarea cunoaşterii


Reguli de inferenţă complete



Yüklə 464 b.
səhifə11/14
tarix05.01.2022
ölçüsü464 b.
#69574
1   ...   6   7   8   9   10   11   12   13   14

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


  • Yüklə 464 b.

    Dostları ilə paylaş:
1   ...   6   7   8   9   10   11   12   13   14




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©muhaz.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin