dor_id: 29489

506.#.#.a: Público

502.#.#.a:

590.#.#.d: si

510.0.#.a: Consejo Nacional de Ciencia y Tecnología (CONACyT), SCOPUS, Red de Revistas Cientificas de America Latina y el Caribe,España y Portugal (Redalyc), Scientific Electronic Library Online (SciELO), eJournal, Periódica: Índice de Revistas Latinoamericanas en Ciencias, Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex), Digital Bibliography & Library Project (DBLP)

561.#.#.u: https://www.cic.ipn.mx/

561.#.#.a: Centro de Investigación en Computación

650.#.4.x: Ciencias Sociales y Económicas

336.#.#.b: article

336.#.#.3: Artículo de Investigación

336.#.#.a: Artículo

351.#.#.6: http://revistas.unam.mx/index.php/cys/

351.#.#.b: Computación y Sistemas

351.#.#.a: Artículos

harvesting_group: RevistasUNAM

270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

590.#.#.c: Open Journal Systems (OJS)

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: http://www.revistas.unam.mx/front/

883.#.#.a: Revistas UNAM

590.#.#.a: Coordinación de Difusión Cultural

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

883.#.#.q: Dirección General de Publicaciones y Fomento Editorial

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

856.4.0.u: http://revistas.unam.mx/index.php/cys/article/view/17030/16210

524.#.#.a: Semantica G3'-Estable e Inconsistencia. (2010). Computación y Sistemas; Vol 13, No 001, 2009. Recuperado de https://repositorio.unam.mx/contenidos/29489

720.#.#.a: Carballido, José Luis ; Osorio, Mauricio ; Zepeda, Claudia ; Nieves, Juan Carlos

245.1.0.a: Semantica G3'-Estable e Inconsistencia

502.#.#.c: Instituto Politécnico Nacional

561.1.#.a: Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN

264.#.0.c: 2010

264.#.1.c: 2010-04-27

653.#.#.a: Semántica : G’3-estable; Programación Lógica; Razonamiento No-monótono

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, fecha de asignación de la licencia 2010-04-27, para un uso diferente consultar al responsable jurídico del repositorio por medio de computacion-y-sistemas@cic.ipn.mx

884.#.#.k: http://revistas.unam.mx/index.php/cys/article/view/17030

041.#.7.h: spa

520.3.#.a: PRESENTAMOS UN RESUMEN ACERCA DE CÓMO REALIZAR RAZONAMIENTO NO-MONÓTONO BASADO EN LÓGICAS PARACONSISTENTES. EN PARTICULAR, MOSTRAMOS QUE ES POSIBLE DEFINIR UNA SEMÁNTICA DE PROGRAMACIÓN LÓGICA BASADA EN LA LÓGICA PARACONSISTENTE G€™3, LA CUAL ES LLAMADA SEMÁNTICA G€™3-ESTABLE. ESTA SEMÁNTICA DEFINE UN MARCO PARA REALIZAR RAZONAMIENTO NO-MONÓTONO EN DOMINIOS LOS CUALES ESTÁN PLAGADOS DE VAGUEDADES E INCONSISTENCIAS. DE HECHO, MOSTRAMOS QUE AL CONSIDERAR TAMBIÉN UN PUNTO DE VISTA LÓGICO POSIBILISTA, ES POSIBLE USAR LA EXTENSIÓN DE ESTE MARCO DE TRABAJO PARA DEFINIR UN ENFOQUE DE PROGRAMACIÓN LÓGICA POSIBILÍSTICO QUE PUEDE TRATAR CON RAZONAMIENTO QUE ES AL MISMO TIEMPO NO MONÓTONO E INCIERTO.

773.1.#.t: Computación y Sistemas; Vol 13, No 001 (2009)

022.#.#.a: 1405-5546

handle: 104a0d85982fd4c3

harvesting_date: 2019-02-06 00:00:00.0

856.#.0.q: application/pdf

last_modified: 2019-04-12 00:00:00

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

license_type: by-nc-nd

_deleted_conflicts: 2-974834f655034fc462e314063b7b1750

No entro en nada

No entro en nada 2

Artículo

Semantica G3'-Estable e Inconsistencia

Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN, publicado en Computación y Sistemas, y cosechado de Revistas UNAM

Licencia de uso

Procedencia del contenido

Entidad o dependencia
Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN
Revista
Repositorio
Contacto
Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

Cita

Semantica G3'-Estable e Inconsistencia. (2010). Computación y Sistemas; Vol 13, No 001, 2009. Recuperado de https://repositorio.unam.mx/contenidos/29489

Descripción del recurso

Colaborador(es)
Carballido, José Luis ; Osorio, Mauricio ; Zepeda, Claudia ; Nieves, Juan Carlos
Tipo
Artículo de Investigación
Área del conocimiento
Ciencias Sociales y Económicas
Título
Semantica G3'-Estable e Inconsistencia
Fecha
2010-04-27
Resumen
PRESENTAMOS UN RESUMEN ACERCA DE CÓMO REALIZAR RAZONAMIENTO NO-MONÓTONO BASADO EN LÓGICAS PARACONSISTENTES. EN PARTICULAR, MOSTRAMOS QUE ES POSIBLE DEFINIR UNA SEMÁNTICA DE PROGRAMACIÓN LÓGICA BASADA EN LA LÓGICA PARACONSISTENTE G€™3, LA CUAL ES LLAMADA SEMÁNTICA G€™3-ESTABLE. ESTA SEMÁNTICA DEFINE UN MARCO PARA REALIZAR RAZONAMIENTO NO-MONÓTONO EN DOMINIOS LOS CUALES ESTÁN PLAGADOS DE VAGUEDADES E INCONSISTENCIAS. DE HECHO, MOSTRAMOS QUE AL CONSIDERAR TAMBIÉN UN PUNTO DE VISTA LÓGICO POSIBILISTA, ES POSIBLE USAR LA EXTENSIÓN DE ESTE MARCO DE TRABAJO PARA DEFINIR UN ENFOQUE DE PROGRAMACIÓN LÓGICA POSIBILÍSTICO QUE PUEDE TRATAR CON RAZONAMIENTO QUE ES AL MISMO TIEMPO NO MONÓTONO E INCIERTO.
Tema
Semántica : G’3-estable; Programación Lógica; Razonamiento No-monótono
Idioma
spa
ISSN
1405-5546

Enlaces