标签：#計算機邏輯

有疏漏性邏輯

有疏漏性邏輯是Donald Nute提出的用来形式化有疏漏性推理的非單調邏輯。在有疏漏性邏輯中，有事實(facts)、規則(rules)及優勢關係(superiority relation)三種不同類型的命題。而規則部分，又分為嚴格規則(strict rules)、有疏漏性規則(defeasible rules)、以及否決質詢規則(defeaters)三種： ;事實：無可爭辯的聲明。 ;優勢關係：在規則集合上定義的二元關係中的優勢關係。…