Nalimov's Bayesian Syllogism to Overcome the Barrier of Meaning in AI Systems | IEEE Conference Publication | IEEE Xplore