{"id":2804,"date":"2022-05-15T08:42:23","date_gmt":"2022-05-15T03:12:23","guid":{"rendered":"https:\/\/www.rangakrish.com\/?p=2804"},"modified":"2022-05-15T08:42:23","modified_gmt":"2022-05-15T03:12:23","slug":"students-assessment-advisor-in-prolog","status":"publish","type":"post","link":"https:\/\/www.rangakrish.com\/index.php\/2022\/05\/15\/students-assessment-advisor-in-prolog\/","title":{"rendered":"Students Assessment Advisor in Prolog"},"content":{"rendered":"

A close relative of mine teaches Maths to school students in different Grades. During a casual chat some time ago, he mentioned that he was trying to adopt an automated approach to selecting assignment problems based on each student’s performance so far. Obviously, there are many ways in which this can be done, but he outlined one approach that he felt would be effective for him.<\/p>\n

The basic idea is to come up with a hierarchy of “Concepts”<\/strong><\/em> (or core Topics<\/strong><\/em>) in Mathematics, and associate one such concept with each problem given to the students to solve. The hierarchy models “depends on<\/strong><\/em>” relationship showing how a concept “depends on”<\/strong><\/em> one or more other concepts. Thus, each problem attempted by a student would be directly or indirectly associated with one or more concepts. When students submit their assigments or exam papers, depending on the correct\/incorrect answers, it is possible to automatically infer which concepts need strengthening, and accordingly, which problems they should practise in future. A practical approach indeed.<\/p>\n

Of course, the challenge here is to come up with a Concept<\/strong><\/em> hierarchy (in theory, multiple hierarchies are possible) and design problems to map to these concepts. This requires serious effort.\u00a0<\/span><\/p>\n

In this article, I will show how this problem can be modelled in Prolog<\/strong><\/em>. Of course, I have simplified the model to convey the core idea instead of getting bogged down in too much of detail.<\/p>\n

Here is a simple (and partial) hierarchy:<\/p>\n

\"Concept<\/a>
Concept Dependencies<\/strong><\/figcaption><\/figure>\n

The arrows depict “depends on”<\/strong><\/em> relationship. Thus, for example,\u00a0 <\/span>in order to understand the concept of “Triangle”<\/strong><\/em>, one must be familiar with the concepts of “Straight Line”<\/strong><\/em> and “Pythogoras Theorem”<\/strong><\/em>.\u00a0<\/span><\/p>\n

As I hinted before, this specific hierarchy might be debatable, but in general, an acceptable hierarchy can be arrived at.<\/p>\n

How do we represent this model in Prolog<\/strong><\/em>? Here is what I have done:<\/p>\n

\"Modeling<\/a>
Modeling Concepts in Prolog<\/strong><\/figcaption><\/figure>\n

The first part in the above diagram captures the concepts hierarchy. The second part assumes the existence of different problems, each mapping directly to exactly one concept. For example, the problems “square-pblm1”<\/strong><\/em> and “square-pblm2”<\/strong><\/em> both test the concept of “square”<\/strong><\/em>.<\/p>\n

The following Prolog<\/strong><\/em> predicates show the core reasoning logic:<\/p>\n

\"Reasoning<\/a>
Reasoning in Prolog<\/strong><\/figcaption><\/figure>\n

Consider the notion of a particular student being weak in a concept. This is how we represent it in Prolog<\/strong><\/em>:<\/p>\n

A Student S<\/strong> is weak in a Concept C<\/strong> if:<\/em><\/span><\/p>\n

a) There is a problem P<\/strong>\u00a0that tests the concept C<\/strong>\u00a0and S<\/strong>\u00a0has solved P<\/strong>\u00a0incorrectly<\/em><\/span><\/p>\n

(OR)<\/em><\/span><\/p>\n

b) The student S<\/strong> is known to be weak in a concept C1<\/strong> and the concept C<\/strong> depends on knowing concept C1<\/strong><\/em><\/span><\/p>\n

I hope you get the idea. The other predicates work similarly.<\/p>\n

How can we recommend a set of problems for a student based on what he has solved so far? That and related logic is shown below:<\/p>\n

