The fundamental notions and operations on Atanassov's Intuitionistic Fussy Sets are first introduced, and the semantic matching problem of intuitionistic fuzzy reasoning is described with the emphasis on proposing the extensions of methods for computing the semantic distance and near compactness as the measurement of intuitionistic fuzzy matching degree and on investigating the extensions of models for computing intuitionistic fuzzy near compactness and semantic distance, such as Hamming distance, Euclidean distance, Minkovski distance and Chebyishev distance, etc. on both space of discrete and continuous domain. The techniques for transforming intuitionistic fuzzy near compactness or semantic distance into intuitionistic fuzzy matching degree are exposed.