{"action":"created","issue":{"url":"https://api.github.com/repos/LearnLib/learnlib/issues/42","repository_url":"https://api.github.com/repos/LearnLib/learnlib","labels_url":"https://api.github.com/repos/LearnLib/learnlib/issues/42/labels{/name}","comments_url":"https://api.github.com/repos/LearnLib/learnlib/issues/42/comments","events_url":"https://api.github.com/repos/LearnLib/learnlib/issues/42/events","html_url":"https://github.com/LearnLib/learnlib/issues/42","id":177715514,"number":42,"title":"Serializing learning data structures","user":{"login":"Jaxan","id":272545,"avatar_url":"https://avatars3.githubusercontent.com/u/272545?v=4","gravatar_id":"","url":"https://api.github.com/users/Jaxan","html_url":"https://github.com/Jaxan","followers_url":"https://api.github.com/users/Jaxan/followers","following_url":"https://api.github.com/users/Jaxan/following{/other_user}","gists_url":"https://api.github.com/users/Jaxan/gists{/gist_id}","starred_url":"https://api.github.com/users/Jaxan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Jaxan/subscriptions","organizations_url":"https://api.github.com/users/Jaxan/orgs","repos_url":"https://api.github.com/users/Jaxan/repos","events_url":"https://api.github.com/users/Jaxan/events{/privacy}","received_events_url":"https://api.github.com/users/Jaxan/received_events","type":"User","site_admin":false},"labels":[{"id":40335155,"url":"https://api.github.com/repos/LearnLib/learnlib/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":9,"created_at":"2016-09-19T07:00:14Z","updated_at":"2017-09-06T09:40:36Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"Hi all,\n\nSometimes during learning, the setup may crash, or it is run on a server which has to reboot. In these cases we have to rerun the whole learning algorithm. It may take a long time to come back to the hypothesis we had before the crash. We might reuse a bit from the previous hypothesis (it can act like a cache and we can find counter examples with it), but the learning algorithm will still pose queries from start.\n\nIs it possible to serialize the state of the learning algorithm?\n\nIf not, what can I do to improve the situation? I think for L*-based algorithms, it shouldn't be too hard (just (de)serialize the observation table).\n"},"comment":{"url":"https://api.github.com/repos/LearnLib/learnlib/issues/comments/327431721","html_url":"https://github.com/LearnLib/learnlib/issues/42#issuecomment-327431721","issue_url":"https://api.github.com/repos/LearnLib/learnlib/issues/42","id":327431721,"user":{"login":"mtf90","id":7063944,"avatar_url":"https://avatars0.githubusercontent.com/u/7063944?v=4","gravatar_id":"","url":"https://api.github.com/users/mtf90","html_url":"https://github.com/mtf90","followers_url":"https://api.github.com/users/mtf90/followers","following_url":"https://api.github.com/users/mtf90/following{/other_user}","gists_url":"https://api.github.com/users/mtf90/gists{/gist_id}","starred_url":"https://api.github.com/users/mtf90/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mtf90/subscriptions","organizations_url":"https://api.github.com/users/mtf90/orgs","repos_url":"https://api.github.com/users/mtf90/repos","events_url":"https://api.github.com/users/mtf90/events{/privacy}","received_events_url":"https://api.github.com/users/mtf90/received_events","type":"User","site_admin":false},"created_at":"2017-09-06T09:40:36Z","updated_at":"2017-09-06T09:40:36Z","author_association":"CONTRIBUTOR","body":"Dear all,\r\n\r\nin the past weeks/months we have added the `ResumableLearner` interface and made most of the learning algorithms implement it. It allows you to extract the state of the learning process after each successful refinement step and resume from that snapshot (see the unit tests for an example).\r\n\r\nAny feedback about this API/functionality is appreciated. Otherwise I will close this ticket in the near future."}}
{"actor":{"display_login":"mtf90"}}