期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
FC-normal and extended stratified logic program
1
作者 许道云 丁德成 《Science in China(Series F)》 2002年第4期259-272,共14页
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 charact... 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. 展开更多
关键词 forward chaining FC-normal program stable model extended stratification.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部