Logic Python Packages

tag-expressions

Python implementation of Shunting-yard Algorithm to evaluate logical tag expressions

scitex-clew

Verifiable knowledge graph for scientific experiments

pyreason

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

ripple-down-rules

Implements the various versions of Ripple Down Rules (RDR) for knowledge representation and reasoning.

iamai

A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

entity-query-language

Provides a relational query language that is pythonic and intuitive. Entity Query Language serves as a front end to other query languages like sql or prolog

vulcan-core

AI-Hybrid Rules Engine for Logical Reasoning.

torch-explain

PyTorch Explain: Interpretable Deep Learning in Python.

amr-logic-converter

Convert Abstract Meaning Representation (AMR) into first-order logic

tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

circuit

Pure-Python library for building and working with logical circuits.

flloat

From LTLf/LDLf To Automata

nnf

Manipulate NNF (Negation Normal Form) logical sentences

digsim-logic-simulator

An interactive digital logic simulator with verilog support (Yosys)

knuckledragger

A Low Barrier Proof Assistant

deep-logic

Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.

bauhaus

Build logical theories for SAT solvers on the fly

mathesis

Python library for computational formal logic, formal semantics, and theorem proving

extra-boolean

Boolean data type has two possible truth values to represent logic.

typeql-grammar

TypeQL Grammar for Python

latextocnf

python cli program to convert latex input to CNF (conjunctive normal form).

circuitry

Embedded domain-specific combinator library for the abstract assembly and automated synthesis of logical circuits.

jutl

A Python package of useful tools and utilities.

iamai-adapter-kook

A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）