Το πρόβλημα της σύνθεσης προγραμμάτων

Το πρόβλημα της σύνθεσης προγραμμάτων

URI: https://www.openarchives.gr/aggregator-openarchives/edm/ntua/000011-123456789_58935
RDF/XML JSON-LD

This item is provided by the institution :
National Technical University of Athens

Repository :
Digital Library of National Technical University of Athens | Dspace@NTUA

see the original item page
in the repository's web site and access all digital files if the item^*

Title

Το πρόβλημα της σύνθεσης προγραμμάτων (EL)

Creator

Τσιβρά, Αικατερίνη (EL)

Tsivra, Aikaterini (EN)

Contributor

ntua (EL)

Γκούμας, Γεώργιος (EL)

Βυτινιώτης, Δημήτριος (EL)

Στάμου, Γεώργιος (EL)

Παπασπύρου, Νικόλαος (EL)

Type

bachelorThesis

Thesis
Bachelor thesis (EN)

Issued

2023-07-01

2024-02-20T09:32:16Z

Year

2023 (EN)

Description

Η αυτόματη παραγωγή κώδικα αποτελούσε διαχρονικό όνειρο των ερευνητών στον χώρο της πληροφορικής. Αυτές οι προσπάθειες συγκεντρώνονται στο ερευνητικό αντικείμενο της σύνθεσης προγραμμάτων (program synthesis). Η αρχική προσέγγιση της σύνθεσης προγραμμάτων, παράλληλη με την εξέλιξη της επιστήμης της πληροφορικής, ήταν φορμαλιστική και στηριγμένη στην λογική. Αυτή η μέθοδος ήταν δύσχρηστη και δύσκολα επεκτεινόταν σε άλλα προβλήματα. Τα ισχυρά νευρωνικά δίκτυα επέτρεψαν στους ερευνητές να περάσουν από αυστηρούς φορμαλισμούς σε πιο αφηρημένες προδιαγραφές το οποίο μετέτρεψε τη σύνθεση προγραμμάτων σε πιο ισχυρό εργαλείο αλλά με σημαντικά δυσκολότερη ερμηνεία. Οι λύσεις που σχεδιάζονται κι ερευνώνται σήμερα συνδυάζουν τα νευρωνικά δίκτυα με τυπικές μεθόδους. Αυτή η προσέγγιση έχει ήδη δώσει καλύτερα αποτελέσματα τα οποία μάλιστα ερμηνεύονται ευκολότερα από τον ανθρώπινο παράγοντα. (EL)

Scientific field

Natural Sciences ▶ Computer and Information Sciences
Software (EN)

Engineering and Technology
Electrical engineering, Electronic engineering, Information engineering (EN)

Subject

Νευρωνικά δίκτυα (EL)

Programming language (EL)

Aartificial intelligence (EL)

Neural networks (EL)

Τεχνητή νοημοσύνη (EL)

Neurosymbolic synthesis (EL)

Σύνθεση προγραμμάτων (EL)

Νευροσυμβολική σύνθεση (EL)