Symmetric Structure in Logic Programming | |
Jin-Zhao Wu ; Harald Fecher | |
2015-03-23 ; 2015-03-23 | |
关键词 | symmetry logic programming semantics |
中文摘要 | It is argued that some symmetric structure in logic programs could be taken into account when implementing semantics in logic programming. This may enhance the declarative ability or expressive power of the semantics. The work presented here may be seen as representative examples along this line. The focus is on the derivation of negative information and some other classic semantic issues. We first define a permutation group associated with a given logic program. Since usually the canonical models used to reflect the common sense or intended meaning are minimal or completed models of the program, we expose the relationships between minimal models and completed models of the original program and its so-called G-reduced form newly-derived via the permutation group defined. By means of this G-reduced form, we introduce a rule to assume negative information termed G-CWA, which is actually a generalization of the GCWA. We also develop the notions of G-definite, G-hierarchical and G-stratified logic programs, which are more general than definite, hierarchical and stratified programs, and extend some well-known declarative and procedural semantics to them, respectively.; 国家自然科学基金 |
语种 | 英语 |
出版者 | JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY |
其他责任者 | Chengdu Institute of Computer Applications, The Chinese Academy of Sciences,Chengdu 610041, P.R. China ; Fakultat für Mathematik und Informatik, Universitat Mannheim,D7,27,68131 Mannheim, Germany |
内容类型 | 期刊论文 |
源URL | [http://ir.calis.edu.cn/hdl/530500/4651] ![]() |
专题 | 广西民族大学 |
推荐引用方式 GB/T 7714 | Jin-Zhao Wu,Harald Fecher. Symmetric Structure in Logic Programming[J],2015, 2015. |
APA | Jin-Zhao Wu,&Harald Fecher.(2015).Symmetric Structure in Logic Programming.. |
MLA | Jin-Zhao Wu,et al."Symmetric Structure in Logic Programming".(2015). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论