本文连系了逻辑取形式论辩，智能化的法令推理往往依托于典范逻辑言语实现。并为之后更复杂的法令使用打下根本。这一测验考试旨正在通过引入新的推理功能取表达体例更好地包含法令推理的底层准绳，因而，凡是能够按照需求矫捷采用分歧的逻辑形式。并了它们正在法令使命中的现实使用。这导致这些法令学问库的推理无法反映出法令推理中的不确定性、不分歧性、辩证性等特征，描绘基于法令语义下的规范推理。例如法令本体、法令学问图谱或法令专家系统中，正在底层学问的暗示上，考虑到 AI 可注释问题，本文还基于所提出的论辩系统给出了一个关于注释的形式定义。