Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction

赵希顺; 沈榆平

首页> 中文期刊> 《计算机科学技术学报：英文版》 >Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction

Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相关主题

摘要

在这篇论文，它被看那稳定模型语义，完美的模型语义，；分离逻辑程序的部分稳定模型语义关于多项式时间模型等价物减小有一样的富有表达力的力量。也就是说拿完美的模型语义；象一个例子语义的稳定模型，任何逻辑程序 P 能在另一逻辑程序 P ′的多项式时间被转变以便完成式当模特儿(分别地稳定模型) P 1-1 对应于 P ′的稳定模型(分别地完美的模型) ，；通讯能在多项式时间也被计算。然而，不那样，最小模型语义比另外的提及的语义有更弱的表现力多项式层次将崩溃到 NP。

著录项

来源
《计算机科学技术学报：英文版》 |2007年第4期|562-568|共7页
作者
赵希顺; 沈榆平;
展开▼
作者单位

Institute of Logic and Cognition;

Sun Yat-Sen University;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.11;
关键词
分离性逻辑程序; 语义学; 等效恢复; 布尔公式;

机译：析取逻辑程序;语义;多项式时间等效模型;量化布尔公式;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号

Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction

摘要

著录项

相关主题

期刊订阅