Applying Probabilistic Models For Knowledge Diagnosis And Educational Game Design