search

AI-Planning / macq

Library for action model acquisition from state trace data.
MIT License
19 stars 5 forks source link

Automata-based generation #131

Open haz opened 3 years ago

haz commented 3 years ago

Given a DFA or NFA, generate traces that adhere to them (i.e., are accepting). Probably needs to exist as part of the PDDL generation, but utilities to check the automata against a trace can/should be generic.

haz commented 3 years ago

@brennancruse Suggestions on a simple FSA library? Should we roll our own?

brennancruse commented 3 years ago

The best I could find is Spot, but it's designed for C++, so not so easy to get going in Python. The demo UI here, might give a good idea of something for us to work towards though. Another popular option is LTL2BA, which also has an online UI here and a solid Java interface too, but again not Python. I did however find this library which seems to be an implementation of LTL2BA in Python, but I believe I ran into several bugs trying to get it to run a while back. So overall, nothing existing that stands out, but that last one might have branch potential. Let me know what you think.

haz commented 3 years ago

Hrmz...what about just a pure FSA lib? Create, monitor, etc. functionality. I.e., we take the LTL conversion off the table. Anything in that space?