Sistema de representção de conhecimento e de raciocínio