Extension of Intelligent Engineering and its Model Theory Expression | IEEE Conference Publication | IEEE Xplore