Synthesis of procedural models for deterministic transition systems
Mostra el registre complet Registre parcial de l'ítem
- dc.contributor.author Segovia-Aguas, Javier
- dc.contributor.author Ferrer Mestres, Jonathan
- dc.contributor.author Sergio, Jiménez
- dc.date.accessioned 2025-05-26T07:14:40Z
- dc.date.available 2025-05-26T07:14:40Z
- dc.date.issued 2023
- dc.description Comunicació presentada a la 26th European Conference on Artificial Intelligence, celebrada del 30 de setembre al 4 d'octubre de 2023 a Kraków, Poland.
- dc.description.abstract This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts different target languages for modeling the state-transitions of a discrete system; different model acquisition tasks with different target languages, such as the synthesis of STRIPS action models, or the update rule of a cellular automaton, fit as particular instances of our general approach. We follow an inductive approach to synthesis meaning that a set of examples of state-transitions, represented as (pre-state, action, post-state) tuples, are given as input. The goal is to synthesize a structured program that, when executed on a given pre-state, outputs its associated post-state. Our synthesis method implements a combinatorial search in the space of well-structured terminating programs that can be built using a Random-Access Machine (RAM), with a minimalist instruction set, and a finite amount of memory. The combinatorial search is guided with functions that asses the complexity of the candidate programs, as well as their fitness to the given input set of examples.en
- dc.description.sponsorship This work is supported by the H2020 AIPLAN4EU project #101016442. Javier Segovia-Aguas is funded by TAILOR, AGAUR SGR and the Spanish grant PID2019-108141GB-I00. Jonathan Ferrer-Mestres is supported by the CSIRO MLAI Future Science Platform. Sergio Jiménez is funded by the Spanish MINECO project PID2021-127647NB-C22.en
- dc.format.mimetype application/pdf
- dc.identifier.citation Segovia-Aguas J, Ferrer-Mestres J, Jiménez S. Synthesis of procedural models for deterministic transition systems. In: Gal K, Nowé A, Nalepa GJ, Fairstein R, Rădulescu R, editors. ECAI 2023: 26th European Conference on Artificial Intelligence; 2023 Sep 30 - Oct 4; Kraków, Poland. Amsterdam: IOS Press; 2023. p. 2081-8. DOI: 10.3233/FAIA230502
- dc.identifier.doi http://dx.doi.org/10.3233/FAIA230502
- dc.identifier.isbn 9781643684369
- dc.identifier.uri http://hdl.handle.net/10230/70494
- dc.language.iso eng
- dc.publisher IOS Press
- dc.relation.ispartof Gal K, Nowé A, Nalepa GJ, Fairstein R, Rădulescu R, editors. ECAI 2023: 26th European Conference on Artificial Intelligence; 2023 Sep 30 - Oct 4; Kraków, Poland. Amsterdam: IOS Press; 2023. p. 2081-8
- dc.relation.projectID info:eu-repo/grantAgreement/EC/H2020/101016442
- dc.relation.projectID info:eu-repo/grantAgreement/ES/2PE/PID2019-108141GB-I00
- dc.relation.projectID info:eu-repo/grantAgreement/ES/2PE/PID2021-127647NB-C22
- dc.rights © 2023 The Authors. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0).
- dc.rights.accessRights info:eu-repo/semantics/openAccess
- dc.rights.uri http://creativecommons.org/licenses/by-nc/4.0/
- dc.subject.other Programació estructuradaca
- dc.subject.other Programació (Ordinadors)ca
- dc.subject.other Llenguatges de modelat (Informàtica)ca
- dc.title Synthesis of procedural models for deterministic transition systemsen
- dc.type info:eu-repo/semantics/conferenceObject
- dc.type.version info:eu-repo/semantics/publishedVersion