A New Fixed-Point Theorem for Logic Programming Semantics
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A New Fixed-Point Theorem for Logic Programming Semantics
|
| Id. |
46560212 |
| Idioma |
inglés
|
| Titulo |
A New Fixed-Point Theorem for Logic Programming Semantics |
| Autor(es) |
Pascal Hitzler
Anthony K. Seda
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.9163
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We present a new fixed-point theorem akin to the Banach contraction mapping theorem, but in the context of a novel notion of generalized metric space, and show how it can be applied to analyse the denotational semantics of certain logic programs. The theorem is obtained by generalizing a theorem of Priess-Crampe and Ribenboim, which grew out of applications within valuation theory, but is also inspired by a theorem of S.G. Matthews which grew out of applications to conventional programming language semantics. The class of programs to which we apply our theorem was defined previously by us in terms of operators using three-valued logics. However, the new treatment we provide here is short and intuitive, and provides further evidence that metriclike structures are an appropriate setting for the study of logic programming semantics. Keywords: Logic Programming, Denotational Semantics, Supported Model, Generalized Metric, Fixed-point Theorem Introduction One advantage possessed by a log...
|
| Tipo |
application/postscript
|
| Palabras clave |
Logic Programming
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://ogham.ucc.ie/~pascal/sci2000.ps.gz
[References] 10.1.1.21.8802
[References] 10.1.1.37.291
[References] 10.1.1.29.158
[References] 10.1.1.37.937
[References] 10.1.1.86.6542
[References] 10.1.1.29.2269
|
| Fecha de contribución |
30-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
