Aby nasz agent mógł reprezentować i wykorzystywać informacje probabilistyczne, potrzebujemy języka formalnego. Język teorii prawdopodobieństwa był tradycyjnie nieformalny, pisany przez ludzkich matematyków dla innych ludzkich matematyków. Przyjmujemy podejście bardziej dopasowane do potrzeb AI i łączymy je z koncepcjami logiki formalnej.