PyReason: Erklärbare Inferenzsoftware für graphenbasiertes Schließen
2025-04-12
PyReason ist ein visuelles Inferenzwerkzeug, das logische Regeln und Fakten verwendet, um über Graphstrukturen zu schließen. Es unterstützt annotierte, echtwertige Graphen und temporale Logik und bietet die Installation als Python-Bibliothek, Multi-Core-Parallelisierung (nur Python 3.9 und 3.10) sowie umfassende Dokumentation und Codebeispiele. Die Software wurde mit einer Veröffentlichung versehen und ist unter der Markenlizenz des Arizona Board of Regents/Arizona State University lizenziert.