Disciplina que se ocupa del desarrollo de sistemas informáticos y robóticos ampliados, capaces de realizar acciones inteligentes. También puede definirse como un subcampo de la informática que se encarga de los conceptos y métodos de inferencia simbólica por computadora y de la representación simbólica de los conocimientos por ser utilizados en la formulación de inferencias.