====== Essential Thinking ======

This is a new course on Essential Thinking. It covers an introduction to problem solving techniques and tools.

----


==== Lectures ====

  * Introduction to thinking, reasoning, and problem solving: {{:ke:essential-thinking-intro.pdf|Essential Thinking - Introduction}}
  * Logic and Inference. Introduction to Prolog. Prolog as a language and tool for problem solving: **[[:prolog:course]]**. Selected problems - {{:ke:essential-thinking-intro-2-examples.pdf|Homework}}
  * Taxonomy of Problems and Problem Solving Techniques. Search. Problem Reduction. Plan Generation.{{:ke:essential-thinking-intro-3-problem-solving.pdf|Problem Solving}}
  * Constraint Programming and Constraint Logic Programming. {{:ke:essential-thinking-intro-4-constraint-programming.pdf|Constraint Programming}}; {{:ke:master-clp-est.pdf|Theory of Constraint Problem Solving}}
  * Abduction and Consistency-Based Reasoning. Diagnostic Problem Solving. {{:ke:dps-slides-ali-final.pdf|Diagnostic Problem Solving. Exploring Models, Abduction and Inconsistency}}

----



==== Laboratory Classes ====

  * Introduction to Prolog: {{:ke:essentialthinking.tar.gz|Basic Prolog: Support materials}}
  * Lists in Prolog: {{:ke:essentialthinking-22.tar.gz|Lists:support materials}}
  * Search and Plan Generation: {{:ke:essentialthinking-3.tar.gz|Search and Problem Solving}}
  * Constraint Logic Programming: {{:ke:essentialthinking-4.tar.gz|Constraint Logic Programming}}