贪婪缺省逻辑

来源：软件学报杂志2017年第7期北京时间：

作者：陈博,曹存根,眭跃飞

单位：陈博，中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190;国网山东省电力公司 电力科学研究院, 山东 济南 25000111,曹存根，中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 10019002,眭跃飞，中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 10019003

摘要：提出了一种贪婪缺省逻辑，旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论（T，Δ）的一个扩展，必定存在一个贪婪缺省理论的GD-扩展，使得缺省逻辑的扩展是贪婪缺省逻辑扩展的子集.同时，还存在贪婪缺省理论（T，Δ）的某一GD-扩展，该GD-扩展不包含缺省理论的任一扩展.因此缺省逻辑和贪婪缺省逻辑是两种不同的逻辑.

关键词：缺省逻辑;扩展;GD-扩展;伪子公式;Gentzen系统

基金资助：农业部公益性行业（农业）科研专项（201303107）