Aiphabet

Propositional Logic

Wumpus World Inference

Logical Agent Mood Predictor

Inference Rules Q1

Inference Rules Q2

Inference Rules Q3

Inference Rules Q4

Logic Learner (Optional)