On semantics of TMS

Authors:
Wang Xianchang;Chen Huowang
Affiliations:
Department of Computer Science, Changsha Institute of Technology, Changsha, Hunan, P.R. China;Department of Computer Science, Changsha Institute of Technology, Changsha, Hunan, P.R. China
Venue:
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Year:
1991

Citing 13
Cited 0

An assumption-based TMS

Artificial Intelligence
Extending the ATMS

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
The anomalous extension problem in default reasoning

Artificial Intelligence
Reason maintenance systems and their applications

Reason maintenance systems and their applications
A skeptical theory of inheritance in nonmonotonic semantic networks

Artificial Intelligence
A rational reconstruction of nonmonotonic truth maintenance systems (research note)

Artificial Intelligence
A non-monotonic reasoning system—WMJ

ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
A Deduction Model of Belief

A Deduction Model of Belief
Defeasible Decisions: What the Proposal Is and Isn't

UAI '89 Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence
Complexity analysis of truth maintenance systems, with application to high-level vision

Complexity analysis of truth maintenance systems, with application to high-level vision
A correct non-monotonic ATMS

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Computing the extensions of autoepistemic and default logics with a truth maintenance system

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

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.