Generalizing Programs via Subsumption

Gutiérrez Naranjo, Miguel Ángel; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín

doi:10.1007/978-3-540-45210-2_12

Ponencia

dc.creator	Gutiérrez Naranjo, Miguel Ángel	es
dc.creator	Alonso Jiménez, José Antonio	es
dc.creator	Borrego Díaz, Joaquín	es
dc.date.accessioned	2018-03-28T07:51:26Z
dc.date.available	2018-03-28T07:51:26Z
dc.date.issued	2003
dc.identifier.citation	Gutiérrez Naranjo, M.Á., Alonso Jiménez, J.A. y Borrego Díaz, J. (2003). Generalizing Programs via Subsumption. En EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory (115-126), Las Palmas de Gran Canaria, Spain: Springer.
dc.identifier.isbn	978-3-540-20221-9	es
dc.identifier.issn	0302-9743	es
dc.identifier.uri	https://hdl.handle.net/11441/71367
dc.description.abstract	In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a characterization of the subsumption relation in the following sense: The clause C 1 subsumes the clause C 2 iff C 1 can be reached from C 2 by applying these operators. We give a formalization of the closeness among clauses based on these operators and an algorithm to compute it as well as a bound for a quick estimation. We extend the operator to programs and we also get a characterization of the subsumption between programs. Finally, a weak metric is presented to compute the closeness among programs based on subsumption.	es
dc.description.sponsorship	Ministerio de Ciencia y Tecnología TIC 2000-1368-C03-0	es
dc.description.sponsorship	Junta de Andalucía TIC-137	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory (2003), p 115-126
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Generalizing Programs via Subsumption	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/submittedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial	es
dc.relation.projectID	TIC 2000-1368-C03-0	es
dc.relation.projectID	TIC-137	es
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007/978-3-540-45210-2_12	es
dc.identifier.doi	10.1007/978-3-540-45210-2_12	es
dc.contributor.group	Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento	es
idus.format.extent	12	es
dc.publication.initialPage	115	es
dc.publication.endPage	126	es
dc.eventtitle	EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory	es
dc.eventinstitution	Las Palmas de Gran Canaria, Spain	es
dc.relation.publicationplace	Berlín	es
dc.identifier.sisius	6514371	es
dc.contributor.funder	Ministerio de Ciencia y Tecnología (MCYT). España
dc.contributor.funder	Junta de Andalucía

Ficheros	Tamaño	Formato	Ver	Descripción
Generalizing Programs (1).pdf	270.6Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Ciencias de la Computación e Inteligencia Artificial)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional