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
→
skolemizáció
Megtekintés
Hivatkozók
Hivatkozók
egzisztenciális példányosítás következtetési szabály
Mesterséges Intelligencia
9.1. Ítéletlogikai következtetés kontra elsőrendű logikai következtetés
9.5. Rezolúció
9.6. Összefoglalás
Kapcsolódó tartalmak
Fogalom
egzisztenciális példányosítás következtetési szabály
Hivatkozók
egzisztenciális példányosítás következtetési szabály
Mesterséges Intelligencia
9.1. Ítéletlogikai következtetés kontra elsőrendű logikai következtetés
9.5. Rezolúció
9.6. Összefoglalás