Research about the relation of opening logic and ATMS
Weixin Liu · Electronic Instrumentation Customers · 2007
Paople to real world knowledge always incomplete.When they carry on infer,People often must carry on all sorts of suppositi ons,or on part of knowledge which has had taken the hypothesis (namely supposition set),This kind has the non-monotonous based on the supposition inference characteristic.But ATMS is one kind of accurate maintenance systems based on the supposition proposed by de Kleer in 1986 years.It usually together uses with the question solution,whenever receives a recent information transfered by the question solution,Then it calculates the supposition which each data relies on.Therefore in this article,we studies the opening logic and the ATMS relations.