限制逻辑相关论文
ＭＡＣＨ５系列器件是ＡＭＤ公司的新一代高密度可编程逻辑器件。其主要性能特点有：高密度（５１２个宏单元）、高速度（ｔＰＤ＝７．５ｎｓ）、低功耗（四级功耗管理）、符合ＰＣＩ规范、遵循ＩＥＥＥ１１４９．１（ＪＴＡＧ）标......
常识揄的难点是前提知识的不完备性、揄规则的不精确性以及知识中显性或隐性矛盾存在的普遍性。常识推理的第一个特点是“常识性”......
基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑,给出它的语义和语形,证明其完全性定理以及它与主要非单调逻辑的关......
非单调超协调推理是一种在不协调与不完全知识下推理的形式,是人工智能中有关常识表示与推理的一个研究领域,具有重要的科学意义.......
本文给出了一阶超协调限制逻辑ＬＰｓ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰ作为一种非单调超协调逻辑具有非单逻辑和超协调逻辑......
超协调限制逻辑ＬＰｃ是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理形式化，给出了命题ＬＰｃ的计算复......
限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的......
