εχνητη νοημοοδνη ταρ δειγμα ρη ιμ π ι με η λ ξη τε ητη για να περιγρ ψ υμε τα ψε τικα

Transcript

1 εχνητη νοημοοδνη ι αγι γη εμητη ημ α νη ο Ι ο ε ναι κλι δ η επι τημη των υπ λ γι τι π υ περιλαμβι ει ν ε τραηγικ ρευ α και μεθ δ υ α απαρ οτα η τη οη σε πρ γρ μματα ηλεκτρ νικ ν υπ λ γι τι την πρ π θεια να εξ μ ιωθε η διαδικα α π υ ακ λ υθε τ α θρι πιν μυαλ για την επ λυ η διαφ ρων πρ βλη ματων Απ μια π ψη τ τη τε ητη νοημ νη ε ναι να κανει τ υ υπ λ γι τ περι τερ ρη ιμ υ για τ υζ ανθρ π υ Αυτ μπ ρε να επιτευ θε με τ να ρη ιμ ποη υμε ι αν υπ λ γι τη ση ληψη αποφ εων να δε τερ κ π τη τεγιητη ν ημ νη αλλ εξ υ ημαντικ ε ναι η καλ τερη καταν η η τη ανθρι πινη ν ημ ι νη Η δημιουργ α εν νοημ ν υπ λ γι τικ αυ τηματ απαιτε να καταλαβ υμε πρ ηγ υμ ω τ π ι νθρωπ ι αντιλαμβ ν νται αυγκε τρι νουν ργανι ν υν και χρησιμοπ ι ι ν τη γ ι η για την επ λυ η ε πρ βληματ Π ι ε ναι μω τ ν ημα τη λ ξη τεγ ητη Η λ ξη αυτη μπ ρε να η ιμ π ιηθε με δ θ ιε και ε ναι επιτακτικ να καθ ρ υμε για π ια απ τι δυ μιλαμε ταν αναφερ μα τε τη τε ητη ν ημ ι νη Για ταρ δειγμα ρη ιμ π ι με η λ ξη τε ητη για να περιγρ ψ υμε τα ψε τικα πλα τικ η ρτινα λ υλ δια ην δια λ ξη με διαφ ρετικη μω ια ρη ιμ π ι με και για α πε ριγρ ψ υμε τ τε ητ φω αι τι δ περιπτι ει κατι ν μ ζεται τε ητι επειδη κατα κευ ζεται Ση πρωτη περ πτω η μω η ρ η τη λ ξη ημα νει τι τ λ υλ ι δι ε ναι ψε τικ και απλι μ ιαζει να ε ναι αν πραγματικ τε ητι φω απ την λλη ε ναι φω και φωτ ζει αταοκευ ζεται σαν υτ κατ τατ τ υ φυσικ φωτ αλλ απ τη τιγμη π υ θα παρα Θε κανει την δια ουλει με τ φυσικ φωζ ε την ια αυτη τ τε ητ δεν ε ναι μερικι ι αιν μενικ ψε τικ τε μια απλη απ μ μη η απ κ τι λλο

