A First-Order Logic Framework of Major Choosing Decision Making With an Uncertain Reasoning Function | IEEE Journals & Magazine | IEEE Xplore