I was reading Chapters 6 and 7 of the AIMA book (Russell, Norvig 1995). They describe propositional calculus, which from their perspective is a weak form logic. The authors start with the basics and build on the fundamentals by demonstrating the language using Backus Naur Form (BNF). They used the Wumpus World as an example and demostrated that it will take at 6400 propositional logic statements to adequately describe the 4×4 Wumpus World.
In the next Chapter, the authors discuss predicate calculus and show its BNF. The main focus is on first order predicate calculus and then applying it to the Wumpus World example. They discuss the frame problem and situation calculus. They used predicate calculus to demonstrate the differences and static components between two situations, which includes the frame axioms.
The discussion was neatly tied together between a problem and predicate calculus unlike the Luger book that I read earlier. In the Luger the frame problem was used to illustrate robotic planning in the block’s world.
My goals are to run the AIMA wumpus world lisp code and complete the predicate calculus of the Wumpus world problem.
