Lesson Focus

Sherlock Holmes delighted in saying ‘It’s elementary, my dear Watson’. This lesson provides a brief overview of how Boolean algebra provides the basis for artificial intelligence reasoning. The rules of propositional logic are introduced in the context of the kind of ‘AI’ found in role-playing games both on the computer and off.


Download:

Full Lesson Plan
Student Worksheets


Age Levels:

13 – 18

Objectives

Introduce students to:

  • The rudiments of Boolean Algebra.
  • Both a formal and intuitive understanding of implication (p -> q).
  • Mechanical (computational) approaches to the standard rules of inference, informal resolution theorem proving.

Anticipated Learner Outcomes

Students will be able to:

  • Describe a scenario as facts and propositions.
  • Use Boolean algebra to represent a world state.
  • Determine whether a proposition is true or false using standard rules of inference.

Lesson Activities

Sherlock Holmes delighted in saying ‘It’s elementary, my dear Watson’. This lesson provides a brief overview of how Boolean algebra provides the basis for artificial intelligence reasoning. The rules of propositional logic are introduced in the context of the kind of ‘AI’ found in role-playing games both on the computer and off.

Alignment to Curriculum Frameworks

Curriculum alignment sheet is included in PDF.