Skip to main content
This chapter covers classical AI reasoning based on formal logic, enabling agents to derive conclusions from known facts and rules.

Automated Reasoning

Foundations of automated reasoning systems.

Propositional Logic

Boolean logic and propositional calculus.

Logical Inference

Inference rules and proof methods.

Logical Agents

Building agents that reason with logic.
Found an error on this page? Report an issue.