西南师范大学学报：人文社会科学版
西南師範大學學報：人文社會科學版
서남사범대학학보：인문사회과학판
Journal of Southwest China Normal University(Philosophy & Social Sciences Edition)
2006年
1期
70~74
,共null页
常识推理的基础逻辑 集选语义 典范框架 典范模型
常識推理的基礎邏輯 集選語義 典範框架 典範模型
상식추리적기출라집 집선어의 전범광가 전범모형
basic logic for default reasoning; set selection semantics; canonical frame; canonical model
对通常的典范模型方法加以改造，在典范结构的基础上，可建立相对于任意给定有穷公式集Г的Г-典范框架和Г-典范模型，以证明M的框架类完全性。Г-典范模型方法是有穷方法。如果Г有穷，得到的典范模型有穷。这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。
對通常的典範模型方法加以改造，在典範結構的基礎上，可建立相對于任意給定有窮公式集Г的Г-典範框架和Г-典範模型，以證明M的框架類完全性。Г-典範模型方法是有窮方法。如果Г有窮，得到的典範模型有窮。這不僅可以證明M的完全性，還可證明M的有窮模型性，因此M是可判定的。
대통상적전범모형방법가이개조，재전범결구적기출상，가건립상대우임의급정유궁공식집Г적Г-전범광가화Г-전범모형，이증명M적광가류완전성。Г-전범모형방법시유궁방법。여과Г유궁，득도적전범모형유궁。저불부가이증명M적완전성，환가증명M적유궁모형성，인차M시가판정적。
In this paper, we proved the completeness of system M with respect to the class of Гcanonical frames, on which Г-canonical models are built. Given any finite set of formulas, Г, a Г-canonical frame is finite. The decidability of system M can thus be derived from the finite model property.
