Ugrás a fő tartalmi területre
Mesterséges Intelligencia Almanach
Könyvek
Fogalomtár
Kutatók
Szerzők
Címlap
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
függvény mentes literál
alap literál
függvényszimbólum
Golem
határozott klóz
Horn klóz
komplex függvény
konjunkt sorrendezés
körülírás
konstansszimbólum
következtetés szempontjából ekvivalens
legáltalánosabb egyesítés
lekötési lista
Linus
logika
lustaság
magasabb rendű logika
mágikus halmaz
Mesterséges Intelligencia
1.2. A mesterséges intelligencia alapjai
1.3. A mesterséges intelligencia története
7. fejezet - Logikai ágensek
7.6. Ítéletlogikát alkalmazó ágensek
7.7. Összefoglalás
7.8. Összefoglalás
8. fejezet - Elsőrendű logika
8.1. Még egyszer a reprezentációról
8.2. Az elsőrendű logika szintaxisa és szemantikája
8.3. Az elsőrendű logika használata
8.4. Tudástervezés az elsőrendű logikában
8.5. Összefoglalás
9.1. Ítéletlogikai következtetés kontra elsőrendű logikai következtetés
9.6. Összefoglalás
10. fejezet - Tudásbázis reprezentáció
10.3. Cselekvések, szituációk és események
10.6. Következtető rendszerek kategóriák számára
10.7. Következtetés alapértelmezett információval
10.9. Összefoglalás
11.2. Tervkészítés állapottér-kereséssel
13.1. Cselekvés bizonytalan tudás esetén
13.2. Valószínűségi alapfogalmak
1
2
következő ›
utolsó »
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