Reading: AIAMA 7.1-7.4
In the next part of the course we will see how to expand the intelligence of state-space based agents by using logic programming to reason about states and state transitions. This is particularly helpful for simplifying the code involved in specifying allowable state transitions. Section 7.1 describes this overall framework as knowledge-based agents. Section 7.2 describes the semantics of a classic toy environment called the wumpus world. Section 7.3 introduces the basics of formal logic, which is expanded in section 7.4 to our first type of knowledge base using propositional logic. Much of this should be a review from digital design and discrete math.
Questions you should be able to answer after reading are: