dor_id: 1500511

506.#.#.a: Público

650.#.4.x: Físico Matemáticas y Ciencias de la Tierra

336.#.#.b: other

336.#.#.3: Registro de colección de proyectos

336.#.#.a: Registro de colección universitaria

351.#.#.b: Proyectos Universitarios PAPIIT (PAPIIT)

351.#.#.a: Colecciones Universitarias Digitales

harvesting_group: ColeccionesUniversitarias

270.1.#.p: Dirección General de Repositorios Universitarios. contacto@dgru.unam.mx

590.#.#.c: Otro

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://datosabiertos.unam.mx/

883.#.#.a: Portal de Datos Abiertos UNAM, Colecciones Universitarias

590.#.#.a: Administración central

883.#.#.1: http://www.ccud.unam.mx/

883.#.#.q: Dirección General de Repositorios Universitarios

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://datosabiertos.unam.mx/DGAPA:PAPIIT:IN109010

100.1.#.a: Francisco Hernández Quiroz

524.#.#.a: Dirección de Desarrollo Académico, Dirección General de Asuntos del Personal Académico (DGAPA). "Lógicas modales para la computación y las ciencias", Proyectos Universitarios PAPIIT (PAPIIT). En "Portal de datos abiertos UNAM" (en línea), México, Universidad Nacional Autónoma de México.

720.#.#.a: Francisco Hernández Quiroz

245.1.0.a: Lógicas modales para la computación y las ciencias

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Facultad de Ciencias, UNAM

264.#.0.c: 2010

264.#.1.c: 2010

307.#.#.a: 2019-05-23 18:40:21.491

653.#.#.a: Lógica; Ciencias de la computación

506.1.#.a: La titularidad de los derechos patrimoniales de este recurso digital pertenece a la Universidad Nacional Autónoma de México. Su uso se rige por una licencia Creative Commons BY 4.0 Internacional, https://creativecommons.org/licenses/by/4.0/legalcode.es, fecha de asignación de la licencia 2010, para un uso diferente consultar al responsable jurídico del repositorio por medio de contacto@dgru.unam.mx

041.#.7.h: spa

500.#.#.a: Las lógicas modales surgieron originalmente en el ámbito de la filosofía para responder a limitaciones de la lógica estándar. Sin embargo, rápidamente encontraron aplicación en las ciencias de la computación y actualmente se encuentran presenten en áreas como la teoría de la concurrencia, la verificación y especificación de programas y la representación del conocimiento para inteligencia artificial, entre otras. En los últimos años, las técnicas surgidas de la interacción entre lógica y computación se empiezan a aplicar también en otras ciencias. Destacan las versiones de lenguajes lógicos modales desarrolladas para teoría de juegos, la representación de procesos biológicos con álgebras de procesos y lógicas asociadas a estas álgebras, y la verificación de modelos en la genética. Este proyecto tiene dos objetivos principales: (a) desarrollar y perfeccionar lógicas modales para formalizar el flujo de conocimiento y los efectos de las acciones de los agentes cognoscitivos; (b) aplicar estas lógicas para modelar fenómenos en teoría de juegos, en computación concurrente y paralela y en sistemas biológicos. El punto de partida serán los lenguajes lógicos dinámico-epistémicos propuestos por algunos de los participantes en el pasado. Esperamos que la aplicación combinada de técnicas existentes y de estas nuevas lógicas permita resolver problemas en las áreas anteriormente mencionadas.

046.#.#.j: 2019-11-14 12:26:40.706

264.#.1.b: Dirección General de Asuntos del Personal Académico

handle: 00993da12e98b773

harvesting_date: 2019-11-14 12:26:40.706

856.#.0.q: text/html

last_modified: 2019-11-22 00:00:00

license_url: https://creativecommons.org/licenses/by/4.0/legalcode.es

license_type: by

No entro en nada

No entro en nada 2