Submitted on 28 Jul 2017
Human in the Loop: Interactive Passive Automata Learning via
Evidence-Driven State-Merging Algorithms
Christian A. Hammerschmidt, Radu State, Sicco Verwer
We present an interactive version of an evidence-driven state-merging (EDSM)
algorithm for learning variants of finite state automata. Learning these
automata often amounts to recovering or reverse engineering the model
generating the data despite noisy, incomplete, or imperfectly sampled data
sources rather than optimizing a purely numeric target function. Domain
expertise and human knowledge about the target domain can guide this process,
and typically is captured in parameter settings. Often, domain expertise is
subconscious and not expressed explicitly. Directly interacting with the
learning algorithm makes it easier to utilize this knowledge effectively.
https://arxiv.org/abs/1707.09430