2 εγνητ νοημ δ η ατα τον η τε ητη νοημ νη ε ναι η επι τημη μη ανε να κ ν υν πρ γματα π υ απαιτ ν ν ημ νη α ανθρ π υ Ι τ ρικη εξ λιξη τ υ να αυτα βι λ υμε π γ υν απ πρι τ αιτ τα πολλ βηματα πρ ζ την αν πτυξη τε ητη ν ημ ιη βαλε ο Αριοτ τ λη π τα καταπι τηκε με τ να εξηγη ει και να κωδικ π ιη ει κ π ιε μ ρφ ζ συμπερασματικη λ γικη την πο α μα ε υλλογι μ Η επ μ τ πρ π θεια γ νεται απ τ ν μ π κατα κ α ε ει α μη ανι μ τρο ι ν τ ν οπ ν μα ε και για τ γ πο π τευε τι δ ει απαντηοει οε λε τι ερωτη ει Στ π αποδ δεται η επιθυμ α η δημι υργ α μια καθ λικη αλγεβρα μ ω η π α λη η γ ι η θα μπ ρε ι μεταφερθε μ ω εν απλ υμπερα ματικ αυ τηματ ι τι π ν μαζε βα ικη πρ δ αρ ι ε ταν θε ε τα θεμ λια τηζ πρ τασιακη λ γικη ο ο Τ πρ τεινε ε α τημα μη ανικη λ γιφ τ οπ ο ν μαο ε γραπτ κ ψη και τ π πε ιεγει αρ τη κατηγορικη λ γ Φ ο ο Τ π αρακτηρ ζεται ω πατ ραζ τηζ τεχ ηη ν ημ νη παρ υ α ε μια μ θ δ η πο α μεινε ω τη αν Τ και με την π α δ νε ται απ τη η τ ερι τημα ε ν μια μηχανη μπ ρε να οκ φτεται πω ι νθρωπ ι μ ν επιν η ε α απλ γενικ και Ι αριθμητικ υπ λ γι τικ μ ντ λ αλλ ακ μη υπ τηριξε τι τα υπ λ γι τικι μοντ λα θα μπ ρ αν πιθανι να συμπεριφ ρ νται με τ τ ι τρ πο π υ να θεωρε τα ευφυη υπ τηριξε τι θα μπ ρε κ π ι να πα ζει κ κι με ο β ηθεια υπ λ γι τη δι τ ανθπτυξε θνα πρ γραμμα για κ κι ε νι τ αυν εια να πρ γραμμα ντ μα θεμελιωτη τ κ υβερνητικη αυνει φερε και αυτ α αγ ωρ ζ νταζ τιζ μ ι τητε των λειτ υργιι μεταξ ανθρι πων και μη αν ν πραγματικ κοπ λη αυτη τ πρ π θεια ηταν να κατανοη ουν και να βρ υν λ η οτ π θα υμπεριλ βουι ε να υπ λ γιοη η ικαν τητα τ υ ανθρι π υ να κ φτεται και να αιτιολ γε ρ ε ητη Ν ημ νη ρη ιμοπ ηθηκε για πρι τη φορ απ των τ κατ τη δι ρκεια εν υνεδρ υ π υ διεξη θη τ κ λ γιο τι ο υν δρι αι τα α υζητηθηκαν σε αυτ θεωρο νται η αρχη τ επα οτα η το ι ρ τη τε ητη νοημ νη εταξ αυτι π υ υμμετε αι ιτ αυτ το υν δρι ητα οι Ν π υ θεωρ νται μαζ με τ π σαν ι πρωτ π ρ ι ε θ ματα Στ ο υν δρι αυτ με παρ υ α ε ττ γλι οα π υ ε ναι ω τ γ ω τ τεμ εργαλε με τ π ο μπ ρε να γ νεται ειρι μ ε ιι ν καν νων εντ ι μ των ι δε Ν και παρ υ α αν α πρ γραμμα τ ο Τ ο τ π ηταν να απ τα πρ τα πρ γρ μματα για αυτ ματη απ δειξ μαθηματικι ν θεωρημ των ο ο

3 τα ιυγ στη Τεχ ητη οημ νη και τα Συοτημιατα Π λλαπλι ν Πρακτ ρων ι αρχικ ζ ενθ υ ια μ δημιο ργησε υπερβ λικ πρ δ ιεζ για ε κο και ηγ ρη κατα κευη ν ημ νων υπ λ γι τι ν τ ι αρ ι ε η φαση τη αραυγη σ με κ ρι αρακτηρι τικ τι π λλ ηταν αυτ π υ π τευαν τι ε δ κα ρι ια ι υπ λ γι τ θα ηταν τ δι ξυπνοι με τ υζ ανθρ π υ Σ ημα να απ τα πι δ ξα πρ γρ μματα εκε η τη ρ νικη περι δ υ αφ ρ σε την αν πτυξη τ υ απι τ ν α Ν Τ ηταν μια τε ικη επ λυ η πρ βλημ των γενικη φι η και ι απτυ θηκε γ α να επιλι ει πρ βληματα π λλι ν και διαφ ρων ειδι ν απ παι δια ι και υμβ λικη αναπαρ τα η Ρ ηταν η πρι τη σπ θεια να δια ωρι τ ν ι μ θ δ ι επ λυ η τ υ πρ βληματ ν απ την τε ικη επ λυ η τ υ προβληματ Πρ αι ρικη Φ η Φα η Συ εργα α β Φα η ρευ α Σ ι μα Ι Ι Φτ αε ι Αντ ττυ Φ ε νητη Ν ημ νη Ι ι απ τελ ματα δεν ηταν τα αναμεν μενα και τ ι πρ κξθηκα απ γ ητε ει με οτελε μα γ ρω τ Ο η αρ ικη ευφ ρ α για τη τε ητη ν ημ ι νη να

