PyReason：グラフベース推論のための説明可能な推論ソフトウェア
2025-04-12
PyReasonは、論理規則と事実を使用してグラフ構造を推論する視覚的な推論ツールです。アノテーション付きの実数値グラフとテンポラルロジックをサポートし、Pythonライブラリのインストール、マルチコア並列処理（Python 3.9と3.10のみ）、包括的なドキュメントとコード例を提供します。このソフトウェアは論文で発表されており、アリゾナ州理事会/アリゾナ州立大学の商標許可の下でライセンスされています。