La automatización del razonamiento arqueológico