NucleoidAI/Nucleoid

何を解決するか

大規模言語モデル（LLM）は、自然言語が非構造的であるため、幻覚や一貫性のない推論に悩まされることが多いです。Nucleoidは、明示的なエンティティと関係性に基づいて推論できる構造的で論理ベースの言語を提供することで、この問題に対処します。これにより、暗黙のパターンではなく、明確な論理に基づいた推論が可能になり、より信頼性が高く、ほぼ決定論的な結果が得られます。

動作方法

Nucleoidは、Rustベースの宣言的ランタイムと微調整されたLLMを組み合わせた神経記号AIシステムです。最小限のトークン化された構文で論理を表現し、代入を一時的な命令ではなく、永続的な関係として扱う宣言的実行モデルを使用します。これにより、変更がすべての派生事実に自動的に伝播される実行可能な知識グラフ（「ワールドモデル」）が構築され、状態が古くなりたり、自身のルールと矛盾したりすることはありません。

対象ユーザー

厳密な論理的一貫性、説明可能な意思決定、ニューラルネットワークからのデータ駆動型学習とルールベースの記号的推論を統合できる必要がある複雑なAIシステムを開発する開発者。

特徴

• ほぼ決定論的な推論: 構造化された論理により、幻覚を低減します。
• 実行可能な知識グラフ: ルールがすべてのインスタンスで自動的に適用されるライブなワールドモデルを維持します。
• トークン効率の良い構文: LLM向けに特別に設計され、論理表現時のトークン使用量を最小限に抑えます。
• 自動状態伝播: 手動での状態管理なしに、派生値が常に最新であることを保証します。