Tools for AI/AGI

AI tools.md

Tools for AI/AGI: All ordered by subjectivly usability

keywords: tools, tooling, tool

Probabilistic Programming

ProbLog

• language similar to Prolog

PRISM

• language similar to Prolog

Answer Set Programming

Potassco

Constraint Solver

Choco Solver

• solver for Constraint Programming, boolean and mixed

Inductive Logic Programming

https://github.com/logic-and-learning-lab/Popper

Theorem provers

• Coq
• SPASS
• Z3
• E

ML

DYNA

• website

• THESIS Dyna 2: Towards a General Weighted Logic Language

• documentation

• Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications

• Compiling comp ling: Weighted dynamic programming and the Dyna language. - 2005

• DYNA Tutorial

• DYNA (long)

• video - Weighted Deduction�as an Abstraction Level for AI

• wiki - Examples

• wiki - Inference Rules

• Program transformations for optimization of parsing algorithms and other weighted logic programs

  • optimization of Dyna programs
  • small NLP examples

CAS

• MathPiper

Misc

• Felix

• CARNAP

  • universal logic system which implements a lot of theories

• FuzzyCLIPS Fuzzy Logic Language?

Lists

• list of Reasoners #1
• list of Reasoners #2
• list of theorem provers
• list of probabilistic programming tools