Accelerating Deductive Inference: Special Methods for Taxonomies, Colours and Times

摘要: Deductive reasoning in a question answering system could principle be left entirely to uniform inference methods such as resolution or natural deduction. However, more efficient special are needed for determining certain kinds of relationships which people seem grasp ‘without thinking’. These include among types (such person, girl, and computer), parts Canada, Alberta, Alaska), colours brown, tan, orange), times the Apollo 11 mission, first moonwalk, space shuttle launch). We outline graphical geometric efficiently. The required often nearly constant storage costs linear number relevant facts stored. Such can combined straightforwardly uniformly with general deduction algorithm.