Ugrás a fő tartalmi területre

Mesterséges Intelligencia Almanach

Könyvek
- Mesterséges intelligencia
- Neurális hálózatok
Fogalomtár
Kutatók
Szerzők

Címlap → 7.5. Hatékony ítéletkalkulus következtetés

Megtekintés
Hivatkozók

Hivatkozók

Davis–Putnam-algoritmus (DPLL)
alul-határozott probléma
egységterjesztés

Kapcsolódó tartalmak

alul-határozott probléma

Davis–Putnam-algoritmus (DPLL)

egységterjesztés

Logika tulajdonságai

Rezolúció predikátum kalkulusban - gyakorlat

Hanganyagok

Hivatkozók

Davis–Putnam-algoritmus (DPLL)

alul-határozott probléma

egységterjesztés

Az itt közölt anyagokat a szerzői jog védi. Az anyagok bármilyen formában történő másolása és terjesztése csak előzetes, írásbeli engedéllyel lehetséges.