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
skolemizáció
A hozzászóláshoz
bejelentkezés
szükséges
Nyomtatóbarát változat
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