\"Logic<\/a>
Logic to Suggest Problems<\/strong><\/figcaption><\/figure>\n

I am sure you can understand the code above.<\/p>\n

After I completed the simple Prolog<\/strong><\/em> model, I decided to build a C#<\/strong><\/em>-based Win Forms<\/strong><\/em> application that can interact with the Prolog<\/strong><\/em> engine and provide a convenient UI to show how this works.\u00a0<\/span><\/p>\n

Here is one screenshot from the application:<\/p>\n

\"Example<\/a>
Example Analysis<\/strong><\/figcaption><\/figure>\n

Here, a student by name “Diana”<\/strong><\/em> has solved the “statistics-pblm”<\/strong><\/em> correctly, but not the “probability-pblm”<\/strong><\/em>. Based on this, the system concludes that Diana is strong in “Statistics”<\/strong><\/em>, but is weak in “Probability”<\/strong><\/em> and “Bayes Theorem”<\/strong><\/em>, and suggests the student to solve “bayestheorem-pblm”<\/strong><\/em>. The reason why the system infers that “Diana”<\/strong><\/em> is weak in “Bayes Theorem”<\/strong><\/em> is because the latter depends on “Probability”<\/strong><\/em> and “Diana”<\/strong><\/em> is known to be weak in this topic.<\/p>\n

Here is another example:<\/p>\n

\"Another<\/a>
Another Example<\/strong><\/figcaption><\/figure>\n

In the above case, “Square”<\/strong><\/em> is considered a weak concept for the student because, out of the two problems that exercise this concept, he got one right and the other wrong.<\/p>\n

I hope you can understand the approach I have taken to construct this model. To implement the idea completely requires considerable effort, but I am sure it is worth it.<\/p>\n

You can download my Prolog<\/strong><\/em> code from here<\/strong><\/em><\/a>. I used Sicstus Prolog 4.5.1<\/strong><\/em> <\/a>to implement the above.<\/p>\n

Have a nice weekend!<\/p>\n","protected":false},"excerpt":{"rendered":"

