1.
Limbaje de subsumarea termenilor (Logici descriptionale) folosind programare
functionala (Haskel, ML, Lisp sau Scheme)
Scopul proiectului este de a oferi functiile fundamentale pentru lucrul cu un limbaj de logica a descriptiilor (logica terminologica) folosind un limbaj de programare functionala (in Haskel, ML, Lisp sau Scheme). Informatii asupra acestor limbaje pot fi gasite la paginile de web urmatoare:
b. Courses in Description Logics
Proiectul va include cel putin definirea de concepte si roluri precum si posibilitatea testarii subsumarii si efectuarea clasificarii unei descrieri intr-o baza de cunostinte (descrieri) existente.
Va trebui sa scrieti un program in Haskel care primeste
partitura ce descrie o melodie si genereaza un acompaniament. Nu este nevoie sa
aveti cunostinte avansate de muzica. La adresa de mai jos gasiti mai multe
detalii despre acest tip de programe:
http://www.cs.lth.se/EDA120/assignment2
3.
Descrierea si implementarea de calcul tabelar (“spreadsheets”) folosind
programare functionala (Haskel, ML, Lisp sau Scheme)
Trebuie sa imaginati o modalitate de descriere a unui tabele de tip “spreadsheet” (in Haskel, ML, Lisp sau Scheme) si sa implementati un program care afiseaza si actualizeaza tabelul.
Nota la proiect va fi formata din urmatoarele procente:
Pentru intrebari urgente, trimiteti email la trausan @
cs.pub.ro
Prof.dr.ing. Stefan Trausan-Matu