AMISTAD Lab – A Mathematical Theory of Abductive Logic
Introduction and Overview of the Project Hello everyone! Our names are Hana Ahmed, Meg Kaye, and Nico Espinosa Dice, and we are working with Prof. George Montañez in the AMISTAD Lab (Artificial Machine Intelligence = Search Targets Awaiting Discovery) to formulate a mathematical theory of abductive reasoning. We hope to produce a machine learning model and graphical representation of creative problem-solving using abduction. Many people are aware of induction and deduction as forms of logical reasoning. However, abduction is arguably the closest resemblance of day-to-day human reasoning processes. Abduction, while still loosely defined, is rooted in the generation of plausible explanatory hypotheses that are consistent with observed facts. The concept of abductive logic is generally associated with the mathematician and philosopher Charles Sanders (C.S.) Peirce, and is regularly applied in real-life problem-solving tasks, such as medical diagnosis and criminology. Abduction, D...