4 εγ ητ ν ημ τ αντικατασταθε απ τη μετρι παθη διαπ τωαη ι τι η δημι υργ α ξυπι ι πρ γραμματων π υ θα λ ν υν πραγματικ πρ βληματα ηταν μι δ κ λη πρ κλη η υτη η π ψη υπ γραμμ τηκε απ τ ν την περ φη αναφ ρ τ υ ι μφωνα με τον π η τεγ ητη ν ημ νη δε απ τελ ε ξε ωρι τ κλ δ την επι τημη των υπ λ γι τι ν και τι να ν ημο υπ λ γι τη ε ναι η φυ ικη υνθ εια η και τ απ τ λε μα των υνδυαομει ο πρ παθειι των τ μ ων αυτ ματ σμ ι και επιοτημη υπ λ γι τι ν Παρ λα αυτα υπηρξαν μερικ βηματα πω η κατα κευη δ πρ γραμμ των ι ιδεε των πο ων χρησιμ π ι ι νται ημερα τα μπειρα υ τηματα εν για την επ υο τηζ γεωμετρικη αναλ γ α και εν π υ κανε μβ ικ λ κληρω η ια φωτεινη επο η ακ λ υθε ται κατ καν να απ μια κ τεινη και αντι τρ φι τ ι κατ τη φ η τ υ με α ωνα δε γινε καμι υ ια τικη πρ δ και λ ι αναζητ αν αυτ τ κ τι π υ θα επ λυε λα τα πρ βληματα Η αναλαμπη π υ δηγηοε τ υ ερευ ητ τη ω τη κατε θυν η ηταν τ πρι γραμι Α του π υ η υλ π ηοη ρμ ε τ στ πανεπ στημι ι με απ α τηοη τη Α Α και σαν κ π ε ε τη μμικη αναλυ η του εδ φ υ τι πλα ητη Αρη οπ πρωτ π ριακη αυτη εργα α δηγη ε τ υ ερευ ητ τη τε ητη ν ημ δ η α διαπι τιι υν τι η ξυπνη υμπεριφ ρ εν υ τηματ ζ π υ καλε ται να επιλι ει ενα πρ βλημα εξαρτ ται ι το απ τη μεθ δ λ γ α επ λυ η εν πρ βληματ απ την απαρα τητη ω η την επλυ η τ υ υτη η μφα η ση ση δηγη ε τ ν απ δε τε τι η δ ναμη βρ κεται τη γ ι η και να αρακτηρ ει τη διαδικα δημι υργ α τ τ ιωγ αυ τημ των με τ ν ρ μη ανικη ι η ν αυτ τ μ α δηγη ε τι ιε των υ τημ Φ βα ζ ται στη γ ι ση καθ και των μπειρ υ τημ τω Η επαν ταοη ε ε αρ ε ι τ ι αφ κ θε με α ι ακ λουθε η αναγ η η τα επ μενα ρ νια κατα κευα θηκαν υ τη α π υ ρ ι αν να πρ καλ ν τ ενδιαφ ρον α ικο εκπρ ωπ ι αυτη τη περι ι μπορ ν να θεωρηθ δν τα ε πιτυ ημ α υ τηματα Ε Κ και ΙΝ π Απ τ ω το ι επι τημ νε τη ρ ι αν να υ εργ ζ νται και με επι τημ νε αλλων κλ δων ο γεγ ν αυτ δηγη ε αρμκ στ να αυξηθε αριθμ των ερευνητι ν τη υ ε να βγει απ τα πανεπιστημιακ εργα τηρια και να μπει στα ερευνητικ εργα τηρια τ επιχειρησεω και ταδιακ να αρ ει η α πτυξη εφαρμογι ν π υ αφ ρ ι α σ επ λυ η πραγματικι ν πρ βληματων Τα επ μενα ρ νια ρμοαν να αναπτυ μεγ λα ερευνητικ πρ γραμματα ρυφα γεγονι απ τελε τ δεκαετ πρ γρα δημι υργ α π μπτη γενια υπ λ γι τι ν π υ γινε τ οτ Τι κι απ Ιαπωνικη κυβ ρνη η και στην ανταπ κρι η π υ βρηκε αυτη η πρ τα η τ ο απι ιωβερνη ει των Π Α και των Ευρωπα κι ν ωρι ν ο και απ τι επι ειρη ει

