计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
14期
30-33
,共4页
Reiter扩充%Roos-扩充%半单调性%结论
Reiter擴充%Roos-擴充%半單調性%結論
Reiter확충%Roos-확충%반단조성%결론
Reiter的缺省逻辑的一个缺陷是不能分情形进行推理,为了克服Reiter扩充的这一缺陷,Roos提出了缺省扩充的一种修正定义来解决这一问题.文中将讨论Roos扩充类似于Reiter扩充的一些性质,发现Reiter扩充的一些性质对Roos扩充不再成立,并指出它们的不同.
Reiter的缺省邏輯的一箇缺陷是不能分情形進行推理,為瞭剋服Reiter擴充的這一缺陷,Roos提齣瞭缺省擴充的一種脩正定義來解決這一問題.文中將討論Roos擴充類似于Reiter擴充的一些性質,髮現Reiter擴充的一些性質對Roos擴充不再成立,併指齣它們的不同.
Reiter적결성라집적일개결함시불능분정형진행추리,위료극복Reiter확충적저일결함,Roos제출료결성확충적일충수정정의래해결저일문제.문중장토론Roos확충유사우Reiter확충적일사성질,발현Reiter확충적일사성질대Roos확충불재성립,병지출타문적불동.