A Formal Model for Artificial Intelligence Applications in Automation Systems | IEEE Conference Publication | IEEE Xplore