Skip to main content
Log in

On the relationship between TMS and logic programs

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

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

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Doyle J. A truth maintenance system.AI, 1979, 12, 231–272.

    MathSciNet  Google Scholar 

  2. van Emden M H, Kowalski R A. The semantics of predicate logic as a programming language,JACM, 1976, 4:433–442.

    Google Scholar 

  3. Gelfond M, Lifschitz V. The stable model semantics for logic programming. In: Proc. 5th. Int'l Conf. and Symp. Logic Programming, 1988, 1070–1080.

  4. van Gelder A, Ross K, Schlipf J S. Unfounded sets and well-founded semantics for general logic programs. In: Proc. 7th. ACM Symp. Principle of Database System, 1988, 221–230.

  5. Junker U, Konolige K. Computing the extensions of autoepistemic and default logic with a truth maintenance system. AAAI-90, 1990, 278–283.

  6. Lloyd J W. Foundation of logic programming. Springer-Verlag, 1987.

  7. Li Liwu, You Jiahuai. Making default inference from logic programs. Communication with author.

  8. Przymusinski T C. On the relationship between non-monotonic reasoning and logic programming. In: Proc. AAAI Conference, 1988, 444–448.

  9. Przymusinski T C. Three value non-monotonic formalism and logic programming. In: Proc. First Int'l Conf. Principle of Knowledge Representation and Reasoning, 1989, 341–448.

  10. Przymusinski T C. Non-monotonic reasoning versus logic programming: a new perspective. 1992.

  11. Reinfrank M, Dressler U. On relation between TMS and non-monotonic inference. In: IJ-CAI'89, 1989, 1206–1212.

  12. Reinfrank M, Dressler U. On the relation between TMS and AEL. In: IJCAI'89, 1989.

  13. Reiter R. A logic for default reasoning.AI, 1980, 13, 81–132.

    MATH  MathSciNet  Google Scholar 

  14. You Jiahuai, Li Yanyuan. Three-value models in deductive databases and logic programming. Communication with author.

  15. Wang Xianchang, Chen Huowang. A non-monotonic reasoning system—WMJ. In: Proc. of the First Int'l Conf. System Integration, 1990, U.S.A.

  16. Wang Xianchang, Chen Huowang. On semantics of TMS. In: Proc. IJCAI'91, 1991, 306–309, Sydney, Australia.

  17. Wang Xianchang, Chen Huowang. Non-monotonic reasoning+TMS+Horn logic⇒dynamic logic programming? In: Proc. ICYCS'91, 1991, 529–532, Beijing, China.

Download references

Author information

Authors and Affiliations

Authors

Additional information

This research was partly supported by National Natural Science Foundation of China under Grant 69203003 and Chinese High. Tech. program contract no. 863-306-05-16D.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, X., Chen, H. & Zhao, Q. On the relationship between TMS and logic programs. J. of Compt. Sci. & Technol. 9, 245–251 (1994). https://doi.org/10.1007/BF02939505

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02939505

Keywords

Navigation