PyReason : Logiciel d'inférence explicable pour le raisonnement basé sur les graphes
2025-04-12
PyReason est un outil d'inférence visuel qui utilise des règles logiques et des faits pour raisonner sur des structures de graphes. Il prend en charge les graphes annotés, à valeurs réelles et la logique temporelle, offrant une installation de bibliothèque Python, un support parallèle multinœuds (Python 3.9 et 3.10 uniquement) et une documentation et des exemples de code complets. Le logiciel est publié avec un article et est sous licence de permission de marque déposée de l'Arizona Board of Regents/Arizona State University.