Um Engenheiro de Computação precisa desenvolver um Sistema Especialista para auxiliar o Analista Legislativo a classificar a constitucionalidade de novos projetos de lei, com base em centenas de regras e precedentes definidos por especialistas jurídicos.

O método primário de Representação do Conhecimento em Sistemas Especialistas que armazena o conhecimento na forma de declarações condicionais é o de