Automated Reasoning Approach to Estimate Thermal Conductivity of Yba2Cu3O7 Superconductors

Thermal conduction related mechanism of the super conducting systems have been very important and interesting area since last two decades. In the present estimation of thermal conductivity of Yba
₂
Cu
₃
O
₇
superconductors, the automated reasoning approach has been considered by using a mathematical model. This model is dynamic in nature as the parameters involved are inter-related. When derived as a function of temperature changes, rigorous computation is required. Then the estimation of thermal conductivity becomes complex due to the impact of one or more scattering processes involved together. Therefore, the automated reasoning approach has been attempted to discover the knowledge about the thermal conductivity which leads to estimate in a way to match the experimental results and to examine the role of boundary and interference scattering processes involved during the thermal conduction.