5 Ειοαγιυγη οτην εχνητ ημ ο νη και τα Συοτ ματα Πολλαπλι ν Πρακτ ρων πρ γραμμα Ι Τ τηζ Ευρωπα κη Ενω η ε γαι ενα παρ μ ι πρ γραμμα αλλι τερι ει και αλλα πεδ α Σαν επ με η φ η δ μπ ρ ε να ε ναι λλη απ αυτη τη εμπ ρε υματ π η η π υ μεγ λ αριθμ εταιρι ν και ερευνητι ν αο λ ται με την αν πτυξη υ τημι των τεγ ητη ν ημ η π υ επιλδ υν πραγματικ τρ βληματα Τ τοιε περι ειναι τα μπειρα υ τηματα και τα υοτηματα καταν η η φυ ικη γλι α Η τρ υ α φ η αρακηρ ζεται απ τι ρευ ε π υ γ ν νται για τη αν πτυξη ι π λ γι τι ν κτη γε νι ζ και αναφ ρ ται τη υμπεριφ ρ τ υ εγκεφ λ υ ιι ευρωνικη ν ημ ι νη αι τη μ ριακη α πρ τα πρακτικ απ τελ ματα λαμβ ν νται ηδη απι την αν πτυξη ευρωνικ ν δικτ ων α τελευτα α ρ νια ραγδα α αν πτυξη παρ υ ι ζ υν τα αυ τηματα ευφυι ν πρακτ ρων με τα πο α α λ μα τε τ δε τερ μ ρο τ υ βιβλ υ φαρμ γ ε νητη ι οημοσδνη Η Τε ητη ημ νη ε αι α πολ μεγ λ και γενικ τ μ α ενδιαφερ των ττι εφαρμ γθ τ υ πε δ υ τη Τε ηη ημ νη μπ ρ με να κατατι ξ υμε τα παρακ τω π λυ η πρ βλημι τ ν Ι Ι τ μ α αυτ α λε ται με ειδικ τε ικ επ λυ η πρ βλημ των και συγκεκριμ να με τι απαρα ητε ε ργειε και λειτ υργ ε π υ πρ πει να ακ λ υθη ει να υπ λογι τη για την επ λυ η ι ν πρ βληματ πρ παθε να εδι ει πρ γρ μματα π υ πρι τα αναλ υν και επεξεργ ζ νται βημα πρ βημα η μ θ δ για την επ λυ η εν πρ βληματ και μετ θα εκτελ τα βηματα Επεξε α α φυοικη γλι οα Ι Η καταν η η απ τ ν υπ λ γιοπ τη φυ ικη γλι α πρ φ ρικη η γραπτη ηταν π ντ τε κ τι πολι συγαρπαστικ για τ υ επι τημ νε υπ λ γι τι ν απ τ τε π υ για πρ τη φ ρα γιναν πρ π θειε να γραφτο ν πρ γρ μματα για μετ φρα η απ μια ανθρι πινη γλι α σε μια λλη ι ερευιητ ε αυτ τ τ μ α εφαρμ γ ν τη πρ παθ ν να καταλ βουν τη φ η τη κ θε γλι α α πρ βληματα π υ αυναντοι ν αφ ρο ν την ανι λυ η των υντακτικι γ καν νων την απ αφηνι η λ ξεων με π λλαπλ ερμη ε ε και ην αν λυ η τη ημα ι λ γ α τη γλι α Στη υν εια γ νεται πρ πι θεια για να κα τα ηθε τι ημα νει καθε λ ξη ι τε υπ λ γι τηζ να ανταπ κρ νεται κατ λληλα τελικ τ τη πρ π θεια αυτη ε ναι η επικ ινων α ανθρι π υ μηχανηζ με χρηση πρ φ ρικο λ γ υ και φυ ικη γλ α Αποθι κευ η ανι ι τη η πληροφορια Ι ο α ο ο α α ι να ι υπ λ γι τ μπ ροι ν να απ θηκε υν τερ τι γκ πληρ φ ριι ν Στα υπαρ ντα αυ τηματα μω ρειαζεται υνηθω να περιγρ ψειζ ην πληρ φ ρ α π υ θ λει με μεγ λη λεπτ μ ρεια και πρθπει να ξ ρει ακριβ τι ψ ει για να

