La base de connaissances KB est constituée de formules de 
.
Cette base contient les connaissances de l'agent (sous la forme Bxp) mais aussi tous les états mentaux
qui caractérisent l'agent à un instant donné (les intentions par exemple).
C'est sur cette base de connaissances que s'appliquent les règles définies dans les jeux ainsi que le moteur d'inférence de l'agent.