Many-sorted Logic: Ordinary first-order interpretations have a single domain of discourse over which all quantifiers range. Many-sorted first-order logic allows variables to have different sorts, which have different domains. A common convention is:- is evaluated first• and are evaluated next- Quantifiers are evaluated next- is evaluated last.

A logical agent works by deducing what to do given a knowledge base of words about the world.

Topics include: First-Order Logic, Propositional Logic, Resolution, Forward Chaining, & Backward Chaining.