Agententheorien
In allen wichtigen Ansätzen in der (D)AI Forschung: Wissen als Grundbegriff
In der Regel: Modalsysteme
Moore, Cohen & Levesque, Rao & Georgeff, Shoham, Singh, Meyer et.al.: KD45, S4, S5
Andere Begriffe reduzierbar / gleiche Logik
Logische Allwissenheit (Logical omniscience problem, LOP), Seiteneffekt-Problem