Inteligencia Artificial en la Planificación y Control de la Fabricación

Resumen Este documento explora algunos de los problemas típicos en la planificación y control de sistemas de fabricación, particularmente aquellos pertinentes a la operación automática, y describe cómo se pueden aplicar métodos de inteligencia artificial. Demostramos cómo la lógica de predicados y las técnicas de demostración de teoremas utilizando resolución pueden ser utilizadas en un entorno de fabricación. Se presentan afirmaciones de hecho y axiomas que representan el conocimiento requerido en una base de datos subyacente. Problemas ilustrativos demuestran cómo los problemas de los usuarios, como la asignación de trabajos a máquinas cuando ocurren conflictos, pueden ser manejados por un sistema de soporte a la decisión en el marco de la resolución en un enfoque de reducción de problemas.