Logical learners

McCarthy’s original proposal for programs with commonsense was centered around a system called Advice Taker that could accept not only knowledge about the world, but also about problem solving skills that lead to self-improvement. Advice Taker was envisioned as a system in which knowledge and strategies are encoded using formal symbolic logics and reasoning is conducted by a (self-improving) process of logical deduction.

While the legacy of Advice Taker can be seen in much of the early work in commonsense reasoning, the system was highly speculative and remains unimplemented to this day.