Log-Based Behavioral System Model Inference Using Reinforcement Learning