Formal conversion between information and intelligence | IEEE Conference Publication | IEEE Xplore