Simple knowledge base

Now, after determining the semantics of propositional logic, we can form a knowledge base for the world of the vampus. For simplicity, we will consider only pits; the case in which the vampus itself is also considered is left to the reader as an exercise. We will provide the agent with a sufficient amount of knowledge so that he can form those logical conclusions, which were described informally in the section.

First you need to define a vocabulary of propositional characters. For each i, j.

• Assume that the statement Pi, j is true if there is a well in the square [i, j];
• Suppose that Bi, j is true if there is a breeze in the square [i, j].

The knowledge base includes the following statements, each of which is assigned a separate designation for convenience.

• In the square [1,1] there is no hole: R ₁ : ¬P _{i , j}
• A breeze is felt in the square if and only if there is a hole in the adjacent square. Such a statement must be formulated for each square; currently only squares of interest to us are included in the consideration: R ₂ : B _1,1 <=> (P _1,2 v P _2,1 ) R ₃ : B _2,1 <=> (P _1,1 v P _2.2 vP _3.1 )
• The above statements are true in all instances of the vampus world. We now include breeze perception data for the first two squares that the agent visited in that particular world where he is located; This will lead us to the situation shown in the figure.
• R4: ¬ B _1,1 R ₅ : B _2,1