Module 3: Knowledge representation and reasoning

AINS6001 — Foundations of Artificial Intelligence

Essential Question

How do formal representations support reliable inference?

Core Moves

• Define the problem boundary

• Identify evidence and assumptions

• Build or evaluate the artifact

• Communicate limits and next actions

Lab & Assignment

Encode a domain model and test simple logical queries against it.

Use the assignment notebook to turn lab evidence into a defensible recommendation.