AIMA: Inference in First-Order Logic

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.

No flashcards :(

Backlinks

• [[AI: A Modern Approach]]^N

Metadata

date: 2021-04-04 10:41
tags:
- '@?aima'
- '@?notes'
- '@?public'
title: 'AIMA: Inference in First-Order Logic'