首页 | 本学科首页   官方微博 | 高级检索  
     

FC-normal and extended stratified logic program
引用本文:许道云,丁德成. FC-normal and extended stratified logic program[J]. 中国科学F辑(英文版), 2002, 45(4)
作者姓名:许道云  丁德成
作者单位:XU Daoyun & DING DechengDepartment of Mathematics,Nanjing University,Nanjing 210093,China
摘    要:This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-normal program. The deciding condition describes the characterizations of FC-normal program. By the Petri-net presentation of a logic program, the characterizations of stratification of FC-normal program are investigated. The stratification of FC-normal program motivates us to introduce a new kind of stratification, extended stratification, over logic program. It is shown that an extended (locally) stratified logic program is an FC-normal program. Thus, an extended (locally) stratified logic program has at least one stable model. Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finite FC-normal program.


FC-normal and extended stratified logic program
XU Daoyun , DING Decheng. FC-normal and extended stratified logic program[J]. Science in China(Information Sciences), 2002, 45(4)
Authors:XU Daoyun & DING Decheng
Affiliation:Department of Mathematics, Nanjing University, Nanjing 210093, China
Abstract:This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-normal program. The deciding condition describes the characterizations of FC-normal program. By the Petri-net presentation of a logic program, the characterizations of stratification of FC-normal program are investigated. The stratification of FC-normal program motivates us to introduce a new kind of stratification, extended stratification, over logic program. It is shown that an extended (locally) stratified logic program is an FC-normal program. Thus, an extended (locally) stratified logic program has at least one stable model. Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finite FC-normal program.
Keywords:forward chaining   FC-normal program   stable model   extended stratification.
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号