稳定模的分裂性（英文）  

The splitting property of stable models

作　　者：陈文彬[1] 李福芳[1] 邹宇[2] 

机构地区：[1]广州大学计算机科学与教育软件学院,广东广州510006 [2]广州大学广东省数学教育软件工程技术研究中心,广东广州510006

出　　处：《广州大学学报（自然科学版）》2016年第1期13-17,共5页Journal of Guangzhou University:Natural Science Edition

基　　金：National Science Foundation of China(NSFC)under Grant No.11271097;Natural Science Foundation of China under Grant No.61472092;Guangdong Provincial Science and Technology Plan Project under Grant No.2013B010401037;Guang Zhou Municipal High School Science Research Fund under grant No.120142131

摘　　要：逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后来得到更进一步的发展.在文章中,作者研究了稳定模的分裂性质.这性质表明当逻辑程序分裂成部分时候,它的稳定模的计算可以得到简化.A general logic program is a set of rules that have both positive and negative subgoals. GELFOND introduced an approach to negation through stable models, and motivated it by appealing to autoepistemic logic, as developed by MOORE. The theory has been further developed by GELFOND, et al, and also by MAREK and TRUSZCZYNSKI. In this paper we study the splitting property of stable models. The property shows how computing the stable model for a logic program can be simplified when the program is split into parts.

关 键 词：稳定模 逻辑程序 埃尔布郎模 稳定集 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]