User Guide

In this section we demonstrate the functionality of the pyreason library and how to use it.

Contents:

• Graphs
  • How to Load a Graph in RyReason
  • Initial Conditions
• Facts
  • Fact Parameters
  • Fact Example
• Rules
  • Creating a New Rule Object
  • Rule Structure
  • Adding A Rule to PyReason
  • Annotation Functions
  • Head Functions and Functional Arguments
  • Custom Thresholds
• Settings
  • Notes on Parallelism
• Inconsistent Predicate List
• PyReason Output
  • Filter and Sort Nodes
  • Filter and Sort Edges
  • Get Rule Trace
  • Save Rule Trace
  • Reading PyReasons Explainable Trace
  • Get Dictionary
  • Querying Individual Atoms
• Jupyter Notebook Usage
• Advanced Usage of PyReason
  • Reasoning Convergence
  • Reasoning Multiple Times
  • Interpretation Engines
• Integrating PyReason with Machine Learning
  • Classifier Integration Example