Extension of Intelligent Engineering and its Model Theory Expression. - Jiahai Yuan; Changhong Zhao; MinPeng Xiong; Jianwei Gao (ICNC (5), 2007)