Wprowadziliśmy logikę pierwszego rzędu, język reprezentacji, który jest znacznie potężniejszy niż logika zdań. Ważne punkty są następujące:
* Języki reprezentacji wiedzy powinny być deklaratywne, kompozycyjne, ekspresyjne, niezależne od kontekstu i jednoznaczne.
* Logiki różnią się zobowiązaniami ontologicznymi i epistemologicznymi.
* Podczas gdy logika zdaniowa zobowiązuje się jedynie do istnienia faktów, logika pierwszego rzędu zobowiązuje się do istnienia obiektów i relacji, a tym samym zyskuje moc wyrazu, właściwą dla dziedzin takich jak świat wumpusa i obwody elektroniczne.
* Zarówno logika zdań, jak i logika pierwszego rzędu mają trudności w przedstawianiu niejasnych zdań. Ta trudność ogranicza ich zastosowanie w dziedzinach wymagających osobistego osądu, takich jak polityka czy kuchnia.
* Składnia logiki pierwszego rzędu opiera się na składni logiki zdań. Dodaje terminy do reprezentowania obiektów i ma uniwersalne i egzystencjalne kwantyfikatory do konstruowania twierdzeń dotyczących wszystkich lub niektórych możliwych wartości zmiennych kwantyfikowanych.
* Możliwy świat lub model dla logiki pierwszego rzędu zawiera zbiór obiektów i interpretację, która odwzorowuje stałe symbole na obiekty, predykaty symboli na relacje między obiektami i symbole funkcji na funkcje na obiektach.
* Zdanie atomowe jest prawdziwe tylko wtedy, gdy relacja nazwana przez orzeczenie zachodzi między przedmiotami nazwanymi przez terminy. Interpretacje rozszerzone, które odwzorowują zmienne kwantyfikatorowe na obiekty w modelu, definiują prawdziwość zdań kwantyfikowalnych.
* Rozwijanie bazy wiedzy w logice pierwszego rzędu wymaga starannego procesu analizy domeny, wyboru słownictwa i kodowania aksjomatów wymaganych do obsługi pożądanych wniosków.