1 个仓库
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
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- norvig/paip-lisp
norvig/paip-lisp
7,465在 GitHub 上查看This 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
