Planeación declarativa clásica con el lenguaje de acción K
dc.audience | generalPublic | es_MX |
dc.contributor | Zacarías Flores, Fernando | |
dc.contributor.advisor | ZACARIAS FLORES, FERNANDO; 201873 | |
dc.contributor.author | Ángeles López, María José | |
dc.date.accessioned | 2021-01-22T15:20:46Z | |
dc.date.available | 2021-01-22T15:20:46Z | |
dc.date.issued | 2019-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.folio | 20200925132601-6796-TL | es_MX |
dc.format | es_MX | |
dc.identificator | 7 | es_MX |
dc.identifier.uri | https://hdl.handle.net/20.500.12371/10141 | |
dc.language.iso | spa | es_MX |
dc.matricula.creator | 201223021 | es_MX |
dc.rights.acces | openAccess | es_MX |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0 | es_MX |
dc.subject.classification | INGENIERÍA Y TECNOLOGÍA | es_MX |
dc.subject.lcc | Programación lógica | es_MX |
dc.subject.lcc | Cálculo proposicional | es_MX |
dc.subject.lcc | Planificación estratégica | es_MX |
dc.subject.lcc | Inteligencia artificial | es_MX |
dc.thesis.career | Licenciatura en Ciencias de la Computación | es_MX |
dc.thesis.degreediscipline | Área de Ingeniería y Ciencias Exactas | es_MX |
dc.thesis.degreegrantor | Facultad de Ciencias de la Computación | es_MX |
dc.thesis.degreetoobtain | Licenciado(a) en Ciencias de la Computación | es_MX |
dc.title | Planeación declarativa clásica con el lenguaje de acción K | es_MX |
dc.type | Tesis de licenciatura | es_MX |
dc.type.conacyt | bachelorThesis | es_MX |
dc.type.degree | Licenciatura | es_MX |
Files
Original bundle
1 - 2 of 2
Loading...
- 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
1 - 1 of 1

- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: