Mostra el registre d'ítem simple
A neural implementation of multi-adjoint logic programs via sf-homogenization
dc.contributor.author | Medina Moreno, Jesús |
dc.contributor.author | Mérida-Casermeiro, Enrique |
dc.contributor.author | Ojeda Aciego, Manuel |
dc.date.accessioned | 2006-06-13T16:45:05Z |
dc.date.available | 2006-06-13T16:45:05Z |
dc.date.issued | 2005 |
dc.identifier.issn | 1134-5632 |
dc.identifier.uri | http://hdl.handle.net/2099/1832 |
dc.description.abstract | A generalization of the homogenization process needed for the neural im- plementation of multi-adjoint logic programming (a unifying theory to deal with uncertainty, imprecise data or incomplete information) is presented here. The idea is to allow to represent a more general family of adjoint pairs, but maintaining the advantage of the existing implementation recently introduced in [6]. The soundness of the transformation is proved and its complexity is analysed. In addition, the corresponding generalization of the neural-like implementation of the fixed point semantics of multi-adjoint is presented. |
dc.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica |
dc.relation.ispartof | Mathware & soft computing, 2005, vol. 12, núm. 3 |
dc.rights | Reconeixement-NoComercial-CompartirIgual 3.0 Espanya |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject.other | Logic programming |
dc.subject.other | Neural implementation |
dc.title | A neural implementation of multi-adjoint logic programs via sf-homogenization |
dc.type | Article |
dc.subject.lemac | Informàtica -- Matemàtica |
dc.subject.lemac | Programació lògica |
dc.subject.lemac | Xarxes neuronals (Informàtica) |
dc.subject.ams | Classificació AMS::68 Computer science::68R Discrete mathematics in relation to computer science |
dc.rights.access | Open Access |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
2005, Vol. XII, Núm. 2-3 [11]
ESTYLF'04