Cálculo lambda de primer orden con constraints y la propiedad church-rosser

Autores
Crossley, John N.; Mandel, Luis; Wirsing, Martin
Año de publicación
1995
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
En [2,3] fue presentada una extensión al tradicional cálculo lambda con constraints. Los constraints pueden ser usados con dos distintos propósitos: en una forma pasiva, restringiendo el rango de variables, o en forma activa comput.andp soluciones a determinados sistemas. Aquí presentamos una extensión de aquél cálculo, agregándole cuantificadores existenciales de modo de enfatizar las teorías de Henkin y para eliminar el problema de las variables compartidas. También definimos nuevas' reglas para la manipulación de los nuevos términos del lenguaje. La semántica denotacional del cálculo es presentada, así como también la demostración de la propiedad Church-Rosser (CR). Además probamos que las reglas de reducción son correctas y que la función semántica está bien definida.
Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Constraints
propiedad Church-Rosser
semántica denotacional
Cálculo λ
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24331
Acceder
id SEDICI_9f342e626a42eedc6983546c2c37af02
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24331
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Cálculo lambda de primer orden con constraints y la propiedad church-rosserCrossley, John N.Mandel, LuisWirsing, MartinCiencias InformáticasARTIFICIAL INTELLIGENCEConstraintspropiedad Church-Rossersemántica denotacionalCálculo λEn [2,3] fue presentada una extensión al tradicional cálculo lambda con constraints. Los constraints pueden ser usados con dos distintos propósitos: en una forma pasiva, restringiendo el rango de variables, o en forma activa comput.andp soluciones a determinados sistemas. Aquí presentamos una extensión de aquél cálculo, agregándole cuantificadores existenciales de modo de enfatizar las teorías de Henkin y para eliminar el problema de las variables compartidas. También definimos nuevas' reglas para la manipulación de los nuevos términos del lenguaje. La semántica denotacional del cálculo es presentada, así como también la demostración de la propiedad Church-Rosser (CR). Además probamos que las reglas de reducción son correctas y que la función semántica está bien definida.Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI)1995-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf493-504http://sedici.unlp.edu.ar/handle/10915/24331spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-22T16:37:22Zoai:sedici.unlp.edu.ar:10915/24331Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-22 16:37:22.838SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Cálculo lambda de primer orden con constraints y la propiedad church-rosser
title Cálculo lambda de primer orden con constraints y la propiedad church-rosser
spellingShingle Cálculo lambda de primer orden con constraints y la propiedad church-rosser
Crossley, John N.
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Constraints
propiedad Church-Rosser
semántica denotacional
Cálculo λ
title_short Cálculo lambda de primer orden con constraints y la propiedad church-rosser
title_full Cálculo lambda de primer orden con constraints y la propiedad church-rosser
title_fullStr Cálculo lambda de primer orden con constraints y la propiedad church-rosser
title_full_unstemmed Cálculo lambda de primer orden con constraints y la propiedad church-rosser
title_sort Cálculo lambda de primer orden con constraints y la propiedad church-rosser
dc.creator.none.fl_str_mv Crossley, John N.
Mandel, Luis
Wirsing, Martin
author Crossley, John N.
author_facet Crossley, John N.
Mandel, Luis
Wirsing, Martin
author_role author
author2 Mandel, Luis
Wirsing, Martin
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Constraints
propiedad Church-Rosser
semántica denotacional
Cálculo λ
topic Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Constraints
propiedad Church-Rosser
semántica denotacional
Cálculo λ
dc.description.none.fl_txt_mv En [2,3] fue presentada una extensión al tradicional cálculo lambda con constraints. Los constraints pueden ser usados con dos distintos propósitos: en una forma pasiva, restringiendo el rango de variables, o en forma activa comput.andp soluciones a determinados sistemas. Aquí presentamos una extensión de aquél cálculo, agregándole cuantificadores existenciales de modo de enfatizar las teorías de Henkin y para eliminar el problema de las variables compartidas. También definimos nuevas' reglas para la manipulación de los nuevos términos del lenguaje. La semántica denotacional del cálculo es presentada, así como también la demostración de la propiedad Church-Rosser (CR). Además probamos que las reglas de reducción son correctas y que la función semántica está bien definida.
Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial
Red de Universidades con Carreras en Informática (RedUNCI)
description En [2,3] fue presentada una extensión al tradicional cálculo lambda con constraints. Los constraints pueden ser usados con dos distintos propósitos: en una forma pasiva, restringiendo el rango de variables, o en forma activa comput.andp soluciones a determinados sistemas. Aquí presentamos una extensión de aquél cálculo, agregándole cuantificadores existenciales de modo de enfatizar las teorías de Henkin y para eliminar el problema de las variables compartidas. También definimos nuevas' reglas para la manipulación de los nuevos términos del lenguaje. La semántica denotacional del cálculo es presentada, así como también la demostración de la propiedad Church-Rosser (CR). Además probamos que las reglas de reducción son correctas y que la función semántica está bien definida.
publishDate 1995
dc.date.none.fl_str_mv 1995-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/24331
url http://sedici.unlp.edu.ar/handle/10915/24331
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
493-504
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846782835865681920
score 12.982451

Publicaciones similares