CSSE-453: Cognitive Computing - Day 29

Activities

• Inference in Watson: geospatial, temporal, evidence diffusion and merging.
• Inference: Rules of inference in propositional and predicate logic.
• Inference: A proof in predicate logic
• Valid reasoning.
• The limits, i.e. computational complexity of a general purpose theorem prover.
• Engineered valid reasoning: Procedures that are built into the way data is processed. They are sound. Together they are not complete. Think of them as codelets or macros that make explicit that information which is implictly contained in a very limited domain.