QQ客服 官方微博 反馈留言

	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).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。