机构地区: 广州大学计算机科学与教育软件学院
出 处: 《广州大学学报(自然科学版)》 2016年第1期13-17,共5页
摘 要: 逻辑程序是一些具有正负子句的规则集合.基于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.
领 域: [自动化与计算机技术] [自动化与计算机技术]