On inference algebra: A formal means for machine reasoning and cognitive computing | IEEE Conference Publication | IEEE Xplore