tool

Advanced Logical Reasoning for Knowledge Graphs

reasoning knowledge-graph logical-inference scope-management naf confidence-scoring

Summary

This tool facilitates advanced logical inference by implementing Negation-as-Failure, managing hypothetical knowledge branches through scoped operations, and supporting probabilistic reasoning via confidence scoring.

View on GitHub → Raw SKILL.md