Solvers pour la logique épistémique modale
-
11-12-2019 - |
Question
Y a-t-il des solveurs (smt-like) pour des logiques épistémiques modales (logique de connaissances aka)?
J'ai besoin d'un cas de premier ordre (pas seulement propositionnel).
La solution
Vous pouvez essayer la démonstration du decker modèle (modélisation épistémique dynamique).
Autres conseils
Voici quelques liaisons pertinentes:
Solvers de la logique modale:
- http://www.cs.man.ac.uk/~schmidt / Outils /
- http://www.irit.fr/lotrec/
- http://twan.home.fmf.nl/moltap/index.html < / a>
- http://www2.tcs.ifi.lmu .de / ~ mlange / papiers / m4m-6.pdf
Description Logic Royarisers:
- http://www.cs.man.ac.uk/~ Sattler / Reasoners.html
La modélisation épistémique dynamique, mentionnée dans la réponse de PAL.
- http://homepages.cwi.nl/~jve/demo/demo. PDF
Malheureusement, tous (AFAIK) ne fonctionnent que dans une affaire propositionnelle (non de premier ordre).
- http://homepages.cwi.nl/~jve/demo/demo. PDF
- http://www.cs.man.ac.uk/~ Sattler / Reasoners.html
Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow