Teraz, gdy zdefiniowaliśmy semantykę logiki zdań, możemy zbudować bazę wiedzy dla świata wumpusów. Skupiamy się najpierw na niezmiennych aspektach świata wumpus, pozostawiając zmienne aspekty na późniejszą sekcję. Na razie potrzebujemy następujących symboli dla każdej lokalizacji |x,y|:
Px,y jest prawdziwe, jeśli jest dół w |x,y| .
Wx,y jest prawdziwe, jeśli jest wumpus w |x,y| , martwy lub żywy.
Bx,y jest prawdziwe, jeśli jest sprzeczność w |x,y| .
Sx,y jest prawdziwe, jeśli jest smród w |x,y|.
Lx,y jest prawdziwe, jeśli agent znajduje się w lokalizacji |x,y| .
Zdania, które piszemy, wystarczą do wyprowadzenia ¬P1,2 (nie ma dołu w [1,2]). Każde zdanie oznaczamy etykietą Ri, aby móc się do niego odnieść:
- W [1,1] nie ma dołu:
R1 : ¬P1,1
Pole jest sprzeczne wtedy i tylko wtedy, gdy na sąsiednim polu znajduje się dół. To musi być podane dla każdego kwadratu; na razie uwzględniamy tylko odpowiednie kwadraty:
Poprzednie zdania są prawdziwe we wszystkich światach Wumpus. Teraz uwzględniamy percepcje bryzy dla pierwszych dwóch odwiedzonych kwadratów w konkretnym świecie, w którym znajduje się agent
