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 → elsőrendű logika
  • Megtekintés
  • Hivatkozók

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
Az itt közölt anyagokat a szerzői jog védi. Az anyagok bármilyen formában történő másolása és terjesztése csak előzetes, írásbeli engedéllyel lehetséges.