1707.09430v1

## Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms Christian A. Hammerschmidt 1 Radu State 1 Sicco Verwer 2 ## Abstract We present an interactive version of an evidencedriven 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. ## 1. Introduction Automata, and finite state machines in particular, have long been a formal model used in computer science to designing software and analyzing computer systems themselves (Lee & Yannakakis, 1996). Our knowledge about automata models comes from different source: Firstly, we have studied formal systems in detail and understand them as algebraic systems we can pose decision problems about. Secondly, we have experience lots experience applying them as a model language. In learning, these tasks are done inversely to recover, reverse-engineer, or understand an unknown data source, typically a communication protocol or software controller. The automata models themselves are also seen as suitable to gain epistemic insight into the system of interest (Hammerschmidt et al., 2016; Vaandrager, 2017) for humans beyond learning models that minimize a given error function, or are used in model checkers for formal analysis. 1 University of Luxembourg 2 Delft Technical University. Correspondence to: Christian A. Hammerschmidt < christian.hammerschmidt@uni.lu > . Presented at the Human in the Loop workshop at the 34 th International Conference on Machine Learning , Sydney, Australia, 2017. Copyright 2017 by the author(s). And while we understand the theory of learning automata fairly well, e.g. via learnability results and convergence guarantees, there is a disconnect between the theory of learning algorithms on one side, and domain experts using automata as a modeling language on the other side. How can we bring the two sides together? We propose an interactive version of a learning algorithm with immediate graphical output at each step. This process brings reverse engineering closer to an iterative design process while guiding the process using state-of-the-art heuristics and algorithms. In Section 2, we briefly introduce finite state machines as automata models and outline learning approaches. In 3, we outline our algorithm and provide a small example outlining how our modification is useful. We conclude in Section 4 with an outlook and future work. ## 2. Preliminaries ## 2.1. Automata Models and Finite Automata The models we consider are variants of deterministic finite state automata, or finite state machines. We provide a conceptual introduction here, and refer to literature for a thorough introduction (Hopcroft et al., 2013). An automaton consists of a set of states, connected by transitions labeled over an alphabet. There is a special start-state where all computations begin, and and a set of final states where computation ends. It is said to accept a word (string) over the alphabet in a computation if there exists a path of transitions from a predefined start state to one of the predefined final states, using transitions labeled with the letters of the word. Automata are called deterministic when there exists exactly one such path for every possible string. Probabilistic automata include probability values on transitions and compute word probabilities using the product of these values along a path, similar to hidden Markov models, rather than having final states. A Mealy machine is a deterministic finite automata that produces an output at each step. ## 2.2. Learning Approaches Learning automata models, and in particular finite state machines, has long been of interest in the field of grammar induction. While the problem can be solved exactly (see (Heule & Verwer, 2012)), it is NP-complete. There are two main classes of learning approaches: active learning and passive learning approaches. In an active setting, the active learner is given the opportunity to interact with an oracle (or teacher) to ask questions about her current hypothesis of the model. Depending on the type of query and answers given by the oracle, different learnability results and algorithms can be obtained (Heinz & Sempere, 2016). The L ∗ algorithm is a successful active learner (Angluin, 1987). In contrast, the learner in a passive setting has no oracle to interact with. Rather, he is given a fixed set of training data to learn from. In learning stochastic automata, methods based on the methods of moments as well as spectral learning algorithms have been studied (Balle et al., 2014). In Dupont et al. (2008), the authors combine active and passive approaches by asking a user membership queries during a state-merging process. State-merging algorithms have been very successful in learning probabilistic as well as non-probabilistic automata, and trace back to Oncina & Garcia (1992). Recent state-of-the-art algorithms base on insights from Lang (1998); Verwer et al. (2014). We explain the generic algorithm and our modification in the next section. ## 3. State-Merging and Interactive State-Merging The starting point for state-merging algorithms is the construction of a tree-shaped automaton from a set of words, the input sample. This initial automaton is called augmented prefix tree acceptor (APTA). It contains all sequences from the input sample, with each sequence element as a directed labeled transition, and states are added to the beginning, end, and between each symbol of the sequence. Two samples share a path in the tree if they share a prefix. The state-merging algorithm reduces the size of the automaton iteratively by merging pairs of states in the model, and forcing the result to be deterministic. The choice of the pairs, and the evaluation of a merge is made heuristically: Each possible merge is evaluated and scored, and the highest scoring merge is executed. This process is repeated and stops if no merges with high scores are possible. These merges generalize the model beyond the samples from the training set: the starting prefix tree is already an acyclic finite automaton. It has a finite set of computations, accepting all words from the training set. Merges can make the resulting automaton cyclic. Automata with cycles accept an infinite set of words. State-merging algorithms generalize by identifying repetitive patterns in the input sample and creating appropriate cycles via merges. Intuitively, the heuristic tries to accomplish this generaliza- tion by identifying pairs of states that have similar future behaviors. In a probabilistic setting, this similarity might be measured by similarity of the empirical probability distributions over the outgoing transition labels. In grammar inference, heuristics rely on occurrence information and the identity of symbols, or use global model selection criteria to calculate merge scores. Finally, the state-merging process as well as the heuristic are controlled by a number of parameters. The general outline of the algorithm is the same as in Algorithm 1, although the user prompt needs to be replaced with execution of the highest scoring merge. ## 3.1. An Interactive Algorithm Algorithm 1 shows the modified interactive algorithm: Instead of automatically executing the best merge, the graphical visualization of the current model is displayed and the list of possible merges is displayed. The user can choose which of the possible merges to execute by typing its number in the sorted list of possible merges, to backtrack by one step using UNDO , to restart using RESTART , or to automatically execute the next n best merges using LEAP n . Moreover, she can change some global parameter of the algorithm using SET param and see the impact on the proposed merges. Lastly, she can add additional consistency constraints or force merges using the INSERT and FORCE commands. The order of the proposed merges follows the machine learning heuristic. Choosing the first/top merge prosed will lead to the same solution as a single batch-run of the algorithm. The source code for our C++ implementation (as part of out flexfringe tool (Verwer & Hammerschmidt, 2017)) is available in our repository 1 . In our implementation, the algorithm keeps a stack of executed merges and a list of currently possible merges to store the current state of the algorithm. Based on these data structures, the user has full control over the state-merging process. Additionally, we output the visualization for the last two steps for visual inspection. ## 3.2. Example Use Case We illustrate the benefits of the interactive mode in a small example: The task is to recover the Mealy machine in Figure 1 from traces sampled from it. 2 Running an Mealy machine heuristic on 1000 sequences sampled from the model in batch mode yields a wrong 1 https://bitbucket.org/chrshmmmr/dfasat/ src/?at=development 2 For the batch version of our algorithm, this example is provided in an Jupyter notebook environment, see http:// automatonlearning.net/2016/11/04/a-passiveautomata-learning-tutorial-with-dfasat/ Figure 1. The original and fully recovered model of our example use case. State #3443 is the start state. The transitions are annotated with input:output symbols. <details> <summary>Image 1 Details</summary>  ### Visual Description ## State Transition Diagram: Protein-Protein Interaction Network ### Overview The image is a state transition diagram representing a protein-protein interaction network. Nodes represent proteins (identified by numerical IDs), and directed edges represent interactions between them. Each edge is labeled with the type of interaction or modification occurring between the connected proteins. ### Components/Axes * **Nodes:** Represented as circles, each containing a numerical identifier (e.g., #3443, #310, #314, #6232, #866, #442, #262). * **Edges:** Represented as directed arrows, indicating the direction of interaction. Each edge is labeled with interaction types (e.g., "all:la", "lr1:lrC", "pfr:rp"). * **Labels:** Textual annotations associated with nodes and edges, describing protein IDs and interaction types. ### Detailed Analysis Here's a breakdown of the connections and labels: * **Node #3443 (Top Center):** * Has a self-loop labeled "all:la", "ssc:none", "spl:none". * Has outgoing edges to: * #310, labeled "al:none". * #314, labeled "al2:none", "pfr1:none". * #6232, labeled "sp2:li+ps", "sp1:ps". * #866, labeled "lr1:lrC". * #442, labeled "none:ps", "li2:ps". * **Node #6232 (Right Center):** * Has a self-loop labeled "stap1:none", "spar2:lb", "stap2:lb", "spar1:none". * Also labeled with: "cscs:none", "pbl:none", "map2:pT", "psc:none", "csch:none", "oc2:oR", "map1:pF", "li:none", "oll:oA", "csl:none", "rbc:none", "orl:oA", "rbl:none", "spl:none", "oe2:oR", "oc1:oA", "ppl:none", "oe1:oA", "lb:none", "ol2:oR", "or2:oR". * Has an outgoing edge to #866, labeled "pfr2:rp". * **Node #310 (Left Center):** * Has an outgoing edge to #866, labeled "none:rp". * **Node #314 (Center):** * Has an outgoing edge to #866, labeled "pfr:rp". * **Node #442 (Bottom Center):** * Has a self-loop labeled "li:none", "lb:none". * Has an outgoing edge to #262, labeled "lr2:none". * **Node #866 (Bottom Left):** * Has an outgoing edge to #3443, labeled "none:lrC". * **Node #262 (Bottom Right):** * No outgoing edges are visible. ### Key Observations * Node #3443 appears to be a central node, with connections to most other nodes in the network. * Node #6232 has a large number of labels associated with it, suggesting it may represent a complex protein or a hub in the network. * The labels on the edges indicate different types of interactions or modifications between the proteins. ### Interpretation This diagram represents a protein-protein interaction network, where nodes are proteins and edges are interactions. The labels on the edges provide information about the type of interaction. The network structure suggests that protein #3443 may play a regulatory role, as it interacts with many other proteins. Protein #6232 also appears to be important, given the number of labels associated with it. The diagram could be used to understand the flow of information or signals through the network, and to identify potential targets for therapeutic intervention. The "none" labels may indicate a lack of a specific interaction or modification. The labels ending in "la", "lb", "lrc", "rp", "ps", "pT", "pF", "oA", "oR" may indicate specific types of modifications or interactions. </details> model, depicted in Figure 2 3 . Our state-merging algorithm outputs the following sequence of merges and extends: m147 m182 m207 m10 m58 m79 m98 m47 m69 m62 m54 m57 m69 m71 m70 m83 m81 m97 m104 m117 m144 m158 m181 m221 m254 m305 m343 m413 m539 m119 x162 m264 m259 m0 m1036 m0 x61 m343 m42 m695 m780 There are two types of operations in the algorithm: merges and extensions. The letter m , e.g. m 147 , indicates operation executed was a merge (e.g. with score of 147 ). The letter x indicates and extension, e.g. x 169 indicates that a blue state occurring 169 times was inconsistent with all red states, and no merge could be executed. It therefore is color red. Better evidence, indicated by higher scores and higher occurrence counts, typically leads to better models. Two merges in the sequence above have an evidence of 0. This indicates that despite the lack of evidence for the inconsistency of the merge, there is also little evidence for the merge to be a good choice. Such merges can lead to over-generalization. A common strategy to deal with this situation, which can occur e.g. due to the lack of sufficient training data or under-sampling specific paths in the model, is to adjust parameters of the statemerger or the heuristic by setting a lower bound on the required merge score and re-running the batch algorithm to resolve further issues 4 . But this is not the only possible parameter to adjust: Other strategies involve changing the relevancy threshold that ig- 3 To reproduce, run ./flexfringe -heuristic-name mealy -data-name mealy data -sinkson 1 -satdfabound 2000 data/original/traces1000.txt on the data in the repository. 4 To reproduce the model in batch mode, run ./flexfringe - nore traces with low counts (which often can indicate the presence of noise in the collected data). In our interactive version, a domain expert can immediately react when a merge with lower score is proposed (even without a visual inspection): She can choose to change the thresholds (commands SET state count or SET symbol count ), but they do not change the proposed merges. The expert can decide to exclude the merge by setting a lower bound ( SET lower bound 10), and possible use to restart and leap back to the position of the merge in question. The resulting model, after executing all following proposed merges is the correct model (as depicted in Figure 1) 5 . In contrast, running the algorithm in batch mode would have required to re-run the complete algorithm multiple times, and comparing the sequence of merges done without the ability to draw up a list of alternative merges for each step. Figure 2. State #11293 is the start state. The transitions are annotated with input:output symbols. The . . . indicate 30 more input-output pairs on the transition. The model overgeneralizes by merging states together despite low evidence of similarity. <details> <summary>Image 2 Details</summary>  ### Visual Description ## Diagram: Dependency Graph ### Overview The image depicts a dependency graph with nodes representing entities (likely code modules or functions) and directed edges indicating dependencies between them. The central node, labeled "#11293", has dependencies on nodes "#314" and "#262". The diagram also includes annotations describing the nature of these dependencies. ### Components/Axes * **Nodes:** Represented by a square ("#11293") and ovals ("#314", "#262"). * **Edges:** Directed arrows indicating dependencies. * **Annotations:** Textual labels associated with nodes and edges, describing the nature of the dependencies. ### Detailed Analysis * **Central Node:** The square node labeled "#11293" is the central element. It has outgoing edges to nodes "#314" and "#262", and a self-loop. * **Node #314:** An oval node labeled "#314". It has an incoming edge from "#11293". The edge is labeled "(pfr1:none/none:rp)". * **Node #262:** An oval node labeled "#262". It has an incoming edge from "#11293". The edge is labeled "lr2:none none:lrC". * **Self-Loop on #11293:** A curved arrow loops from "#11293" back to itself. It is associated with the following annotations: * "all:la" * "stap1:none" * "cscs:none" * "sp2:li+ps" * "spar2:lb" * "pbl:none" * "..." (indicating more annotations may be present but not fully visible) ### Key Observations * Node "#11293" is a central element with dependencies on "#314" and "#262". * The annotations provide information about the specific nature of the dependencies, using key-value pairs (e.g., "pfr1:none"). * The self-loop on "#11293" suggests a recursive or iterative process within that entity. ### Interpretation The diagram represents a simplified dependency structure, possibly within a software system or a computational process. The annotations provide context about the types of dependencies and their properties. The "none" values suggest that certain dependency attributes are not present or are null. The self-loop on "#11293" indicates a self-referential relationship, which could represent a recursive function call or an iterative process. The "..." suggests that the diagram is not exhaustive and that more dependencies or attributes may exist. </details> ## 4. Conclusion & Future Work Our experience indicates that a hybrid mode between manual and fully automatic decision is most useful: Especially in cases of large training files (and therefore large initial models which are hard to use visually), automating all decisions until a specific criterion is met (e.g. the best proposed score is below a given threshold, or n merges are executed) takes some burden off the human domain expert while still allowing intervention when necessary. By following the suggestions of the heuristic, the expert can retain learnability guarantees from batch learning algorithms. We have not yet conducted a (formal) analysis to quantify the benefits of interactivity in terms of convergence speed. In Lambeau et al. (2008), the authors experimentally showcase the positive effect of mandatory merge constraints. Similar information, and thus benefits, are provided by the interaction proposed here. Domain expert can implicitly act as a teacher or oracle active learning, bringing together elements from both active and passive learning approaches to automata. heuristic-name mealy -data-name mealy data -state count 15 symbol count 5 -sinkson 1 -satdfabound 2000 -lowerbound 50 data/original/traces1000.txt on the data in the repository. 5 To reproduce, run ./start.sh interactive-mealy.ini data/original/traces1000.txt from the repository, execute merges until the first m 0 , set lower bound 10 , restart , leap 35 , and execute all merges. ## Acknowledgements I would like to thank my collages for the valuable discussions and the feedback. /negationslash ``` ``` ## References - Angluin, Dana. Learning regular sets from queries and counterexamples. Information and computation , 75(2):87-106, 1987. - Balle, Borja, Carreras, Xavier, Luque, Franco M., and Quattoni, Ariadna. Spectral learning of weighted automata: A forwardbackward perspective. Machine Learning , 96(1-2):33-63, July 2014. ISSN 0885-6125, 1573-0565. doi: 10.1007/s10994-0135416-x. - Dupont, Pierre, Lambeau, Bernard, Damas, Christophe, and Lamsweerde, Axel van. THE QSM ALGORITHM AND ITS - APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION. Applied Artificial Intelligence , 22(1-2):77-115, February 2008. ISSN 0883-9514, 1087-6545. doi: 10.1080/ 08839510701853200. - Hammerschmidt, Christian Albert, Lin, Qin, Verwer, Sicco, and State, Radu. Interpreting Finite Automata for Sequential Data. arXiv:1611.07100 [cs, stat] , November 2016. arXiv: 1611.07100. - Heinz, Jeffrey and Sempere, Jos M. Topics in Grammatical Inference . Springer, 2016. - Heule, Marijn J. H. and Verwer, Sicco. Software model synthesis using satisfiability solvers. Empirical Software Engineering , 18(4):825-856, August 2012. ISSN 1382-3256, 1573-7616. doi: 10.1007/s10664-012-9222-z. - Hopcroft, John E., Motwani, Rajeev, and Ullman, Jeffrey D. Introduction to Automata Theory, Languages, and Computation . Pearson, Harlow, Essex, pearson new international edition edition, November 2013. ISBN 978-1-292-03905-3. - Lambeau, Bernard, Damas, Christophe, and Dupont, Pierre. State-merging DFA induction algorithms with mandatory merge constraints. Grammatical Inference: Algorithms and Applications , pp. 139-153, 2008. Lang, K. Evidence driven state merging with search. 1998. - Lee, D. and Yannakakis, M. Principles and methods of testing finite state machines-a survey. Proceedings of the IEEE , 84(8): 1090-1123, August 1996. ISSN 0018-9219. doi: 10.1109/5. 533956. - Oncina, Jose and Garcia, Pedro. Identifying Regular Languages In Polynomial Time. In Advances in ... , pp. 99-108. World Scientific, 1992. - Vaandrager, Frits. Model Learning. Commun. ACM , 60(2):86-95, January 2017. ISSN 0001-0782. doi: 10.1145/2967606. - Verwer, Sicco, Eyraud, Rmi, and De La Higuera, Colin. PAutomaC: a probabilistic automata and hidden Markov models learning competition. Machine learning , 96(1-2):129-154, 2014. - Verwer, Sicco E. and Hammerschmidt, Christian A. flexfringe: A Passive Automaton Learning Package. September 2017.