An Incompleteness Result for Deductive Synthesis of Logic Programs
|
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
|
|
|
An Incompleteness Result for Deductive Synthesis of Logic Programs
|
| Id. |
41560975 |
| Idioma |
inglés
|
| Titulo |
An Incompleteness Result for Deductive Synthesis of Logic Programs |
| Autor(es) |
Kung-kiu Lau,Mario Ornaghi
|
| Localización |
http://citeseer.ist.psu.edu/126878.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We formalise the derivation of logic programs from their specifications by
deductive synthesis, and introduce the notion of uniform equivalence between
logical systems. This enables us to present an incompleteness result for
deductive synthesis of logic programs from first-order logic specifications.
1 Introduction
Logic program synthesis was studied by some researchers in the early days of
logic programming. Most notable among these are Clark, Hansson, Hogger,
and Tarnlund. Automated (or semi-automated) synthesis, however, has only
received serious attention much more recently. A preliminary survey, in the
form of a catalogue, of logic program synthesis methods can be found in [8].
The goal of logic program synthesis is to systematically derive logic programs
from their specifications. For example, in the proofs-as-programs approach,
the specification takes the form of a theorem (or more accurately a
conjecture) stating the existence of the required output for any legitimate
input; a...
|
| Tipo |
ps
|
| Palabras clave |
Kung-kiu Lau,Mario Ornaghi An Incompleteness Result for Deductive Synthesis of Logic Programs
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cs.man.ac.uk/~kung-kiu/pub/iclp93.ps.gz
[References] oai:CiteSeerPSU:140240
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
