| On the Relationship Between TMS and Logic Programs |
| |
| 作者姓名： | Wang Xianchang Chen Huowang Zhao Qinping |
| |
| 作者单位： | [1]DepartmentofComputerScience,ChangshaInstituteofTechnology,Changsha410073 [2]DepartmentofComputerSciencea,ChangshaInstituteofTechnology,Changsha410073 |
| |
| 摘 要： | The relationship between TMS and general logic programs is an important issue in non-monotonic logic programming.In this paper,we prove that,after we translate the TMS theory into a general logic program,the TMS‘s well-founded assignment (or extension) is equivalent to the corresponding general logic program‘s stable model.It means that TMS can be completely integrated into a non-monotonic logic programming environment.
|
| 关 键 词： | 逻辑程序 TMS 命题语言 |
On the relationship between TMS and logic programs |
| |
| Wang Xianchang,Chen Huowang,Zhao Qinping.On the Relationship Between TMS and Logic Programs[J].Journal of Computer Science and Technology,1994,9(3):245-251. |
| |
| Authors: | Xianchang Wang Huowang Chen Qinping Zhao |
| |
| Affiliation: | Department of Computer Science; Changsha Institute of Technology; Changsha 410073; Department of Computer Science and Technology; Beijing University of Acronautics andAstronautics; Beijing 100083; |
| |
| Abstract: | The relationship between TMS and general logic programs is an important issue in non-monotonic logic programming. In this paper, we prove that, after we translate the TMS theory into a general logic program, the TMS's well-founded assignment (orextension) is equivalent to the corresponding general logic program's stable model. It means that TMS can be completely integrated into a non-monotonic logic programming environment. |
| |
| Keywords: | General logic program TMS stable model well-founded |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
