常识的定义 A program has common sense if it automatically deduces for itself a sufficiently wide class of immediate conse- quences of anything it is told and what it already knows. Winograd …