Popular GitHub Repositories for Predicate Logic

Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.

OpenSPG is a Knowledge Graph Engine developed by Ant Group in collaboration with OpenKG, based on the SPG (Semantic-enhanced Programmable Graph) framework. Core Capabilities: 1) domain model constrained knowledge modeling, 2) facts and logic fused representation, 3) natively support KAG...

[GenAI Application Development Framework] ? Build GenAI application quick and easy ? Easy to interact with GenAI agent in code using structure data and chained-calls syntax ? Use Agently Workflow to manage complex GenAI working logic ? Switch to any model without rewrite application code

Distributed Java game server, including cluster management server, gateway server, hall server, game logic server, background monitoring server and a running web version of fishing. State machine, behavior tree, A* pathfinding, navigation mesh and other AI tools

The OpenCog (hyper-)graph database and graph rewriting system

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic ????

OpenNARS for Research 3.0+

Custom GPT Showcase, featuring advanced workflows and operational logic.

An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.

Deep Learning and Logical Reasoning from Data and Knowledge

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

Implementation for the Neural Logic Machines (NLM).

Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.

Tego is a pluggable application framework., where developers can build complex application logic, while core developers focus on ensuring the stability of key modules and adapting to different environments.

Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)

GPT-3 Chatbot with Long and Short Term Memory and advanced logic built in javascript with openai API - short and long memory, KYC, embeddings, openai, database, flexible, gpt-3.5-turbo, react

PyTorch Explain: Interpretable Deep Learning in Python.

Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

Information extraction from English and German texts based on predicate logic