On Semantics of TMS
Abstract
In this paper we first 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*(I). Next we conclude thai 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 Kun Konolige is also correct under our definition.
Cite
Text
Wang and Chen. "On Semantics of TMS." International Joint Conference on Artificial Intelligence, 1991.Markdown
[Wang and Chen. "On Semantics of TMS." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/wang1991ijcai-semantics/)BibTeX
@inproceedings{wang1991ijcai-semantics,
title = {{On Semantics of TMS}},
author = {Wang, Xianchang and Chen, Huowang},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1991},
pages = {306-309},
url = {https://mlanthology.org/ijcai/1991/wang1991ijcai-semantics/}
}