Zacarías Flores, FernandoZACARIAS FLORES, FERNANDO; 201873Ángeles López, María José2021-01-222021-01-222019-10https://hdl.handle.net/20.500.12371/10141"Así, en el presente trabajo se aborda el problema de planeación desde la perspectiva de la planeación clásica declarativa basada en la programación lógica a través de juegos de lógica. Analizaremos como llevar a cabo la representación de conocimiento, así como el razonamiento que nos permita poder modelar y programar problemas de planeación clásica. Para esto, se revisará el estado del arte con la finalidad de justificar el lenguaje elegido para el modelado y solución de problemas de planeación. Las técnicas de planificación se aplican en una variedad de tareas que incluyen robótica, planificación de procesos, recopilación de información basada en internet, agentes autónomos, control de misiones de naves espaciales, etc [1]."pdfspaINGENIERÍA Y TECNOLOGÍAProgramación lógicaCálculo proposicionalPlanificación estratégicaInteligencia artificialTesis de licenciaturaopenAccess