1 Repo
Representations of uncertainty and negation by associating propositions with alternative truth values or states.
Distinct from Markovian State Representations: Closest candidates relate to RL state representations, not modal logic or possible-world semantics.
Explore 1 awesome GitHub repository matching artificial intelligence & ml · Possible World Semantics. Refine with filters or upvote what's useful.
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
Handles uncertainty and negation by associating propositions with different truth values across alternative states.