1 Repo
Awesome GitHub RepositoriesLogic Assertion Databases
Storage systems for facts and rules that represent contingent truths for automated reasoning.
Distinct from Logic Programming: Shortlist refers to general logic programming or obfuscation, not the specific storage of assertions.
Explore 1 awesome GitHub repository matching artificial intelligence & ml · Logic Assertion Databases. Refine with filters or upvote what's useful.
Awesome Logic Assertion Databases GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- norvig/paip-lisp
norvig/paip-lisp
7,465Auf GitHub ansehenThis project is a comprehensive Lisp AI implementation library that provides reference implementations for various artificial intelligence paradigms and symbolic algorithms. It functions as a multi-purpose toolkit containing a logic programming engine, a natural language processing suite, and a symbolic mathematics toolkit. The library is distinguished by its diverse architectural frameworks, including a Prolog-style execution engine that uses unification and goal-driven backtracking, and a system for simulating human decision-making through expert system shells and certainty factors. It also
Maintains a database of facts and rules to represent relationships and contingent truths for reasoning.
Common Lisp