A close relative of mine teaches Maths to school students in different Grades. During a casual chat some time ago, he mentioned that he was trying to adopt an automated approach to selecting assignment problems based on each student’s performance so far. Obviously, there are many ways in which this can be done, but he […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[17,147],"tags":[322,148,321],"class_list":["post-2804","post","type-post","status-publish","format-standard","hentry","category-programming","category-prolog","tag-maths-concepts","tag-prolog","tag-student-assignment-checker"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p9OLnF-Je","jetpack-related-posts":[{"id":3555,"url":"https:\/\/www.rangakrish.com\/index.php\/2024\/11\/22\/multiobjective-optimization-moo-in-lisp-and-prolog\/","url_meta":{"origin":2804,"position":0},"title":"Multiobjective Optimization (MOO) in Lisp and Prolog","author":"admin","date":"November 22, 2024","format":false,"excerpt":"Recently I came across a nice article\u00a0by Jose Crespo, where the author stresses that the future of programming revolves around the application of math concepts such as Functor, Monads, Folds, etc. In addition, he argues that familiarity with C\/C++ is essential in this modern AI age. The author goes through\u2026","rel":"","context":"In "C++"","block_context":{"text":"C++","link":"https:\/\/www.rangakrish.com\/index.php\/category\/c\/"},"img":{"alt_text":"Lisp Code for Pareto Front","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2024\/11\/lisp-code-249x300.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":2922,"url":"https:\/\/www.rangakrish.com\/index.php\/2022\/10\/06\/why-learn-prolog\/","url_meta":{"origin":2804,"position":1},"title":"Why Learn Prolog?","author":"admin","date":"October 6, 2022","format":false,"excerpt":"There are several programming languages in use today and a simple google search will throw up interesting recommendations of a subset of these languages to learn, usually based on popularity ranking. As is expected, the popularity of a programming language varies over time and hence a language that was in\u2026","rel":"","context":"In "Programming"","block_context":{"text":"Programming","link":"https:\/\/www.rangakrish.com\/index.php\/category\/programming\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":3260,"url":"https:\/\/www.rangakrish.com\/index.php\/2023\/11\/26\/generating-polynomials-in-prolog\/","url_meta":{"origin":2804,"position":2},"title":"Generating Polynomials in Prolog","author":"admin","date":"November 26, 2023","format":false,"excerpt":"Polynomial is an important topic in High School maths curriculum. There are many online courses that explain the topic in great details with lots of examples and sample exercises. Wouldn\u2019t it be interesting if we can generate polynomials of given degree programmatically? It turns out that this is not such\u2026","rel":"","context":"In "Programming"","block_context":{"text":"Programming","link":"https:\/\/www.rangakrish.com\/index.php\/category\/programming\/"},"img":{"alt_text":"Generating Polynomials - Main Clauses","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2023\/11\/Code1-300x163.jpg?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2023\/11\/Code1-300x163.jpg?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2023\/11\/Code1-300x163.jpg?resize=525%2C300&ssl=1 1.5x"},"classes":[]},{"id":3573,"url":"https:\/\/www.rangakrish.com\/index.php\/2024\/12\/17\/using-prolog-to-solve-the-word-transformation-puzzle\/","url_meta":{"origin":2804,"position":3},"title":"Using Prolog to Solve the Word Transformation Puzzle","author":"admin","date":"December 17, 2024","format":false,"excerpt":"In today\u2019s article, I want to share an interesting word puzzle, and then show how to solve it in Prolog. Here is the puzzle: You are given two words of the same length. You have to transform the first word into the second word, by changing only one letter at\u2026","rel":"","context":"In "Programming"","block_context":{"text":"Programming","link":"https:\/\/www.rangakrish.com\/index.php\/category\/programming\/"},"img":{"alt_text":"Our Dictionary","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2024\/12\/prolog1-300x280.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":1650,"url":"https:\/\/www.rangakrish.com\/index.php\/2019\/07\/21\/custom-text-analysis-using-textrazors-prolog-engine\/","url_meta":{"origin":2804,"position":4},"title":"Custom Text Analysis Using TextRazor\u2019s Prolog Engine","author":"admin","date":"July 21, 2019","format":false,"excerpt":"This is the third part in the series on information extraction from unstructured text. In the first part, we saw how MeaningCloud\u00a0allows us to specify complex rules to identify custom categories through their Deep Categorization API. The second part\u00a0covered spaCy\u2019s\u00a0pattern matcher. Today, I would like to discuss how we can\u2026","rel":"","context":"In "LISP"","block_context":{"text":"LISP","link":"https:\/\/www.rangakrish.com\/index.php\/category\/lisp\/"},"img":{"alt_text":"Result of Processed Case","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2019\/07\/Output-1.jpg?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2019\/07\/Output-1.jpg?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2019\/07\/Output-1.jpg?resize=525%2C300&ssl=1 1.5x, https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2019\/07\/Output-1.jpg?resize=700%2C400&ssl=1 2x"},"classes":[]},{"id":1659,"url":"https:\/\/www.rangakrish.com\/index.php\/2019\/08\/04\/generating-poetry-in-prolog\/","url_meta":{"origin":2804,"position":5},"title":"Generating Poetry in Prolog","author":"admin","date":"August 4, 2019","format":false,"excerpt":"In an earlier article, I showed how we can generate poetry (with limitations, of course!) using my iLangGen framework. That implementation (in Lisp) made use of iLexicon, a large dictionary of English words, which I have been building over the years. I subsequently ported iLexicon to Prolog and it now\u2026","rel":"","context":"In "Natural Language Processing"","block_context":{"text":"Natural Language Processing","link":"https:\/\/www.rangakrish.com\/index.php\/category\/natural-language-processing\/"},"img":{"alt_text":"Generation Logic","src":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2019\/08\/Code3.jpg?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2019\/08\/Code3.jpg?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/www.rangakrish.com\/wp-content\/uploads\/2019\/08\/Code3.jpg?resize=525%2C300&ssl=1 1.5x"},"classes":[]}],"_links":{"self":[{"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/posts\/2804","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/comments?post=2804"}],"version-history":[{"count":0,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/posts\/2804\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/media?parent=2804"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/categories?post=2804"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.rangakrish.com\/index.php\/wp-json\/wp\/v2\/tags?post=2804"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}