In a perfect world, bushiness would indeed imply high reliability. Unfortunately in our world the different branches of the bush can have hidden dependencies, either accidental or maliciously inserted—they could even all be subtly different rewordings of one same argument—and the technique won’t catch that. So ultimately I don’t think we have invented a substitute for common sense just yet.
In a perfect world, bushiness would indeed imply high reliability. Unfortunately in our world the different branches of the bush can have hidden dependencies, either accidental or maliciously inserted—they could even all be subtly different rewordings of one same argument—and the technique won’t catch that. So ultimately I don’t think we have invented a substitute for common sense just yet.