scientific study of algorithms and statistical models that computer systems use to perform tasks without explicit instructions