ΑΡΧΙΤΕΚΤΟΝΙΚΕΣ ΕΠΙΠΕΔΟΥ-ΕΡΓΟΥ ΚΑΙ ΕΜΠΕΙΡΑ ΣΥΣΤΗΜΑΤΑ ΣΤΟΝ ΕΠΙΣΤΗΜΟΝΙΚΟ ΥΠΟΛΟΓΙΣΜΟ

Abstract

ΣΤΗΝ ΔΙΑΤΡΙΒΗ ΑΥΤΗ, ΠΡΟΤΕΙΝΕΤΑΙ ΠΡΩΤΟΝ ΕΝΑ ΓΕΝΙΚΟ ΣΚΕΛΕΤΙΚΟ ΣΥΣΤΗΜΑ ΓΙΑ ΤΗΝ ΑΝΑΠΤΥΞΗ ΕΜΠΕΙΡΩΝ ΣΥΣΤΗΜΑΤΩΝ ΣΤΗΝ ΠΕΡΙΟΧΗ ΤΟΥ ΕΠΙΣΤΗΜΟΝΙΚΟΥ ΥΠΟΛΟΓΙΣΜΟΥ, ΟΝΟΜΑΖΟΜΕΝΟ NAIS. Η ΠΡΟΣΕΓΓΙΣΗ ΤΟΥ NAIS ΔΙΑΦΕΡΕΙ ΑΠΟ ΑΥΤΗ ΤΩΝ ΣΥΜΒΑΤΙΚΩΝ ΕΡΓΑΛΕΙΩΝ ΜΗΧΑΝΙΚΗΣ ΓΝΩΣΕΩΝ ΔΙΟΤΙ ΤΟ ΠΡΟΤΕΙΝΟΜΕΝΟ ΣΥΣΤΗΜΑ ΒΑΣΙΖΕΤΑΙ ΣΤΗΝ ΑΝΑΔΕΙΞΗ ΚΑΙ ΑΞΙΟΠΟΙΗΣΗ ΕΝΟΣ ΚΟΙΝΟΥ ΠΥΡΗΝΑ ΤΩΝ ΟΜΟΙΟΤΗΤΩΝ ΚΑΙ ΤΩΝ ΙΔΙΑΙΤΕΡΟΤΗΤΩΝ ΤΩΝ ΕΜΠΕΙΡΩΝ ΣΥΣΤΗΜΑΤΩΝ ΣΤΟΝ ΕΠΙΣΤΗΜΟΝΙΚΟ ΥΠΟΛΟΓΙΣΜΟ. ΣΥΝΕΠΩΣ ΤΟ NAIS ΑΝΤΙΣΤΟΙΧΕΙ ΣΕ ΜΙΑ "ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΕΠΙΠΕΔΟΥ-ΕΡΓΟΥ". ΕΠΙΠΛΕΟΝ, ΤΟ NAIS ΠΡΟΣΦΕΡΕΙ ΣΤΟΝ ΜΗΧΑΝΙΚΟ ΓΝΩΣΗΣ ΕΝΑΝ ΠΥΡΗΝΑ Ο ΟΠΟΙΟΣ ΠΡΕΠΕΙ ΝΑ "ΣΥΜΠΛΗΡΩΘΕΙ" Η ΝΑ ΕΜΠΛΟΥΤΙΣΘΕΙ ΜΕΓΝΩΣΗ ΕΞΑΡΤΩΜΕΝΗ ΑΠΟ ΤΗΝ ΕΦΑΡΜΟΓΗ Η/ΚΑΙ ΤΗΝ ΑΡΧΙΤΕΚΤΟΝΙΚΗ. ΣΤΗΝ ΣΥΝΕΧΕΙΑ ΤΗΣ ΔΙΑΤΡΙΒΗΣ ΑΥΤΗΣ ΑΝΑΠΤΥΣΣΕΤΑΙ Η ΧΡΗΣΗ ΤΟΥ NAIS ΓΙΑ ΤΗΝ ΑΝΑΠΤΥΞΗ ΕΝΟΣ ΕΜΠΕΙΡΟΥ ΣΥΣΤΗΜΑΤΟΣ ΓΙΑ ΤΗΝ ΠΟΛΥ ΣΗΜΑΝΤΙΚΗ ΕΦΑΡΜΟΓΗ ΤΩΝ "ΕΛΛΕΙΠΤΙΚΩΝ ΠΡΟΒΛΗΜΑΤΩΝ ΜΕΡΙΚΩΝ ΔΙΑΦΟΡΙΚΩΝ ΕΞΙΣΩΣΕΩΝ". ΤΕΛΟΣ, ΕΝΑ ΑΝΤΙΠΡΟΣΩΠΕΥΤΙΚΟ ΜΕΡΟΣ ΤΟΥ ΕΜΠΕΙΡΟΥΣΥΣΤΗΜΑΤΟΣ ΧΡΗΣΙΜΟΠΟΙΕΙΤΑΙ ΣΑΝ ΠΕΔΙΟ ΑΞΙΟΛΟΓΗΣΗΣ ΚΑΙ ΣΥΓΚΡΙΣΗΣ ΤΡΙΩΝ ΠΑΡΑΛΛΗΛΩΝ ΓΛΩΣΣΩΝ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΚΑΙ ΣΥΓΚΕΚΡΙΜΕΝΑ ΤΗΣ SPINLOG, ΤΗΣ PARLOG ΚΑΙ ΤΗΣ CONCURRENT PROLOG.

IN THIS WORK, WE PROPOSE A GENERAL SKELETAL SYSTEM FOR THE DEVELOPMENT OF EXPERT SYSTEMS FOR SCIENTIFIC COMPUTING, CALLED NAIS. NAIS DIFFERS FROM CONVENTIONAL KNOWLEDGE ENGINEERING TOOLS, AS IT ATTEMPTS TO CAPTURE THE COMMON NUCLEUS OF SIMILARITIES AND PARTICULARITIES OF EXPERT SYSTEMS IN THE SCIENTIFIC COMPUTER DOMAIN. THUS, IT CORRESPONDS TO A TASK-LEVEL ARCHITECTURE. FURTHERMORE, NAIS OFFERS A KERNEL TO THE KNOWLEDGE ENGINEER, WHICH MUST BE FILLED-IN OR ENRICHED WITH ARCHITECTURE AND/OR APPLICATION DEPENDENT KNOWLEDGE WHEN HE/SHE IS DEVELOPING AN EXPERT SYSTEM FOR A PARTICULAR APPLICATION AND A SPECIFIC MACHINE. IN THE PROCESS, WE REPORT ON THE IMPLEMENTATION OF THIS TECHNIQUE FOR THE VERY IMPORTANT APPLICATION OF ELLIPTIC PDES (PARTIAL DIFFERENTIALEQUATIONS). FINALLY, A REPRESENTATIVE PART OF THE EXPERT SYSTEM IS USED AS A TEST-BED FOR THE COMPARATIVE EVALUATION OF THREE PARALLEL LOGIC PROGRAMMING LANGUAGES AND SPECIFICALLY SPINLOG, PARLOG AND CONCURRENT PROLOG.