利用重写系统研究缺省逻辑  

STUDY DEFAULT LOGIC USING REWRITING SYSTEM

作　　者：姜云飞[1] 

机构地区：[1]吉林大学计算机科学系

出　　处：《计算机学报》1994年第5期354-360,共7页Chinese Journal of Computers

基　　金：国家自然科学基金

摘　　要：本文在布尔环重写系统中研究了缺省逻辑．一个缺省理论等价于一个布尔环方程组．本文还分析了命题缺省理论外延的结构，证明了一个缺省理论的外延的模型集合就是对应的布尔环方程组的极大缺省解，从而为确定缺省理论的外延提供了一种简便实用的方法．This paper studies default logic using Boolean ring rewriting system.A default theory is equivalent to a set of Boolean ring equations.The structure of an extension for a propositional default theory is analyzed.It is proved that the set of models of an extension for a default theory is exactly the maximal default solution for the set of the corresponding Boolean ring equations,which provides an effective and applicable method for obtaining the extensions of a default theory.

关 键 词：非单调推理 缺省逻辑 重写系统 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]