摘要： 基于知识和资源相对不足的假设，王培教授构建了基于经验语义学的非公理化的推理系统NAL,NAL是对古典三段论的一个扩张，其中每条命题都跟一对真值——频率值和置信度。本文根据对频率和置信度不同的理解，对NAL进行了大幅度的修改和扩张，然后还添加了程序和更新算子，借此尝试实现王培教授提出的系统自身进行自我控制的目标。
