Konzeption Prototyp Datenbankanfrage

Eingabe: Datenbankabfrage

1. Typdiagnose
   • unbekannte Prädikate (Tippfehlerüberprüfung) (done)
   • Vertauschen von Argumentpositionen (done)
   • Substitution von Variablen und Konstanten (done)
   • arithmetischer Vergleich auf Argumentposiion (done)
   • arithmetischer Ausdruck auf Argumentposition (done)
   • generalisierte Typmuster, z.B. Atom mit max 4 Zeichen (TODO)
   • "fehlerhafte" Operatoren: <=/2, =>/2, >/1, </1 (done 28.11.2003)
   • Version 2: bei Typfehlern eingeschränkte Analyse
   • altes Verhalten (Ausgabe der Fehlerterme mit query.plht?debug=true) (done)
   • Koreferenz-Bug: bib-1, ausleihe(2264,_,_,_,_), Nachricht zur Signatur sollte stattdessen auf mögliche Koreferenz hinweisen...? (done 28.11.2003)
   • superflous coreference gives no or strange diagnoses
2. Elimination von Unifikationsgleichungen (done)
3. Überprüfen der Instanziierung in Auswertungsumgebungen (done)
4. Zuordnung von Variablen und Prädikatsnamen (done)
5. Search error with \=
6. reference back to the original solution even after having it simplified

• Java-Frontend ???
  • Session Management, auch in XPCE unterstützt?
  • Fortschrittsdiagnose
• Testdatenbank vervollständigen
• mehrere Datenbanken gleichzeitig
  • Typinformation für Prädikate etc.abhängig von Aufgabe
• Fehlerantizipation ?
• Feedbackgenerierung
  • generate_text soll Fehler herausfiltern, damit nichts doppelt ausgegeben wird (TODO)
  • Herausfiltern unerwünschter Diagnoseinformation (TODO)
  • Hinweis
  • Links in ein Tutorial ?
    • http://www.coli.uni-sb.de/~kris/prolog-course/html/index.html (Learn Prolog Now!)
    • http://www.amzi.com/AdventureInProlog
• Neue Version von Feedbackgenerierung durchläuft 2 Schritte
  1. Lokalisierung der Fehler: In der Anfrage wird der Fehler fettgeschrieben
  2. Feedback zu einem Fehler enthält 3 Teile: Wo der Fehler ist, Was (Erklärung) ist fehlerhaft und Wie (Hilfe) soll der Benutzer mit diesem Fehler umgehen.

Es gibt bis jetzt 3 Arten von Feedbacks: Feedbacks für Strukturfehler, Semantikfehler und nicht identifizierbare Fehler. Die Feedbackgenerierung wird in dieser Version von Diagnosekomponente getrennt. Die Feedbacks sollen auch in einer eigenen Datei aufbewahrt werden, so dass wir Feedbacks verschiedenen Sprachen zum Feedbackgenerator adaptieren können. (Thinh committed 09 Jan 04: dbQueryDomain.pl, feedbackHandler.pl, listUtil.pl, web/dbQuery.plht)

• Anleitung zum Starten des Systems Siehe LuseHowto

-- YannickVersley -- 24 Oct 2003