++ a collection of demo programs for the course

Copyright (C) 2003 for all programs: Wolfgang Menzel, Universität Hamburg

All programs are free software; you can redistribute them and/or modify them under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

Warning: All programs on this site are intended for demonstration and teaching purposes only. They come with absolutely no warranty and should not be used unmodified for any production system. I am absolutely sure that they are buggy!

Suggestions for improvement are always welcome!

• instance based exercises

• • instance11a.pl: a simple agreement exercise, only a single correct answer, calls inst_diag.pl

• • instance11b.pl: a simple agreement exercise, multiple correct answers, calls inst_diag.pl

• • instance12.pl: a simple tensed-form exercise, multiple correct answers, calls inst_diag.pl

• • instance21a.pl: a simple agreement exercise with error anticipation, only one explanation per solution, calls inst_diag.pl

• • instance21b.pl: a simple agreement exercise with error anticipation, multiple explanations per solution, calls inst_diag.pl

• • instance22.pl: a simple tensed-form exercise with error anticipation, multiple explanations per solution, calls inst_diag.pl

• • instance23.pl: a simple pronoun inflection exercise with error anticipation, multiple explanations per solution, calls inst_diag.pl (version 1.1, 2003-07-08)

• • instance_diag.pl: a tutoring shell for instance-based exercises (version 1.1, 2003-07-08)

• procedures for flexible matching of sequences

• • matching0.pl: matching of two lists, computes all string edit distances

• • matching1.pl: as matching0.pl but computes only the minimum distance

• • matching2.pl: as matching2.pl but computes an error description

• a web server for instance-based exercises

• • instance2.pl: a collection of agreement exercises, calls inst_diag.pl and tutor_server.pl

• • instance2t.pl: a collection of agreement exercises, calls inst_diag.pl and tutor_t_server.pl

• • tutor_helper.pl: the helper predicates for the web server, which analyse the requests and generate html-pages

• • tutor_server.pl: a single-thread server, calls tutor_helper.pl

• • tutor_t_server.pl: a multiple threaded server, calls tutor_helper.pl

• constraint-based diagnosis

• • engl1.pl: a simple constraint system for english sentences, can be used best with const-checker2.pl

• • const_checker1.pl: a diagnostic engine based on constraint satisfaction for utterances with a fixed structure

• • const_checker2.pl: as const_checker1.pl but including a fact error transformation

• • const_checker3.pl: as const_checker3.pl but with flexible variable assignment

• grammars and weak unification

• • dcg1.pl: a simple context-free grammar for some english sentences

• • dcg2.pl: as dcg1.pl but with structure building

• • dcg3.pl: as dcg2.pl but with agreement and subcategorisation

• • new dcg_diag.pl: almost as dcg3.pl but calls a special diagnostic engine (grammar_diag.pl)

• • new dcg_diag_s.pl: as dcg_diag.pl but calls the web-server for grammar-based diagnosis (tutor_server_grammar.pl)

• • new grammar_diag.pl: a special tutoring shell for grammar-based diagnostics

• • flexparse.pl: a simple DCG for german sentences using weak unification, calls unification.pl

• • unification.pl: a procedure for weak term unification

• • new tutor_server_grammar.pl: a web-based tutoring shell for grammar-based diagnosis (calls tutor_helper_grammar.pl)

• • new tutor_helper_grammar.pl: the helper predicates for the grammar-based web server (modified and simplified version of tutor_helper.pl)

-- WolfgangMenzel - 11 Jul 2003