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
→
egzisztenciális kvantor
Megtekintés
Hivatkozók
Hivatkozók
egzisztenciális bevezetés következtetési szabály
elsőrendű logika
konjunktív lekérdezés
Mesterséges Intelligencia
8.2. Az elsőrendű logika szintaxisa és szemantikája
9.5. Rezolúció
Kapcsolódó tartalmak
Fogalom
Kijelentés egzisztenciális súlya
egzisztenciális bevezetés következtetési szabály
konjunktív lekérdezés
elsőrendű logika
Hivatkozók
egzisztenciális bevezetés következtetési szabály
elsőrendű logika
konjunktív lekérdezés
Mesterséges Intelligencia
8.2. Az elsőrendű logika szintaxisa és szemantikája
9.5. Rezolúció