ΤΟ ΚΑΛΟΚΑΙΡΙ
του 1956, μια μικρή ομάδα πρωτοπόρων της επιστήμης των υπολογιστών συγκεντρώθηκε στο Dartmouth College για να συζητήσει μια νέα έννοια: την τεχνητή νοημοσύνη. Το όραμα, στην πρόταση της συνάντησης, ήταν ότι «κάθε πτυχή της μάθησης ή οποιοδήποτε άλλο χαρακτηριστικό της νοημοσύνης μπορεί κατ’ αρχήν να περιγραφεί με τόση ακρίβεια που μπορεί να κατασκευαστεί μια μηχανή για να την προσομοιώσει». Τελικά, παρουσίασαν μόνο ένα λειτουργικό πρόγραμμα, αποθηκευμένο σε κάρτες διάτρησης του υπολογιστή: το Logic Theorist.
Πολλοί έχουν αποκαλέσει το Logic Theorist το πρώτο πρόγραμμα τεχνητής νοημοσύνης, αν και αυτή η περιγραφή συζητήθηκε τότε – και εξακολουθεί να είναι
σήμερα
. ο
Θεωρητικός Λογικής
σχεδιάστηκε για να μιμείται τις ανθρώπινες
δεξιότητες
, αλλά υπάρχει διαφωνία σχετικά με το εάν η εφεύρεση αντικατοπτρίζει πραγματικά το ανθρώπινο μυαλό και εάν μια μηχανή μπορεί πραγματικά να αναπαράγει τη διορατικότητα της νοημοσύνης μας. Αλλά οι ιστορικοί της επιστήμης βλέπουν το Logic Theorist ως το πρώτο πρόγραμμα που προσομοιώνει τον τρόπο με τον οποίο οι άνθρωποι χρησιμοποιούν τη λογική για να λύσουν πολύπλοκα προβλήματα και ήταν από τα πρώτα που κατασκευάστηκαν για ψηφιακό επεξεργαστή. Δημιουργήθηκε σε ένα νέο σύστημα, τη Γλώσσα Επεξεργασίας Πληροφοριών, και η κωδικοποίησή της σήμαινε στρατηγικά τρύπες σε κομ
μάτια
χαρτιού για να τροφοδοτηθούν σε έναν υπολογιστή. Σε λίγες μόνο ώρες, ο Θεωρητικός της Λογικής απέδειξε 38 από τα 52 θεωρήματα
Principia Mathematica
ένα θεμελιώδες κείμενο
του μαθηματικού συλλογισμού.
Ο σχεδιασμός του Logic Theorist αντανακλά το ιστορικό του πλαίσιο και το μυαλό ενός από τους δημιουργούς του, του Herbert Simon, ο οποίος δεν ήταν μαθηματικός αλλά πολιτικός επιστήμονας, εξηγεί
Ekaterina Babintseva
, ιστορικός της επιστήμης και της
τεχνολογία
ς στο Πανεπιστήμιο Purdue. Ο Simon ενδιαφερόταν για το πώς οι οργανισμοί θα μπορούσαν να ενισχύσουν την ορθολογική λήψη αποφάσεων. Τα τεχνητά συστήματα, πίστευε, θα μπορούσαν να βοηθήσουν τους ανθρώπους να κάνουν πιο λογικές επιλογές.
«Ο τύπος νοημοσύνης που μιμήθηκε πραγματικά ο Θεωρητικός της Λογικής ήταν η νοημοσύνη ενός ιδρύματος», λέει η Μπαμπίντσεβα. «Είναι γραφειοκρατική ευφυΐα».
Αλλά ο Simon πίστευε επίσης ότι υπήρχε κάτι θεμελιωδώς παρόμοιο μεταξύ του ανθρώπινου μυαλού και των υπολογιστών, καθώς τους έβλεπε και τους δύο ως συστήματα επεξεργασίας πληροφοριών, λέει.
Στέφανι Ντικ, ιστορικός
και επίκουρος καθηγητής στο Πανεπιστήμιο Simon Fraser. Ενώ συμβουλευόταν στο RAND Corporation, ένα μη κερδοσκοπικό ερευνητικό ινστιτούτο, ο Simon συνάντησε τον επιστήμονα υπολογιστών και ψυχολόγο Allen Newell, ο οποίος έγινε ο στενότερος συνεργάτης του. Εμπνευσμένοι από τις ευρετικές διδασκαλίες του μαθηματικού
George
Pólya, ο οποίος δίδασκε την επίλυση προβλημάτων, στόχευαν να αναπαράγουν την προσέγγιση του Pólya στη λογική λήψη αποφάσεων με προσανατολισμό στην ανακάλυψη με πιο έξυπνες μηχανές.
Αυτό το μαχαίρι στην ανθρώπινη λογική γράφτηκε σε ένα πρόγραμμα για τον JOHNNIAC, έναν πρώιμο υπολογιστή που κατασκευάστηκε από τη RAND. Ο Θεωρητικός της Λογικής απέδειξε
Principia
τα μαθηματικά θεωρήματα μέσω αυτού που ισχυρίστηκαν οι δημιουργοί του ήταν η ευρετική απαγωγική μεθοδολογία: Λειτουργούσε αντίστροφα, κάνοντας μικρές αντικαταστάσεις σε πιθανές απαντήσεις μέχρι να καταλήξει σε συμπέρασμα ισοδύναμο με αυτό που είχε ήδη αποδειχθεί. Πριν από αυτό, τα προγράμματα υπολογιστών έλυαν κυρίως προβλήματα ακολουθώντας γραμμικές οδηγίες βήμα προς βήμα.
Το Logic Theorist ήταν μια σημαντική ανακάλυψη, λέει ο Babintseva, επειδή ήταν το πρώτο πρόγραμμα στη συμβολική τεχνητή νοημοσύνη, που χρησιμοποιεί σύμβολα ή έννοιες, αντί για δεδομένα, για να εκπαιδεύσει την τεχνητή νοημοσύνη να σκέφτεται σαν άτομο. Ήταν η κυρίαρχη προσέγγιση της τεχνητής νοημοσύνης μέχρι τη δεκαετία του 1990, εξηγεί. Πιο πρόσφατα, οι ερευνητές αναβίωσαν μια άλλη προσέγγιση που εξετάστηκε στο συνέδριο Dartmouth της δεκαετίας του 1950: τη μίμηση του φυσικού μας εγκεφάλου μέσω αλγορίθμων μηχανικής μάθησης και νευρωνικών δικτύων, αντί να προσομοιώνει τον τρόπο με τον οποίο συλλογιζόμαστε. Ο συνδυασμός και των δύο μεθόδων θεωρείται από ορισμένους μηχανικούς ως η επόμενη φάση ανάπτυξης της τεχνητής νοημοσύνης.
Οι σύγχρονοι κριτικοί της Λογικής Μηχανής υποστήριξαν ότι στην πραγματικότητα δεν διοχέτευε ευρετική σκέψη, η οποία περιλαμβάνει εικασίες και συντομεύσεις, και αντίθετα έδειξε ακριβή επίλυση προβλημάτων δοκιμής και λάθους. Με άλλα λόγια, θα μπορούσε να προσεγγίσει τη λειτουργία του ανθρώπινου μυαλού αλλά όχι τον αυθορμητισμό των σκέψεών του. Η συζήτηση για το αν αυτό το είδος προγράμματος μπορεί ποτέ να ταιριάξει με την εγκεφαλική μας δύναμη συνεχίζεται. «Η τεχνητή νοημοσύνη είναι πραγματικά ένας κινούμενος στόχος», λέει ο Babintseva, «και πολλοί επιστήμονες υπολογιστών θα σας έλεγαν ότι η τεχνητή νοημοσύνη δεν υπάρχει».
Διαβάστε περισσότερα για τη ζωή στην εποχή της AI:
Ή δείτε όλες τις ιστορίες μας PopSci+.
