| 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 万方数据 等数据库收录！ |
