Αυτόματη παραγωγή ασκήσεων για διδασκαλία της λογικής ως γλώσσας αναπαράστασης γνώσης
Loading...
Date
2009-01-12T09:09:02Z
Authors
Πολιτοπούλου, Βασιλική
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Τα τελευταία χρόνια αυξάνεται η χρήση των ηλεκτρονικών συστημάτων μάθησης. Ωστόσο φαίνεται ότι τα συστήματα αυτά δεν έχουν ακόμη αποκτήσει τη θέση που οραματίστηκαν οι δημιουργοί τους στο χώρο της μάθησης. Αυτό οφείλεται σε διάφορες αδυναμίες που έχουν ακόμη. Κάποιες από αυτές σχετίζονται με την παραγωγή και διαχείριση των ασκήσεων. Όσον αφορά στην πλευρά των μαθητών, τα συστήματα αυτά δεν προσφέρουν ποικιλία ασκήσεων αφού στις περισσότερες περιπτώσεις οι ασκήσεις είναι συγκεκριμένες και στατικές. Επιπλέον, οι μαθητές θέλουν οι ασκήσεις που τους δίνονται από το σύστημα να ικανοποιούν τις προσωπικές τους ανάγκες και προτιμήσεις. Από την πλευρά των καθηγητών, τα συστήματα αυτά δεν προσφέρουν έναν εύκολο τρόπο για να προετοιμάσουν το μάθημά τους, μέρος του οποίου είναι και η δημιουργία ασκήσεων αφού στα περισσότερα συστήματα γίνεται χειρωνακτικά. Στο Τμήμα Μηχ/κών Η/Υ & Πληροφορικής του Πανεπιστημίου Πατρών έχει αναπτυχθεί από την Ομάδα Τεχνητής Νοημοσύνης (ΤΝ) ένα ευφυές σύστημα διδασκαλίας θεμάτων ΤΝ. Το σύστημα αυτό σκοπό έχει την βοήθεια των φοιτητών σε θέματα του μαθήματος ΤΝ και ιδιαίτερα στην αναπαράσταση γνώσης. Ένα από τα θέματα αυτά είναι η κατηγορηματική λογική (ΚΛ) πρώτης τάξεως σαν γλώσσα αναπαράστασης γνώσης. Μια κατηγορία ασκήσεων που συνδέεται με το θέμα αυτό είναι η μετατροπή μιας πρότασης ΚΛ σε προτασιακή μορφή, που είναι μια μορφή κατάλληλη για αυτόματο συλλογισμό. Ένα μειονέκτημα του συστήματος είναι ότι διαθέτει ένα σύνολο ασκήσεων που δύσκολα ανανεώνεται. Στα πλαίσια αυτής της διπλωματικής εργασίας προτείνουμε και υλοποιούμε μια μέθοδο για αυτόματη παραγωγή προτάσεων ΚΛ για χρήση ως ασκήσεων για το παραπάνω θέμα. Οι παραγόμενες προτάσεις-ασκήσεις είναι διαφόρων επιπέδων δυσκολίας. Το σύστημα εκτός της παραγωγής σημασιολογικά σωστών προτάσεων εκτιμά αυτόματα και το επίπεδο δυσκολίας των προτάσεων-ασκήσεων.
Description
Keywords
Αυτόματη παραγωγή λογικών προτάσεων-ασκήσεων, Διδασκαλία τεχνητής νοημοσύνης