Hallo,
hat hier jemand the Logic of Knowledge Bases gehört und kann mir folgende Verständnisfrage beantworten?
Wenn ich einen Satz habe, dann gibt es genau einen epistemic state, der erfüllt (im Gegensatz zu KL, wo es mehrere epistemic states gibt, die erfüllen). Stimmt das?
Viele Grüße
Andreas
Edit: sollte dabei objektiv sein bzw. zumindest keine K-Operatoren enthalten