Delve into reasoning in AI: deductive, inductive, abductive, and analogical forms, plus their roles in expert systems, NLP, and robotics.