一阶谓词逻辑表示法可以表示不确定的知识。