Bases sólidas de Inteligencia Artificial