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

dc.audiencegeneralPublices_MX
dc.contributorZacarías Flores, Fernando
dc.contributor.advisorZACARIAS FLORES, FERNANDO; 201873
dc.contributor.authorÁngeles López, María José
dc.date.accessioned2021-01-22T15:20:46Z
dc.date.available2021-01-22T15:20:46Z
dc.date.issued2019-10
dc.description.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]."es_MX
dc.folio20200925132601-6796-TLes_MX
dc.formatpdfes_MX
dc.identificator7es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/10141
dc.language.isospaes_MX
dc.matricula.creator201223021es_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationINGENIERÍA Y TECNOLOGÍAes_MX
dc.subject.lccProgramación lógicaes_MX
dc.subject.lccCálculo proposicionales_MX
dc.subject.lccPlanificación estratégicaes_MX
dc.subject.lccInteligencia artificiales_MX
dc.thesis.careerLicenciatura en Ciencias de la Computaciónes_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias de la Computaciónes_MX
dc.thesis.degreetoobtainLicenciado(a) en Ciencias de la Computaciónes_MX
dc.titlePlaneación declarativa clásica con el lenguaje de acción Kes_MX
dc.typeTesis de licenciaturaes_MX
dc.type.conacytbachelorThesises_MX
dc.type.degreeLicenciaturaes_MX
Files
Original bundle
Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
20200925132601-6796-TL.pdf
Size:
1.71 MB
Format:
Adobe Portable Document Format
Description:
Name:
20200925132601-6796-Carta.jpg
Size:
1.1 MB
Format:
Joint Photographic Experts Group/JPEG File Interchange Format (JFIF)
Description:
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: