本文探讨了人工智能中不确定性推理的挑战，提出了一种第一阶关系概率推理方法，能够在多项式时间内处理有界量词的知识库。该方法在对象集合未知或无限的情况下也能有效推理，并能推导出最紧的界限，确认了固定度数的完备性。