TheIn this thesis an ICAI system is built for this subject using automatic reasoning.

• 本文恰是从事这方面的工作，研究一个带有自动推理功能的程序设计ICAI系统。