A concise, research‑oriented Python toolkit for DSAI 104 “Knowledge Representation & Reasoning,” featuring an interactive Jupyter notebook on business‑rule encoding and salary computation plus two standalone logic engines—a Knights & Knaves solver and an English–predicate logic translator.
python ai jupyter-notebook educational fuzzy-logic knowledge-representation knowledge-representation-reasoning automated-reasoning logic-puzzle predicate-logic dsai-104
-
Updated
May 20, 2025 - Python