Only 2 tests this semester Ethics of mechanical thinking Turing test Markov chains knowledge bases propositional logic entailment inferencing forward chaining backward chaining