Yeah, the working definition I use, which is a simplification of the academic definition, is "second order solutions/algorithms", where rather than a program de

Yeah, the working definition I use, which is a simplification of the academic definition, is "second order solutions/algorithms", where rather than a program defining a solution to a problem given some set of arguments, you have a program that takes a problem definition as input, and produces a process that can solve many instances of that problem. That ends up being very different from the "AI is anything a computer can't do yet" pop definition, because it includes everything from SAT solvers, propositional logic engines, and Bayesian network analyzers, to the more bleeding edge deep learning stuff.