“…Some aspects of this problem were studied by Giles, Omlin, and Thornber (1999) in the context of fuzzy systems, by Levesque and Petrick (2002) and Levesque and Lakemeyer (2001) in the context of situation calculus, by Mangasarian, Shavlik, and Wild (2004) in the context of prior knowledge. Gálvez, Diaz, Carrión, andGarcia (2001) andFernández-Baizán andRuiz (2001) used knowledge equivalence for "CAI (Conjuntos Aproximados con Incertidumbre) model. The major contribution of the CAI model is the approximate equality among knowledge bases".…”