lehetséges világok

Kapcsolódó fogalmak: 
ágens
Kapcsolódó fogalmak: 
zárt világ feltételezés (CWA)
Kapcsolódó fogalmak: 
nyílt világ feltételezés
Rövid szöveges bemutatás: 
A lehetséges világok filozófiáját Kripke alkotta meg 1963-ban. Adott az ágens vagy rendszer tudásbázisa. Az ilyen tudásbázisokban általában több paraméter, szabad változó is megtalálható. Ezeknek több olyan behelyettesítési kombinációja is létezik általában amikor a behelyettesítés eredménye konzisztens marad a tudásbázissal. Tehát több értéket is be tudunk helyettesíteni, amikor tipikusan hasonló de eltérő eredményt, állapotot eredményeznek. Ezeket az állapotokat tartalmazza a lehetséges világok halmaza. Tehát a halmaz eleme minden olyan állapot mely a tudásbázis alapján megkreálható. Ehhez tartozik közvetve a nyílt és a zárt világ feltételezés is.