Knowledge-Based Systems Artificial Intelligence Vintage AI Engineering HC 1st DJ
Unlike previous research programs, AM is not a theorem-prover, but a theorem-proposer: its task is to discover, to infer. to "notice" new concepts built from older ones.This work has been guided by Douglas Lenat.