#

inference-rules

Here are 18 public repositories matching this topic...

ryukinix / lisp-inference

Star

An Inference Engine based on Propositional Calculus written in Common Lisp

common-lisp propositional-logic truth-table inference-engine propositional-calculus inference-rules lisp-inference

Updated Mar 13, 2019
Common Lisp

opencog / ure

Star

Open

Add python ure_logger bindings

5

ngeiswei commented May 20, 2020

Python bindings for the ure_logger

https://github.com/opencog/ure/blob/master/opencog/ure/URELogger.h

are still missing. This makes working with the URE with a python a bit cumbersome.

I don't know the python bindings code too well but it seems to enable one need to

Have the python logger binding accept any logger, not just opencog's default one.
Introduce ure logger function he

Read more

enhancement good first issue

allofphysicsgraph / proofofconcept

Star

Physics Derivation Graph

python html graphviz latex graph physics derivation inference-rules physics-derivation-graph

Updated Aug 30, 2020
Python

rysavy-ondrej / Distance

Star

Network diagnostics using rule based inference engine NRules.

networking troubleshooting inference-rules diagnostic-tool

Updated Jul 8, 2019
C#

NExST-RnDLabs / NadiaRS

Star

This is an open source project for building Rule/Policy Inference Engine written in Java

javascript java database spring-boot rule-engine gradle reactjs postgresql nadia javascript-engine knowledge-base rule-parser knowledge-management java-engine expert-system knowledge-sharing knowledge-based-systems policy-engine inference-engine inference-rules

Updated Sep 5, 2020
JavaScript

JishnuTU / D-M-Intelligence-S

Star

Disaster Management Intelligence system

python intelligence django ai django-application sqlite3 expert-system clips django-project inference-engine inference-rules pyclips

Updated Mar 6, 2018
Python

stardog-union / stardog-blog

Star

html sparql inference owl ontology knowledge-graph graph-database stardog inference-rules

Updated Jul 14, 2017
HTML

beerda / lfl

Star

linguistic fuzzy logic algorithms: mining for linguistic fuzzy association rules, composition of fuzzy relations, performing perception-based logical deduction (PbLD), and forecasting time-series using fuzzy rule-based ensemble (FRBE)

association-rules fuzzy-logic forecast-model inference-rules

Updated Aug 28, 2020
R

tetrachrome / Snowlake

Star

Declarative language and compiler-compiler for language static type inference rules

programming-language compiler language-developers type-inference inference-rules compiler-compiler static-type-system

Updated Sep 6, 2020
C++

stressGC / NodeJS-Inference-Engine

Star

Logical problem solved by an inference engine in NodeJS. The character has to escape the forest by taking the portal and avoiding dangers (monsters & rifts). The game is infinite, as the portal will only teleport him to an even bigger forest ! Once dead, the game restart again.

nodejs javascript ai artificial-intelligence logic-programming inference-engine inference-rules

Updated Nov 16, 2018
JavaScript

bigredbug47 / triangle_problem

Star

Solve triangle problem project using simple inference system.

triangle artificial-intelligence inference-rules

Updated Aug 17, 2017
C#

DeanLee77 / NADIA-C.Sharp

Star

This is an open source project for building Rule/Policy Inference Engine written in C#

rule-engine nadia rule-parser policy-engine inference-engine inference-rules rule-scanner expert-systems nadia-rule nadia-policy nadia-java rules-engines indented-rules

Updated Jun 14, 2020
C#

chiajieh / gss

Star

Statistical Inference with the GSS Data

data-science data r statistics exploratory-data-analysis statistical-learning statistical-methods inference data-visualization statistical-analysis statistical-inference data-analysis inferential-statistics statistical exploratory gss inferential-statistical-analyses inference-rules exploratory-analysis exploratory-data-visualizations

Updated May 16, 2019
HTML

KrishnaJay / Inference-Engine

Star

Prove or disprove the given query based on the knowledge base

parsing cpp strings tokenizer cpp14 first-order-logic artificial-intelligence inference-engine inference-rules unification-algorithm resolution-proof

Updated Oct 26, 2018
C++

mongodb-js / detect-coordinates

Star

Geo coordinates detection based off a mongodb-schema type

inference-rules compass-tools

Updated Dec 16, 2019
JavaScript

jacobleygonie / CasualTheoremProver

Star

A kernel using inference rules in order to compute the three of proves.

formula ocaml theorem-proving prover theorem-prover inference-rules

Updated Oct 9, 2017
OCaml

DeanLee77 / NADIA-CPP

Star

This is an open source project for building Rule/Policy Inference Engine written in C/C++

rule-engine inference nadia expert-system policy-engine backward-chaining inference-engine inference-rules forward-chaining nadia-rule nadia-policy nadia-java nadia-python backward-chaining-algorithm forward-chain nadia-cpp nadia-rest

Updated Aug 17, 2020
C++

MoosaSaadat / minesweeper

Star

Minesweeper game powered with an AI assistant to help you dodge all those dangerous mines!

artificial-intelligence minesweeper-game propositional-logic inference-rules

Updated Aug 19, 2020
Python

Improve this page

Add a description, image, and links to the inference-rules topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the inference-rules topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.