Un ejemplo de una representación del conocimiento muy expresiva es la lógica autoepistémica.