Computers can introduce new terms
Computers can introduce new terms using automated principles of explanatory adequacy; evidenced by a program using adequacy principles to introduce new terms in the domain of causal models—a class of mathematical theories popular in social science.
Richard Scheines, 1988.