Computation of normal logic programs by fibring neural networks
|
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
|
|
|
Computation of normal logic programs by fibring neural networks
|
| Id. |
47336748 |
| Idioma |
inglés
|
| Titulo |
Computation of normal logic programs by fibring neural networks |
| Autor(es) |
Vladimir Komendantsky
Anthony Seda
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.8875
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. In this paper, we develop a theory of the integration of fibring neural networks (a generalization of conventional neural networks) into model-theoretic semantics for logic programming. We present some ideas and results about the approximate computation by fibring neural networks of semantic immediate consequence operators TP and TP, where TP denotes a generalization of TP relative to a many-valued logic analogous to Kleene’s strong logic. We establish a minimalfixed-point semantics for normal logic programs somewhat analogous to the leastfixed-point semantics for definite logic programs. We argue that the class of logic programs for which the approximation by fibring neural networks may be employed to compute minimal fixed points of TP and of TP is the class of normal programs. Our theorems on the approximation of TP and TP for normal programs extend recent results on approximation of these operators for definite programs by conventional neural networks.
|
| Tipo |
application/pdf
|
| Palabras clave |
logic programs
|
| 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/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.bcri.ucc.ie/BCRI_56.pdf
[References] 10.1.1.24.6050
[References] 10.1.1.40.1962
[References] 10.1.1.32.9680
[References] 10.1.1.3.9885
[References] 10.1.1.17.3712
[References] 10.1.1.59.9901
[References] 10.1.1.59.7251
[References] 10.1.1.132.2764
[References] 10.1.1.59.9824
|
| Fecha de contribución |
01-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
