On Semantics of TMS
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Automated Reasoning. 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 .
Xianchang Wang, and Huowang Chen. 1991. On Semantics of TMS. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. IJCAI, 306–308. https://ijcai.org/proceedings/1991/46
Wang, X., & Chen, H. (1991). On Semantics of TMS. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 (pp. 306–308). IJCAI. https://ijcai.org/proceedings/1991/46
@inproceedings{ijcai1991p46,
title = {On Semantics of TMS},
author = {Wang, Xianchang and Chen, Huowang},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {306--308},
year = {1991},
month = {8},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1991/46},
}
TY - CPAPER TI - On Semantics of TMS AU - Wang, Xianchang AU - Chen, Huowang T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 306 EP - 308 UR - https://ijcai.org/proceedings/1991/46 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
