Review for Chapter 8 Test. What is an object or an act that stands for something else? Symbol.
CSC411Artificial Intelligence1 Chapter 13 Automated Reasoning Contents Week Methods in Theorem Proving General Problem Solver (GSP) Resolution Theorem.
Chapter 13 Automated Reasoning