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 → Fogalomtár

Megtekintés
Hivatkozók

rezolúció

A hozzászóláshoz bejelentkezés szükséges
Nyomtatóbarát változat

Kapcsolódó tartalmak

Kisfeladat és megoldása

Rezolúció predikátum kalkulusban - gyakorlat

Rezolúciós gyakorlatok - ítéletkalkulus és predikátumkalkulus

Fogalom

alap rezolúciós tétel

bemeneti rezolúció

bináris rezolució

cáfolásteljes rezolúció

inverz rezolúció

inverz vonzatreláció

ítéletkalkulus

kapcsolati módszer

Hivatkozók

inverz rezolúció

inverz vonzatreláció

ítéletkalkulus

kapcsolati módszer

kiterjesztéslemma

lineáris rezolúció

Mesterséges Intelligencia

7.4. Az ítéletkalkulus következtetési mintái

7.7. Összefoglalás

7.8. Összefoglalás

9. fejezet - Következtetés elsőrendű logikában

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.