A Markovian Formalism for Active Querying. - Sid Ijju (CoRR, 2023)