COGS 100 Lecture Notes - Lecture 22: Logic Puzzle, Model Theory, Sumo
7 Dec 2017
School
Department
Course
Professor
Document Summary
Language and mental models: language can be interpreted very differently based on individual perception, you generate a message that will create your thoughts in the listeners mind. Example: visual: maps, diagrams, abstract: from statements based on perception. Wason cards: general: features, knowledge (all sumo players are strong) Inference mechanisms: rule- based or proof theoretic inference: this uses the traditional rules of logic to arrive at a valid conclusion. It is much more convenient for large scale problems: model- based or model theoretic inference, this generates a set of examples to explore all the logical possibilities. It is valid for all problems and specifically works well for simple problems. p(b-b) = 0. 5 x 0. 5 = 0. 25. Model: b- b; b g; g b; g-g p(b-b) = = 0. 25. We often use models to explain why rules work so well. 4 possibilities of which one is b-b: logic must be precise but language has ambiguity.
