Aufgaben zur Belief-Revision
Aufgaben zur Belief-Revision
Aufgaben zur Belief-Revision
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Erinnerung: Postulate Expansion<br />
(K+1) Für jeden Satz und jedes <strong>Belief</strong>-Set K,<br />
ist K + <br />
ein <strong>Belief</strong>-Set.<br />
(closure)<br />
(K+2) K + <br />
(success)<br />
(K+3) K K + <br />
(inclusion)<br />
(K+4) Falls K, dann K = K + <br />
(vacuity)<br />
(K+5) Falls H K, dann H + K+ <br />
(monotonicity)<br />
(K+6) Für alle <strong>Belief</strong>-Sets K und jeden Satz ,<br />
ist K + <br />
das kleinste <strong>Belief</strong>-Set, das<br />
(K+1) bis (K+5) erfüllt<br />
(minimality)<br />
Robuste Verarbeitung von Instruktionen, WiSe 05/06 3<br />
Erinnerung: Postulate für <strong>Revision</strong><br />
(K1) Für jeden Satz und jedes <strong>Belief</strong>-Set K,<br />
ist K ein <strong>Belief</strong>-Set. (closure)<br />
(K2) K (success)<br />
(K3) K K+ (inclusion)<br />
(K4) Falls ¬ K, dann K + K (preservation)<br />
(K5) K = K , gdw. , ¬ (vacuity)<br />
(K6) Falls , dann K = K (extensionality)<br />
Ergänzende Postulate:<br />
(K7) K (K )+ (superexpansion)<br />
(K8) Falls ¬ K , dann (K )+ K <br />
(subexpansion)<br />
Robuste Verarbeitung von Instruktionen, WiSe 05/06 4