计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2005年
9期
1447-1458
,共12页
缺省逻辑%四值逻辑%非单调逻辑%超协调逻辑%非单调超协调逻辑
缺省邏輯%四值邏輯%非單調邏輯%超協調邏輯%非單調超協調邏輯
결성라집%사치라집%비단조라집%초협조라집%비단조초협조라집
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系.四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现.
基于公式變換,給齣一組缺省理論的變換方法,將命題語言L中的缺省理論變換到對應的命題語言L+中,保證瞭所得到的缺省理論的所有擴張均不平凡,併通過一種弱變換可同時保證缺省擴張的存在性.為缺省理論定義瞭各種四值模型,使得缺省邏輯具有非單調超協調推理能力,併證明瞭L+中的缺省擴張與L中缺省理論的四值模型之間具有一一對應關繫.四值模型描述瞭公式變換的語義,基于四值語義的缺省推理通過缺省理論的變換技術能在標準的缺省邏輯中實現.
기우공식변환,급출일조결성이론적변환방법,장명제어언L중적결성이론변환도대응적명제어언L+중,보증료소득도적결성이론적소유확장균불평범,병통과일충약변환가동시보증결성확장적존재성.위결성이론정의료각충사치모형,사득결성라집구유비단조초협조추리능력,병증명료L+중적결성확장여L중결성이론적사치모형지간구유일일대응관계.사치모형묘술료공식변환적어의,기우사치어의적결성추리통과결성이론적변환기술능재표준적결성라집중실현.
