lab-v2/pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

何を解決するか

PyReasonは、時間的および実数論理を使用してグラフ構造上の説明可能な推論を実行するツールです。注釈付き、実数値、グラフベース、時間的論理を扱える推論システムの必要性に対応し、事実と論理規則のセットから結論を導出できるようにします。

動作方法

このソフトウェアはグラフィカル推論ツールとして機能します。初期条件（事実）と論理規則のセットを入力し、これらの規則をグラフ構造に適用して推論と新しい情報の導出を行います。

対象ユーザー

時間的論理、グラフベースの推論、説明可能なAI推論を必要とする研究者や開発者向けに設計されています。

特徴

  • 注釈付きおよび実数値論理をサポート。
  • 時間的論理とグラフベースの構造を処理。
  • 説明可能な推論結果を提供。
  • Python 3.7 から 3.10 まで対応。3.9 および 3.10 ではマルチコア並列処理をサポート。

関連

  • プロジェクト
    pgmpy/pgmpy

    グラフィカルモデルを用いた因果的・確率的推論のためのPythonライブラリ。モデル構造の学習、パラメータ推定、因果推論のためのツールを提供します。

  • プロジェクト
    LukasZahradnik/PyNeuraLogic

    Pythonで微分可能な論理プログラムを記述するためのフレームワークであり、標準的なグラフニューラルネットワークを超えた表現力豊かな関係学習モデルの構築を可能にします。

  • プロジェクト
    GraphRAG-Bench/GraphRAG-Benchmark

    Graph Retrieval-Augmented Generation（GraphRAG）モデルを評価する包括的ベンチマークで、さまざまな推論・検索タスクにおいて従来の RAG を上回るかどうかを判断します。

  • プロジェクト
    astroautomata/PySR

    PySR は、高性能な Julia エンジン SymbolicRegression.jl を活用した Python フロントエンドの記号回帰ライブラリです。データに適合するコンパクトで解釈可能な数式を発見し、scikit-learn 風の API、カスタム演算子、損失関数、SymPy、JAX、PyTorch へのエクスポートを提供します。

  • プロジェクト
    awslabs/graphrag-toolkit

    階層的な語彙グラフと構造化知識グラフを使用して、グラフ強化型生成AIアプリケーションを構築するためのPythonツールのコレクション。