Solvers pour la logique épistémique modale

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).

Answer 1

Vous pouvez essayer la démonstration du decker modèle (modélisation épistémique dynamique).

Answer 2

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).