Dec 2023Logical Agents 101: Slaying the Wumpus with Pure ReasonKnowledge bases, entailment, resolution and SAT solving, learned by staying alive in the Wumpus World, with runnable PySAT code.AI Foundations07