# AIMA: Inference in First-Order Logic

> Source: https://ollybritton.com/notes/textbooks/ai-a-modern-approach/knowledge-reasoning-and-planning/inference-in-first-order-logic/ · Updated: 2024-10-21 · Tags: aima, notes

> In which we define effective procedures for answering questions posed in first-order logic.

This chapter was basically about how you can write inference procedures for first-order logic, like you could in propositional logic. I didn't spend enough time reading it (I basically skimmed the last 15 pages) so my understanding here isn't great.

---
Olly Britton — https://ollybritton.com. Machine-readable index: https://ollybritton.com/llms.txt