Löser für modale epistemische Logik
-
11-12-2019 - |
Frage
gibt es keine (SMT-ähnlichen) Löser für modale epistemische Logiken (AKA-Wissenslogik)?
Ich brauche erster Ordnung (nicht nur vorgeschrieben) Fall.
Lösung
Sie können die Modell-Checker-Demo (dynamische epistemische Modellierung) ausprobieren.
Andere Tipps
Hier sind einige relevante Links:
modale logische lfähre:
- .
- http://www.cs.man.ac.uk/~schmidt / Werkzeuge /
- http://www.irit.fr/lotrec/
- http://twan.home.fmf.nl/moltap/index.html < / a>
- http://www2.tcs.ifi.lmu .de / ~ mlange / papiere / m4m-6.pdf
Beschreibung Logic-Mentner:
- .
- http://www.cs.man.ac.uk/~ Sattler / Prognler.html
dynamische epistemische Modellierung, erwähnt in der Antwort von PAL.
- .
- http://homepages.cwi.nl/~jve/demo/demo. pdf
Leider arbeiten alle (Afaik) nur in SEPOUSE (nicht erster Ordnung) Fall.
- http://homepages.cwi.nl/~jve/demo/demo. pdf
- http://www.cs.man.ac.uk/~ Sattler / Prognler.html
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow