---
title: "On Semantics of TMS"
authors:
  - "Xianchang Wang"
  - "Huowang Chen"
doi: ""
url: "https://ijcai.org/proceedings/1991/46"
pdf: "https://ijcai.org/proceedings/1991/0046.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "306-308"
track: "Automated Reasoning"
keywords:
---

# On Semantics of TMS

Xianchang Wang, Huowang Chen

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 306-308.

## Abstract

In this paper we frrst give a formal semantics of nonmonotonic TMS theory with CP justifications. Then we prove that the model of a theory J is also a model of theory J*(l) . Next we conclude that for every TMS theory J, there must be a theory J* such that J* has no CP justifications and all the models of J is also J*'s. Finally we prove that the concept of extension defined by U. Junker and Kurt Konolige is also correct under our definition .