Modallogiken

Welche Rolle spielt die Logik bei der Realisierung intelligenter Agenten?
Wie kann propositionale Logik von Agenten angewendet werden?
Wie unterscheidet sich Modallogik von propositionaler Logik?
Wie lauten Syntax und Semantik der Modallogik?
Wie hängt die Modallogik mit BDI-Agenten zusammen?
Muddy Children Beispiel
Kripke-Modell
Modallogik das Axiom positive Introspektion
Nennen Sie zwei Beispiele für Axiome in Modallogiken und deren Interpretation im Kripke-Modell.

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.