Ugrás a fő tartalmi területre
Mesterséges Intelligencia Almanach
Könyvek
Fogalomtár
Kutatók
Szerzők
Címlap
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ó