Ugrás a fő tartalmi területre
Mesterséges Intelligencia Almanach
Könyvek
Fogalomtár
Kutatók
Szerzők
Címlap
Hivatkozók
Mesterséges Intelligencia
14.6. Elsőrendű reprezentációk valószínűségi kiterjesztése
18.2. Induktív tanulás
19.1. A tanulás logikai megfogalmazása
19.5. Induktív logikai programozás
19.6. Összefoglalás
22.1. A kommunikáció mint cselekvés
1. B1. Nyelvek definiálása Backus–Naur-Formában (BNF)
Előszó
« első
‹ előző
1
2
Kapcsolódó tartalmak
Kisfeladat és megoldása
Logika tulajdonságai
Rezolúció predikátum kalkulusban - gyakorlat
Fogalom
Valószínűségi logikák
(Clark)-lezárás
alap literál
általánosított Modus Ponens
Boyer–Moore-tételbizonyító
Clark normál forma
egyesítés
egyszerű függvény
Hivatkozók
Clark normál forma
egyesítés
általánosított Modus Ponens
egyszerű függvény
egzisztenciális bevezetés következtetési szabály
elmosódott argumentum
előfordulási próba
elsőrendű határozott klóz
EQP
Foil
tovább