Mostrar el registro sencillo del ítem
dc.contributor.author | Segovia-Aguas, Javier | es_ES |
dc.contributor.author | Jiménez-Celorrio, Sergio | es_ES |
dc.contributor.author | Jonsson, Anders | es_ES |
dc.date.accessioned | 2022-01-19T09:17:27Z | |
dc.date.available | 2022-01-19T09:17:27Z | |
dc.date.issued | 2020-02-12 | es_ES |
dc.identifier.uri | http://hdl.handle.net/10251/179924 | |
dc.description.abstract | [EN] Generalized planning aims at computing an algorithm-like structure (generalized plan) that solves a set of multiple planning instances. In this paper we define negative examples for generalized planning as planning instances that must not be solved by a generalized plan. With this regard the paper extends the notion of validation of a generalized plan as the problem of verifying that a given generalized plan solves the set of input positives instances while it fails to solve a given input set of negative examples. This notion of plan validation allows us to define quantitative metrics to asses the generalization capacity of generalized plans. The paper also shows how to incorporate this new notion of plan validation into a compilation for plan synthesis that takes both positive and negative instances as input. Experiments show that incorporating negative examples can accelerate plan synthesis in several domains and leverage quantitative metrics to evaluate the generalization capacity of the synthesized plans. | es_ES |
dc.description.sponsorship | The research leading to these results has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement no. 731761, IMAGINE; and it is partially supported by grant TIN-2015- 67959 and the Maria de Maeztu Units of Excellence Programme MDM-2015-0502, MEC, Spain. Sergio Jimenez is supported by the Ramon y Cajal program, RYC-2015- 18009, the Spanish MINECO project TIN2017-88476-C2- 1-R, and the generalitat valenciana project GV/2019/082. Anders Jonsson is partially supported by the Spanish grants TIN2015-67959 and PCIN-2017-082. | es_ES |
dc.language | Inglés | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject.classification | CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL | es_ES |
dc.title | Generalized Planning with Positive and Negative Examples | es_ES |
dc.type | Comunicación en congreso | es_ES |
dc.identifier.doi | 10.1609/aaai.v34i06.6550 | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/TIN2017-88476-C2-1-R/ES/RECONOCIMIENTO DE ACTIVIDADES Y PLANIFICACION AUTOMATICA PARA EL DISEÑO DE ASISTENTES INTELIGENTES/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//GV%2F2019%2F082/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/EC/H2020/731761/EU/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//PCIN-2017-082/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//MDM-2015-0502/ES/DPTO. DE TECNOLOGÍAS DE LA INFORMACIÓN Y LAS COMUNICACIONES/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//RYC-2015-18009/ES/RYC-2015-18009/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//TIN2015-67959-P/ES/SOLUCIONADORES PARA LA INTELIGENCIA ARTIFICIAL GENERAL CON APLICACIONES/ | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.description.bibliographicCitation | Segovia-Aguas, J.; Jiménez-Celorrio, S.; Jonsson, A. (2020). Generalized Planning with Positive and Negative Examples. 9949-9956. https://doi.org/10.1609/aaai.v34i06.6550 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.conferencename | 34th Conference on Artificial Intelligence (AAAI 2020) | es_ES |
dc.relation.conferencedate | Febrero 07-12,2020 | es_ES |
dc.relation.conferenceplace | New York, USA | es_ES |
dc.relation.publisherversion | https://doi.org/10.1609/aaai.v34i06.6550 | es_ES |
dc.description.upvformatpinicio | 9949 | es_ES |
dc.description.upvformatpfin | 9956 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.relation.pasarela | S\404786 | es_ES |
dc.contributor.funder | European Commission | es_ES |
dc.contributor.funder | Generalitat Valenciana | es_ES |
dc.contributor.funder | Agencia Estatal de Investigación | es_ES |
dc.contributor.funder | Ministerio de Economía y Competitividad | es_ES |