6 ε ητη ν ημο ι ιτ υπ δε ξει στ ν υπ λ γι τη πι α τ βρει για να Θα ηταν πολ πι β λικι κα ε κ λ α μπ ρ αμε να περιγρι ψ υμε τ θ μα τ πρ βλημα π πρ παθ με να λ υμε και υπ λογι τη να μα δ ει λε τιζ σχετ κε πληρ φ ρ ε Παι ν δια τρατη ικι α α α παι δια αυτ απ τελ δ ε οτ πεδ εφαρμ γη τη τε ητη ν ημ νη αφο ι κα νε τ υ μπ ρ ν ευκ ι α αναπαρασταθ ι ερικ λ ιπ ν απι τι πιο γ ω τ εφαρμ γ στ τ μει ι τη τε ητη ν ημ νη αφ ρ ν την ανι πτυξη πρ γραμμ των π υ μπ ρ ι ι πα ξ υν εξαιρε τικι π λ πλ κα παι δια Στ παρελθ υ γραφτε πρ γραμματα π υ πα ζ υν ντ μα κ κι π κε μπριτζ ι και πολλ αλλα παι δια πι απαιτ ν πολι πλ κε οτρατηγικ η π υ ετ ζ νται με τ μεγ λ αριθ ι ε ναλλακτικι ν κινη ε ων Επ η υπολ γι τη πρ πει να ανταπ κριθι τι παι δι με αναλ γ τρ π πω ι νθρωπ για να υπολ γ ει τη ω τη κ νη ναι π λ γνω τη η περ πτω η του τη Ι κατ φερε πριν α μερικ ρ νια α κερδ οει τ ν αρπ β ε μ α παρτ δα κ κι Αυτδματο πρ ραμματι μδ Α ιο α ο α π ρ υν πε ριπτι ε τι π ε δ ν υμε τ ν υπ λογι ττ κ ποιε ει δ υ απλι ν πρ γραμμ τω κ τα δε δ μ να των α τ τ ι ων ε ξ δων υπ λ γι τηζ η υνε εια καλε ται ι δημι υργη ει να πρ γραμμα π υ θα απ δι ει τον απαιτο με μετασχηματισμ ια τ τ ια εφαρμ γη συγγραφηζ πρ γραμμ των θα ε ναι μια επ κτα η τι ημερινι ν μεταγλωττι τι Ρ μποτικη ο α τικε μεν αυτ απα λε τ υζ ερευνητ τ ε νητη ημ δνη εδι και αρκετ δεκαετ ε α πρι τα απ τελ ματα τι πρ παθειι ν αυτι ν ηρθαν με η δημι υργ α μερικι ν μη α ι ν τη δεκαετ α τ με περι ρι μ νε μω δυνατ τητε Γενικ τε ρα αυτ τ πεδ αφομ περι τερ η μηχα ικη ε η με τι ε εφαρμογ τη ε ητη ημ δνη επειδη τα πρ βληματα ηλεκτρ λ γικη κιι μηχανικηζ φ η κατ τ εδια μ ε ε ναι υ ιι δη αι σημα τικα Η πρ οδ τη ρ μπ τικη ενδιαφ ρει ιδια τερα τ ν κλ δ τη βι μη αν α αφ υ ρ μπ τ απ τελ τα πλ ν κατι λληλα μ α για ην εξερευνηση τ υ δια τηματ Συνδυαοτικι Λ γικη ο Ι Π λλ φ ρθ ρειαζ μα τε απ δε ξ υμε τι να ν λ γεγ ν των ε ναι η λ γικη υν πεια εν α ι υνι λ υ Συνδυα τικη λ γικη ε ναι η πρ παθεια πρ γραμματι μ δ δ υπ λ γι τη για να κανει τ τ ιε επαγωγ υρι τερη εφαρμ γη τη ε ναι τ μαθηματικ Θετικ πι τημε π ρ υν αρκετ παραδε γματα εφαρμ γι ν ε αυτη τ κατηγ ρ α Αυτ τα πρ γραμματα αρακτηρ ζ νται σαν υοτηματα υπο τηριξ απ φ εων ο ο ι και γε ι ικα ο εδι ζ νται για επι τημ νε ι ενα λ μ ουζ με την πληρ φορικη

7 α ιυγη οτην ε ηη ημ νη και τα Συ τηματα Π λλαπλι ν Πρακτ ρων Αυτ ματη απ δειξη θε υρημι τα ν Σε λ υ μα ε ναι γ ω τ τα πρ βληματα γεωμετρ α τα π α τ μα ε ναι ρη ιμ π η υμε τ ζ πληρ φ ρ ε π υ μαζ δ ν νται με κ π να απ δε ξ υμε κ τι λλ ε την απ δειξη θεωρημ των απ γ ω τ αξι ματα α ξθηκαν μερικ ιπ τα πρ τα πρ γρ μματα ε ηφ ημ υνη Στι αρ θ τη δεκαετ α τ υ τ πεδ αυτ περιλ μβανε μερικ απ τι πι περ πλ κε και εξεζηημενε εφαρμ γ που ε αν αναπτυ Θε υτη η περι η εφαρμ γι ν ετ ζεται τε με μερικ ι λλε π ο τι πο ε οι τε ικ απ δειξη θεωρημι των ρη ιμ π ι ι νται αυ σαν τη βα ικη μεθοδ λογ α επ λυ η πρ βλημ των