Semánticas de punto fijo para programas anotados. Una realización por Mho-resolución
Fuente:
Redalyc
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Artículo científico |
| Langue: | es |
| Publié: |
Escuela Regional de Matemáticas
2008
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1876475239460765696 |
|---|---|
| author | Carlos Ernesto Ramírez |
| author_facet | Carlos Ernesto Ramírez |
| contents | Semánticas de punto fijo para programas anotados. Una realización por Mho-resolución Carlos Ernesto Ramírez Física, Astronomía y Matemáticas hiper resolución Puntos fijos lógicas anotadas programación lógica En programación lógica clásica, una de las herramientas conceptuales más poderosas consiste en la interpretación semántica de un conjunto de fórmulas como funciones sobre conjuntos ordenados con ciertas propiedades estructurales. Tales funciones en combinación con teoremas de punto fijos como el de Knaster-Tarsky permite resolver ecuaciones de definición en la semántica declarativa de un programa lógico, dando origen a una semántica completa para el programa. En este trabajo, a través de un operador de consecuencia basado en una técnica de hiper resolución anotada conocida como U-resolución, introducimos una semántica de punto fijo para programas lógicos anotados. 2008 artículo científico 0120-6788 https://www.redalyc.org/articulo.oa?id=46816208 es http://www.redalyc.org/revista.oa?id=468 Matemáticas: Enseñanza Universitaria application/pdf Escuela Regional de Matemáticas Matemáticas: Enseñanza Universitaria (Colombia) Num. 2 Vol.XVI |
| format | Artículo científico |
| id | redalyc_46816208 |
| institution | Redalyc |
| language | es |
| publishDate | 2008 |
| publisher | Escuela Regional de Matemáticas |
| spellingShingle | Semánticas de punto fijo para programas anotados. Una realización por Mho-resolución Carlos Ernesto Ramírez Física, Astronomía y Matemáticas hiper resolución Puntos fijos lógicas anotadas programación lógica Semánticas de punto fijo para programas anotados. Una realización por Mho-resolución Carlos Ernesto Ramírez Física, Astronomía y Matemáticas hiper resolución Puntos fijos lógicas anotadas programación lógica En programación lógica clásica, una de las herramientas conceptuales más poderosas consiste en la interpretación semántica de un conjunto de fórmulas como funciones sobre conjuntos ordenados con ciertas propiedades estructurales. Tales funciones en combinación con teoremas de punto fijos como el de Knaster-Tarsky permite resolver ecuaciones de definición en la semántica declarativa de un programa lógico, dando origen a una semántica completa para el programa. En este trabajo, a través de un operador de consecuencia basado en una técnica de hiper resolución anotada conocida como U-resolución, introducimos una semántica de punto fijo para programas lógicos anotados. 2008 artículo científico 0120-6788 https://www.redalyc.org/articulo.oa?id=46816208 es http://www.redalyc.org/revista.oa?id=468 Matemáticas: Enseñanza Universitaria application/pdf Escuela Regional de Matemáticas Matemáticas: Enseñanza Universitaria (Colombia) Num. 2 Vol.XVI |
| title | Semánticas de punto fijo para programas anotados. Una realización por Mho-resolución |
| topic | Física, Astronomía y Matemáticas hiper resolución Puntos fijos lógicas anotadas programación lógica |
| url | https://www.redalyc.org/articulo.oa?id=46816208 |