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.
Similar content being viewed by others
References
Doyle J. A truth maintenance system.AI, 1979, 12, 231–272.
van Emden M H, Kowalski R A. The semantics of predicate logic as a programming language,JACM, 1976, 4:433–442.
Gelfond M, Lifschitz V. The stable model semantics for logic programming. In: Proc. 5th. Int'l Conf. and Symp. Logic Programming, 1988, 1070–1080.
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.
Junker U, Konolige K. Computing the extensions of autoepistemic and default logic with a truth maintenance system. AAAI-90, 1990, 278–283.
Lloyd J W. Foundation of logic programming. Springer-Verlag, 1987.
Li Liwu, You Jiahuai. Making default inference from logic programs. Communication with author.
Przymusinski T C. On the relationship between non-monotonic reasoning and logic programming. In: Proc. AAAI Conference, 1988, 444–448.
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.
Przymusinski T C. Non-monotonic reasoning versus logic programming: a new perspective. 1992.
Reinfrank M, Dressler U. On relation between TMS and non-monotonic inference. In: IJ-CAI'89, 1989, 1206–1212.
Reinfrank M, Dressler U. On the relation between TMS and AEL. In: IJCAI'89, 1989.
Reiter R. A logic for default reasoning.AI, 1980, 13, 81–132.
You Jiahuai, Li Yanyuan. Three-value models in deductive databases and logic programming. Communication with author.
Wang Xianchang, Chen Huowang. A non-monotonic reasoning system—WMJ. In: Proc. of the First Int'l Conf. System Integration, 1990, U.S.A.
Wang Xianchang, Chen Huowang. On semantics of TMS. In: Proc. IJCAI'91, 1991, 306–309, Sydney, Australia.
Wang Xianchang, Chen Huowang. Non-monotonic reasoning+TMS+Horn logic⇒dynamic logic programming? In: Proc. ICYCS'91, 1991, 529–532, Beijing, China.
Author information
Authors and Affiliations
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
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
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02939505