Automated inductive reasoning sounds a lot like artificial intelligence to me...
Idk maybe it's semantics, inference to me sounds more like a logical leap is happening, whereas in my mind the simplest form of inductive reasoning is just expecting a pattern to repeat itself.
Expecting a pattern to repeat itself may not be sufficient to count as intelligence, but general purpose pattern recognition certainly seems to fit the bill.
Computer Aided Pattern Recognition sounds reasonable in setting public expectations.
I think you're right if you eliminate the word "aided"