Planeación declarativa clásica con el lenguaje de acción K

Abstract
"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]."
Description
Keywords
Citation
Document Viewer
Select a file to preview:
Can't see the file? Try reloading