Τεχνητή νοημοσύνη (AI) Ποιος επινόησε το τεστ Turing; Ερωτήσεις τεστ Turing Turing edu index php t

TURING

TURING(Turing) Alan (1912-54), Άγγλος μαθηματικός και λογικός, ο οποίος διατύπωσε τις θεωρίες που αργότερα έγιναν η βάση της τεχνολογίας των υπολογιστών. Το 1937 σκέφτηκε Μηχανή Turing -μια υποθετική μηχανή ικανή να μετατρέψει ένα σύνολο εντολών εισόδου. Ήταν ο προάγγελος των σύγχρονων υπολογιστών. Ο Turing χρησιμοποίησε επίσης την ιδέα ενός υπολογιστή για να δώσει μια εναλλακτική και απλούστερη απόδειξη του θεωρήματος μη πληρότητας του Gödel. Ο Τούρινγκ έπαιξε σημαντικό ρόλο στην αποκάλυψη του Enigma, μιας πολύπλοκης μεθόδου κρυπτογράφησης που χρησιμοποιούσε η Γερμανία κατά τον Β' Παγκόσμιο Πόλεμο. Το 1948 συμμετείχε στη δημιουργία ενός από τους πρώτους υπολογιστές στον κόσμο. Το 1950 σκέφτηκε Τεστ Turing -υποτίθεται ότι ήταν μια δοκιμή της ικανότητας ενός υπολογιστή να «σκέφτεται». Στην ουσία, ανέφερε ότι ένα άτομο δεν θα μπορούσε να διακρίνει μεταξύ ενός διαλόγου με μια μηχανή και ενός διαλόγου με ένα άλλο άτομο. Το έργο αυτό άνοιξε το δρόμο για τη δημιουργία της ΤΕΧΝΗΣ ΝΟΗΜΟΣΥΝΗΣ. Ο Τούρινγκ ασχολήθηκε επίσης με τη θεωρητική βιολογία. Στη δουλειά "Η χημική βάση της μορφογένεσης"(1952) πρότεινε ένα μοντέλο που περιγράφει την προέλευση των διαφόρων οργανικών προτύπων στη βιολογία. Από τότε, τέτοια μοντέλα έχουν χρησιμοποιηθεί συχνά για να περιγράψουν και να εξηγήσουν πολλά συστήματα που παρατηρούνται στη φύση. Ο Τούρινγκ αυτοκτόνησε αφού κατηγορήθηκε επίσημα για ομοφυλοφιλία.

Επιστημονικό και τεχνικό εγκυκλοπαιδικό λεξικό.

Δείτε τι είναι το "TURING" σε άλλα λεξικά:

Turing, Alan Mathison Alan Turing Alan Mathison Μνημείο Turing στο Sackville Park Ημερομηνία γέννησης ... Wikipedia

- (Turing) Alan Mathison (1912 54), Άγγλος μαθηματικός. Το 1936 1937 εισήγαγε τη μαθηματική έννοια ενός αφηρημένου ισοδύναμου ενός αλγορίθμου ή μιας υπολογίσιμης συνάρτησης, η οποία αργότερα έγινε γνωστή ως μηχανή Turing ... Σύγχρονη Εγκυκλοπαίδεια

- (Turing), Alan Mathison (23 Ιουνίου 1912 - 7 Ιουνίου 1954) - Αγγλικά. λογικός και μαθηματικός. Το 1936–37, πρότεινε ένα εξιδανικευμένο μοντέλο μηχανής για υπολογισμό. διαδικασία - ένα υπολογιστικό σχήμα κοντά στις ενέργειες ενός ατόμου που εκτελεί υπολογισμούς και προτείνει ... ... Φιλοσοφική Εγκυκλοπαίδεια

Τούρινγκ Α.- Turing A. Άγγλος μαθηματικός. Θέματα ασφάλεια πληροφοριών EN Turing… Εγχειρίδιο Τεχνικού Μεταφραστή

Alan Turing Μνημείο Alan Turing στο Sackville Park Ημερομηνία γέννησης: 23 Ιουνίου 1912 Τόπος γέννησης: Λονδίνο, Αγγλία Ημερομηνία θανάτου: 7 Ιουνίου 1954 ... Wikipedia

Τούρινγκ- Άγγλος μαθηματικός Alan M. Turing, ένας από τους ιδρυτές λογικές βάσειςΗ τεχνολογία των υπολογιστών, ειδικότερα, έδωσε έναν από τους επίσημους ορισμούς του αλγορίθμου. απέδειξε ότι υπάρχει μια κατηγορία υπολογιστών που μπορούν να μιμηθούν ... ... Ο κόσμος του Λεμ - λεξικό και οδηγός

- (Turing) Alan Mathison (23/6/1912, Λονδίνο, 7/6/1954, Wilmslow, κοντά στο Μάντσεστερ), Άγγλος μαθηματικός. Μέλος της Βασιλικής Εταιρείας (1951). Μετά την αποφοίτησή του από το Πανεπιστήμιο του Κέιμπριτζ (1935), εργάστηκε για τη διδακτορική του διατριβή στο Πρίνστον ... ... Μεγάλη Σοβιετική Εγκυκλοπαίδεια

Turing A.M.- TURING (Turing) Alan Mathison (1912–54), Eng. μαθηματικός. Κύριος tr. με μαθηματικά. λογική, υπολογισμός. μαθηματικά. Το 1936–37 εισήγαγε τα μαθηματικά. η έννοια ενός αφηρημένου ισοδύναμου ενός αλγορίθμου ή μιας υπολογίσιμης συνάρτησης, η οποία στη συνέχεια κλήθηκε. μηχανή Τ... Βιογραφικό Λεξικό

- (πλήρες. Alan Mathison Turing, Alan Mathison Turing) (23 Ιουνίου 1912, Λονδίνο 7 Ιουνίου 1954, Wilmslow, UK), Βρετανός μαθηματικός, συγγραφέας έργων για τη μαθηματική λογική, τα υπολογιστικά μαθηματικά. Το 1936-1937 εισήγαγε τη μαθηματική έννοια ... εγκυκλοπαιδικό λεξικό

Βιβλία

• Μπορεί μια μηχανή να σκεφτεί; Γενική και λογική θεωρία των αυτομάτων. Τεύχος 14, Turing A., Αυτό το βιβλίο, που περιέχει το έργο του Alan Turing και του John von Neumann, οι οποίοι ήταν στην αρχή της δημιουργίας των πρώτων μηχανών σκέψης των υπολογιστών, ανήκει στους κλασικούς της φιλοσοφικής και της κυβερνητικής ... Κατηγορία: Βάσεις δεδομένων Σειρά: Artificial Sciences Εκδότης: URSS, Κατασκευαστής: URSS,
• Μπορεί μια μηχανή να σκεφτεί; Γενική και λογική θεωρία των αυτομάτων. Τεύχος αρ. 14, Turing A., Αυτό το βιβλίο, που περιέχει τα έργα των Alan Turing και John von Neumann, οι οποίοι ήταν στην αρχή της δημιουργίας των πρώτων «μηχανών σκέψης» των υπολογιστών, ανήκει στους κλασικούς της φιλοσοφικής και κυβερνητικής κατεύθυνση ... Κατηγορία:

ΟΜΟΣΠΟΝΔΙΑΚΗ ΕΚΠΑΙΔΕΥΣΗ ΚΡΑΤΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΑΝΩΤΕΡΗΣ ΕΠΑΓΓΕΛΜΑΤΙΚΗΣ ΕΚΠΑΙΔΕΥΣΗΣ «VORONEZH STATE UNIVERSITY» T.K. Κατσαράν, Λ.Ν. Stroeva ΜΗΧΑΝΗΜΑΤΑ ΤΟΥΡΙΝΓΚ ΚΑΙ ΑΝΑΔΡΟΜΙΚΕΣ ΛΕΙΤΟΥΡΓΙΕΣ Φροντιστήριογια πανεπιστήμια Εκδοτικό και τυπογραφικό κέντρο του Voronezh κρατικό Πανεπιστήμιο 2008 Εγκρίθηκε από το επιστημονικό και μεθοδολογικό συμβούλιο της σχολής PMM στις 25 Μαΐου 2008, πρωτόκολλο αρ. 9 Κριτής Διδάκτωρ Τεχνικών Επιστημών, καθ. Τμήμα Μαθηματικών Μεθόδων για Επιχειρησιακή Έρευνα Τ.Μ. Ledeneva Το εγχειρίδιο ετοιμάστηκε στο Τμήμα Μη Γραμμικών Ταλαντώσεων της Σχολής PMM του Κρατικού Πανεπιστημίου Voronezh. Συνιστάται για φοιτητές του 1ου έτους της σχολής PMM του VSU, των παραρτημάτων Starooskolsky και Liskinsky του VSU. Για την ειδικότητα 010500 - Εφαρμοσμένα Μαθηματικά και Πληροφορική ΕΙΣΑΓΩΓΗ Η λέξη "αλγόριθμος" προέρχεται από το algorithmi - τη λατινική ορθογραφία του ονόματος του Ουζμπεκιστάν μαθηματικού και αστρονόμου, ο οποίος έζησε στους αιώνες VIII-IX (783-850), Muhammad bin Musa al -Χουαρίζμι. Με αυτό το όνομα στη Μεσαιωνική Ευρώπη γνώριζαν ο μεγαλύτερος μαθηματικός από το Khorezm (πόλη στο σύγχρονο Ουζμπεκιστάν). Στο βιβλίο του On Indian Counting, διατύπωσε τους κανόνες για τη γραφή φυσικών αριθμών χρησιμοποιώντας αραβικούς αριθμούς και τους κανόνες για την εργασία με αυτούς. Τότε η έννοια του αλγορίθμου άρχισε να χρησιμοποιείται με μια ευρύτερη έννοια και όχι μόνο στα μαθηματικά. Τόσο για τους μαθηματικούς όσο και για τους επαγγελματίες, η έννοια του αλγορίθμου είναι απαραίτητη. Έτσι, μπορούμε να πούμε ότι ένας αλγόριθμος είναι μια ακριβής συνταγή για την εκτέλεση με μια ορισμένη σειρά ενός συγκεκριμένου συστήματος λειτουργιών για την επίλυση όλων των προβλημάτων του ίδιου τύπου, η οποία καθορίζει την ακολουθία των ενεργειών που παρέχει το απαιτούμενο αποτέλεσμα από τα αρχικά δεδομένα. Σημειώστε ότι δεν πρόκειται για ορισμό της έννοιας του «αλγόριθμου», αλλά μόνο για την περιγραφή, τη διαισθητική σημασία του. Ο αλγόριθμος μπορεί να σχεδιαστεί για να εκτελείται τόσο από άνθρωπο όσο και από αυτόματη συσκευή. Αυτή η αναπαράσταση του αλγορίθμου δεν είναι αυστηρή από μαθηματική άποψη, καθώς χρησιμοποιεί έννοιες όπως «ακριβής συνταγή» και «αρχικά δεδομένα», οι οποίες, γενικά, δεν είναι αυστηρά καθορισμένες. Ένα χαρακτηριστικό οποιουδήποτε αλγορίθμου είναι η ικανότητά του να επιλύει μια συγκεκριμένη κατηγορία προβλημάτων. Για παράδειγμα, μπορεί να είναι ένας αλγόριθμος για την επίλυση συστημάτων γραμμικών εξισώσεων, την εύρεση της συντομότερης διαδρομής σε ένα γράφημα κ.λπ. Η δημιουργία ενός αλγορίθμου, ακόμη και του απλούστερου, είναι μια δημιουργική διαδικασία. Είναι διαθέσιμο αποκλειστικά σε ζωντανά όντα και για μεγάλο χρονικό διάστημα πίστευαν ότι μόνο στους ανθρώπους. Ένα άλλο πράγμα είναι η υλοποίηση ενός ήδη υπάρχοντος αλγορίθμου. Μπορεί να ανατεθεί σε ένα υποκείμενο ή αντικείμενο, το οποίο δεν είναι υποχρεωμένο να εμβαθύνει στην ουσία του θέματος και ίσως να μην μπορεί να το κατανοήσει. Ένα τέτοιο υποκείμενο ή αντικείμενο συνήθως ονομάζεται επίσημος εκτελεστής. Ένα παράδειγμα επίσημου ερμηνευτή είναι ένα αυτόματο πλυντήριο ρούχων, το οποίο εκτελεί αυστηρά τις προβλεπόμενες ενέργειες, ακόμα κι αν ξεχάσατε να βάλετε σκόνη σε αυτό. Ένα άτομο μπορεί επίσης να ενεργήσει ως επίσημος εκτελεστής, αλλά πρώτα απ 'όλα, οι επίσημοι εκτελεστές είναι διάφορες αυτόματες συσκευές, συμπεριλαμβανομένου ενός υπολογιστή. Κάθε αλγόριθμος δημιουργείται με βάση έναν πολύ συγκεκριμένο εκτελεστή. Οι ενέργειες που μπορεί να εκτελέσει ο ερμηνευτής ονομάζονται αποδεκτές ενέργειες του. Το σύνολο των αποδεκτών ενεργειών σχηματίζει ένα σύστημα εντολών για τον εκτελεστή. Ο αλγόριθμος πρέπει να περιέχει μόνο εκείνες τις ενέργειες που ισχύουν για έναν δεδομένο εκτελεστή. Ως εκ τούτου, συνήθως διατυπώνονται διάφορες γενικές ιδιότητες των αλγορίθμων, οι οποίες καθιστούν δυνατή τη διάκριση των αλγορίθμων από άλλες εντολές. Ο αλγόριθμος πρέπει να έχει τις ακόλουθες ιδιότητες. Διακριτικότητα (ασυνέχεια, διαχωρισμός) - ο αλγόριθμος πρέπει να αντιπροσωπεύει τη διαδικασία επίλυσης του προβλήματος ως διαδοχική εκτέλεση απλών (ή προκαθορισμένων) βημάτων. Κάθε ενέργεια που παρέχεται από τον αλγόριθμο εκτελείται μόνο αφού ολοκληρωθεί η εκτέλεση της προηγούμενης. Βεβαιότητα - κάθε κανόνας του αλγορίθμου πρέπει να είναι σαφής, ξεκάθαρος και να μην αφήνει περιθώρια για αυθαιρεσίες. Λόγω αυτής της ιδιότητας, η εκτέλεση του αλγορίθμου είναι μηχανικής φύσης και δεν απαιτεί πρόσθετες οδηγίες ή πληροφορίες σχετικά με το πρόβλημα που επιλύεται. Αποδοτικότητα (πεπεραστικότητα) – ο αλγόριθμος πρέπει να οδηγεί στη λύση του προβλήματος σε πεπερασμένο αριθμό βημάτων. 4 Μαζικός χαρακτήρας - ο αλγόριθμος για την επίλυση του προβλήματος αναπτύσσεται σε γενική μορφή, δηλαδή πρέπει να είναι εφαρμόσιμος σε μια συγκεκριμένη κατηγορία προβλημάτων που διαφέρουν μόνο στα αρχικά δεδομένα. Σε αυτή την περίπτωση, τα αρχικά δεδομένα μπορούν να επιλεγούν από μια συγκεκριμένη περιοχή, η οποία ονομάζεται περιοχή εφαρμογής του αλγορίθμου. Η θεωρία των αλγορίθμων είναι ένας κλάδος των μαθηματικών που μελετά τις γενικές ιδιότητες των αλγορίθμων. Υπάρχουν ποιοτική και μετρική θεωρία αλγορίθμων. Το κύριο πρόβλημα της ποιοτικής θεωρίας των αλγορίθμων είναι το πρόβλημα της κατασκευής ενός αλγορίθμου με δεδομένες ιδιότητες. Ένα τέτοιο πρόβλημα ονομάζεται αλγοριθμικό. Η μετρική θεωρία των αλγορίθμων εξετάζει έναν αλγόριθμο ως προς την πολυπλοκότητά τους. Αυτός ο κλάδος της θεωρίας των αλγορίθμων είναι επίσης γνωστός ως αλγοριθμική θεωρία πολυπλοκότητας. Όταν αναζητούσαμε λύσεις σε ορισμένα προβλήματα, χρειάστηκε πολύς χρόνος για να βρεθεί ένας κατάλληλος αλγόριθμος. Παραδείγματα τέτοιων εργασιών είναι: α) να υποδεικνύεται μια μέθοδος σύμφωνα με την οποία για οποιονδήποτε κατηγορηματικό τύπο σε πεπερασμένο αριθμό ενεργειών είναι δυνατό να εξακριβωθεί εάν είναι πανομοιότυπα αληθής ή όχι. β) η εξίσωση Διοφαντίου (αλγεβρική εξίσωση με ακέραιους συντελεστές) είναι επιλύσιμη σε ακέραιους αριθμούς; Δεδομένου ότι δεν ήταν δυνατό να βρεθούν αλγόριθμοι για την επίλυση αυτών των προβλημάτων, προέκυψε η υπόθεση ότι τέτοιοι αλγόριθμοι δεν υπάρχουν καθόλου, κάτι που αποδεικνύεται: το πρώτο πρόβλημα επιλύθηκε από τον A. Church και το δεύτερο από τον Yu.V. Matiyasevich και G.V. Τσουντόφσκι. Κατ' αρχήν, είναι αδύνατο να αποδειχθεί αυτό χρησιμοποιώντας τη διαισθητική ιδέα ενός αλγορίθμου. Ως εκ τούτου, έγιναν προσπάθειες να δοθεί ένας ακριβής μαθηματικός ορισμός της έννοιας του αλγορίθμου. Στα μέσα της δεκαετίας του 1930 ο Σ.Κ. Kleene, Α.Α. Οι Markov, E. Post, A. Turing, A. Church και άλλοι έχουν προτείνει διάφορους μαθηματικούς ορισμούς της 5 έννοιας ενός αλγορίθμου. Στη συνέχεια, αποδείχθηκε ότι αυτοί οι διαφορετικοί επίσημοι μαθηματικοί ορισμοί είναι κατά κάποιο τρόπο ισοδύναμοι: υπολογίζουν το ίδιο σύνολο συναρτήσεων. Αυτό υποδηλώνει ότι, προφανώς, τα κύρια χαρακτηριστικά της διαισθητικής έννοιας του αλγορίθμου αντικατοπτρίζονται σωστά σε αυτούς τους ορισμούς. Στη συνέχεια, εξετάστε τη μαθηματική βελτίωση του αλγορίθμου που προτείνει ο A. Turing, ο οποίος ονομάζεται μηχανή Turing. 6 1. ΜΗΧΑΝΗ TURING § 1. Μαθηματικό μοντέλο μηχανής Turing Η ιδέα της δημιουργίας μιας μηχανής Turing, που προτάθηκε από τον Άγγλο μαθηματικό A. Turing τη δεκαετία του 30 του 20ου αιώνα, συνδέεται με την προσπάθειά του να δώσει μια ακριβή μαθηματική ορισμός της έννοιας του αλγορίθμου. Μια μηχανή Turing (MT) είναι ένα μαθηματικό μοντέλο ενός εξιδανικευμένου ψηφιακού υπολογιστή. Μια μηχανή Turing είναι το ίδιο μαθηματικό αντικείμενο ως συνάρτηση, παράγωγος, ολοκλήρωμα, ομάδα, κ.λπ. Όπως και άλλες μαθηματικές έννοιες, η έννοια της μηχανής Turing αντανακλά την αντικειμενική πραγματικότητα, μοντελοποιεί ορισμένες πραγματικές διαδικασίες. Για να περιγράψουμε τον αλγόριθμο MT, είναι βολικό να αναπαραστήσουμε μια συγκεκριμένη συσκευή που αποτελείται από τέσσερα μέρη: μια ταινία, μια κεφαλή ανάγνωσης, μια συσκευή ελέγχου και μια εσωτερική μνήμη. 1. Η ταινία θεωρείται ότι είναι δυνητικά άπειρη, χωρισμένη σε κελιά (ίσα κελιά). Εάν είναι απαραίτητο, ένα κενό κελί προσαρτάται στο πρώτο ή το τελευταίο κελί στο οποίο βρίσκονται τα σύμβολα. Το μηχάνημα λειτουργεί σε χρόνο, ο οποίος θεωρείται διακριτός, και οι ροπές του αριθμούνται 1, 2, 3, …. Κάθε στιγμή, η ταινία περιέχει έναν πεπερασμένο αριθμό κελιών. Μόνο ένας χαρακτήρας (γράμμα) από το εξωτερικό αλφάβητο A = (L, a1 , a 2 ,..., a n -1 ), n ³ 2 , μπορεί να γραφτεί στα κελιά σε μια διακριτή χρονική στιγμή. Ένα κενό κελί συμβολίζεται με το σύμβολο L και το ίδιο το σύμβολο L ονομάζεται κενό, ενώ τα υπόλοιπα σύμβολα ονομάζονται μη-κενά. Σε αυτό το αλφάβητο Α, με τη μορφή λέξης (ένα πεπερασμένο διατεταγμένο σύνολο χαρακτήρων), οι πληροφορίες που τροφοδοτούνται στο MT κωδικοποιούνται. Το μηχάνημα «επεξεργάζεται» τις πληροφορίες που δίνονται με τη μορφή λέξης σε μια νέα λέξη. 2. Η κεφαλή ανάγνωσης (κάποιο στοιχείο ανάγνωσης) κινείται κατά μήκος της ταινίας με τέτοιο τρόπο ώστε σε κάθε χρονική στιγμή να σαρώνει 7 ακριβώς ένα κελί της ταινίας. Η κεφαλή μπορεί να διαβάσει τα περιεχόμενα του κελιού και να γράψει έναν νέο χαρακτήρα από το αλφάβητο Α. Σε έναν κύκλο λειτουργίας, μπορεί να μετακινήσει μόνο ένα κελί προς τα δεξιά (R), αριστερά (L) ή να παραμείνει στη θέση του (H ). Ας συμβολίσουμε το σύνολο των μετατοπίσεων (μετατοπίσεων) της κεφαλής D = (P, L, N). Αν μέσα αυτή τη στιγμή όταν t η κεφαλή βρίσκεται στο τελευταίο κελί και μετακινείται στο κελί που λείπει, τότε προστίθεται ένα νέο κενό κελί, πάνω από το οποίο η κεφαλή θα βρίσκεται τη στιγμή t + 1 . 3. Η εσωτερική μνήμη της μηχανής είναι ένα ορισμένο πεπερασμένο σύνολο εσωτερικών καταστάσεων Q = ( q0 , q1 , q 2 , ..., q m ), m ³ 1 . Θα υποθέσουμε ότι η ισχύς |Q | ³ 2. Δύο καταστάσεις της μηχανής έχουν ειδική σημασία: q1 είναι η αρχική εσωτερική κατάσταση (μπορεί να υπάρχουν πολλές αρχικές εσωτερικές καταστάσεις), q0 είναι η τελική κατάσταση ή η κατάσταση διακοπής (η τελική κατάσταση είναι πάντα μία). Σε κάθε στιγμή, το ΜΤ χαρακτηρίζεται από τη θέση του κεφαλιού και την εσωτερική κατάσταση. Για παράδειγμα, κάτω από το κελί πάνω από το οποίο βρίσκεται η κεφαλή, υποδεικνύεται η εσωτερική κατάσταση του μηχανήματος. ¯ a2 a1 L a2 a3 q1 4. Ανάλογα με τον χαρακτήρα που διαβάζεται εκείνη τη στιγμή στην ταινία και την εσωτερική κατάσταση του μηχανήματος, η συσκευή ελέγχου εκτελεί τις ακόλουθες ενέργειες κάθε στιγμή t: (ειδικά, τον αφήνει αμετάβλητο, π.χ. ai = aj); 2) κινεί το κεφάλι προς μία από τις ακόλουθες κατευθύνσεις: N, L, P; 3) αλλάζει την εσωτερική κατάσταση της μηχανής 8 qi τη στιγμή t σε μια νέα q j , στην οποία το αυτοκίνητο θα είναι τη στιγμή t +1 (μπορεί να είναι ότι qi = q j). Τέτοιες ενέργειες της συσκευής ελέγχου ονομάζονται εντολή, η οποία μπορεί να γραφτεί ως: qi ai ® a j D q j , (1) όπου qi είναι η εσωτερική κατάσταση του μηχανήματος τη δεδομένη στιγμή. a i είναι το σύμβολο που διαβάζεται αυτή τη στιγμή. a j είναι το σύμβολο στο οποίο αλλάζει το σύμβολο a i (μπορεί να είναι ai = a j). το σύμβολο D είναι είτε H, είτε L, είτε P και δείχνει την κατεύθυνση κίνησης του κεφαλιού. q j είναι η εσωτερική κατάσταση του μηχανήματος την επόμενη στιγμή (ίσως qi = q j). Οι εκφράσεις qi ai και a j D q j ονομάζονται το αριστερό και το δεξί μέρος αυτής της εντολής, αντίστοιχα. Ο αριθμός των ομάδων στις οποίες τα αριστερά μέρη διακρίνονται κατά ζεύγη είναι ένας πεπερασμένος αριθμός, αφού τα σύνολα Q \ (q 0 ) και A είναι πεπερασμένα. Δεν υπάρχουν οδηγίες με πανομοιότυπες αριστερές πλευρές, δηλαδή εάν το πρόγραμμα της μηχανής T περιέχει τις εκφράσεις qi ai ® aj D qj και qt at ® ak D qk , τότε qi ¹ qt ή ai ¹ at και DO (P, L , Ν ) . Το σύνολο όλων των εντολών ονομάζεται πρόγραμμα μηχανής Turing. Ο μέγιστος αριθμός εντολών σε ένα πρόγραμμα είναι (n + 1) x m , όπου n + 1 = A και m + 1 = Q . Πιστεύεται ότι η τελική κατάσταση της εντολής q0 μπορεί να βρίσκεται μόνο στη δεξιά πλευρά της εντολής, η αρχική κατάσταση q1 μπορεί να είναι τόσο στην αριστερή όσο και στη δεξιά πλευρά της εντολής. Η εκτέλεση μιας μεμονωμένης εντολής ονομάζεται βήμα. Ο υπολογισμός (ή η λειτουργία) μιας μηχανής Turing είναι μια ακολουθία βημάτων το ένα μετά το άλλο χωρίς κενά, ξεκινώντας από το πρώτο. Έτσι, το ΜΤ δίνεται εάν είναι γνωστά τέσσερα πεπερασμένα σύνολα: το εξωτερικό αλφάβητο A , το εσωτερικό αλφάβητο Q , το σύνολο D των κινήσεων της κεφαλής και το πρόγραμμα μηχανής, το οποίο είναι ένα πεπερασμένο σύνολο εντολών. 9 § 2. Η λειτουργία της μηχανής Turing Η λειτουργία της μηχανής καθορίζεται πλήρως από την εργασία την πρώτη (αρχική) στιγμή: 1) λέξεις στην ταινία, δηλαδή ακολουθίες χαρακτήρων γραμμένων στα κελιά της ταινίας (η λέξη λαμβάνεται με την ανάγνωση αυτών των χαρακτήρων στα κελιά της ταινίας από αριστερά προς τα δεξιά). 2) η θέση του κεφαλιού? 3) την εσωτερική κατάσταση του μηχανήματος. Ο συνδυασμός αυτών των τριών συνθηκών (αυτή τη στιγμή) ονομάζεται διαμόρφωση (αυτή τη στιγμή). Συνήθως την αρχική στιγμή η εσωτερική κατάσταση του μηχανήματος είναι q1 και η κεφαλή βρίσκεται είτε πάνω από το πρώτο από αριστερά είτε πάνω από το πρώτο από το δεξί κελί της ταινίας. Η δεδομένη λέξη στην ταινία με την αρχική κατάσταση q1 και τη θέση της κεφαλής πάνω από την πρώτη λέξη ονομάζεται αρχική διαμόρφωση. Διαφορετικά, λέμε ότι η μηχανή Turing δεν ισχύει για τη λέξη της αρχικής διαμόρφωσης. Με άλλα λόγια, την αρχική στιγμή, η διαμόρφωση μπορεί να αναπαρασταθεί ως εξής: σε μια ταινία που αποτελείται από έναν ορισμένο αριθμό κελιών, κάθε κελί περιέχει ένα από τα σύμβολα του εξωτερικού αλφαβήτου A , η κεφαλή βρίσκεται πάνω από το πρώτο αριστερό ή Το πρώτο δεξί κελί της ταινίας και η εσωτερική κατάσταση του αυτοκινήτου είναι q1. Η λέξη στην ταινία και η θέση της κεφαλής που προκύπτει από την εφαρμογή αυτής της εντολής ονομάζεται τελική διαμόρφωση. Για παράδειγμα, εάν την αρχική στιγμή είναι γραμμένη η λέξη a1La 2 a1a1 στην ταινία, τότε η αρχική διαμόρφωση θα μοιάζει με: a1 a2 L a1 a1 q1 (η εσωτερική κατάσταση του μηχανήματος υποδεικνύεται κάτω από το κελί πάνω από το οποίο βρίσκεται η κεφαλή που βρίσκεται). 10

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ

Το τεστ Turing είναι γνωστό σε κάθε άτομο που ενδιαφέρεται για την τεχνητή νοημοσύνη. Διατυπώθηκε το 1938 από τον Άλαν Τούρινγκ στο άρθρο «Μπορεί μια μηχανή να σκεφτεί;». Το τεστ έχει ως εξής. Ο πειραματιστής επικοινωνεί με τον συνομιλητή χωρίς να τον βλέπει (για παράδειγμα, μέσω δικτύου υπολογιστών), πληκτρολογώντας φράσεις στο πληκτρολόγιο και λαμβάνοντας μια απάντηση κειμένου στην οθόνη. Στη συνέχεια προσπαθεί να προσδιορίσει σε ποιον μιλούσε. Εάν ένας πειραματιστής πάρει ένα πρόγραμμα υπολογιστή για έναν άνθρωπο, τότε έχει περάσει το τεστ Turing και μπορεί να θεωρηθεί έξυπνο.

Ένα άτομο θα πάρει ένα χρυσό μετάλλιο

Πλέον διάσημο πρόγραμμα, που έδειξε την πραγματική πιθανότητα να περάσει αυτό το τεστ πίσω στη δεκαετία του '60, ήταν το θρυλικό ELIZA. Δημιουργήθηκε το 1966 από τους επιστήμονες Winograd, Weizenbaum και Colby. Η ELIZA βρήκε λέξεις-κλειδιά στη φράση (για παράδειγμα, «μητέρα») και ζήτησε ένα πρότυπο, αντιδρώντας μηχανικά σε αυτές τις λέξεις («Πες μου περισσότερα για τη μητέρα σου»). Στη συνέχεια, ο Toddy Winograd με βάση το ELIZA δημιούργησε μια πιο προηγμένη έκδοση του "Psychotherapist". Η έλευση του ELIZA μπήκε στην ιστορία της τεχνητής νοημοσύνης μαζί με γεγονότα όπως η κυκλοφορία του πρώτου βιομηχανικού ρομπότ το 1962 ή η έναρξη της χρηματοδότησης του Πενταγώνου για ανάπτυξη στον τομέα της αναγνώρισης προτύπων και ομιλίας το 1975-1976.

Το 1991, για πρώτη φορά, πραγματοποιήθηκε ένα ιδιωτικό αλλά πολύ αξιοσέβαστο τουρνουά δοκιμής Turing, στο οποίο προσκλήθηκαν οι συγγραφείς κατάλληλων προγραμμάτων υπολογιστή (που ονομάζονται bots). Αυτό το τουρνουά ιδρύθηκε από τον Hugh Loebner (www.loebner.net/Prizef/loebner-prize.html). Ένα έπαθλο 100.000 δολαρίων και ένα χρυσό μετάλλιο βασίστηκαν για να το κερδίσουν.

Μέχρι στιγμής, κανείς δεν έχει κερδίσει το κορυφαίο βραβείο. Ωστόσο, το 1994, ο Loebner έκανε μια σημαντική αλλαγή στους κανόνες, απαιτώντας από το πρόγραμμα να επικοινωνεί με τον δικαστή όχι μόνο σε μορφή κειμένου, αλλά και δημιουργώντας μια εικόνα ενός εικονικού προσώπου. Πρέπει επίσης να είναι σε θέση να συνθέτει και να αναγνωρίζει πληροφορίες ομιλίας. Οι συνθήκες αυτές θεωρήθηκαν από πολλούς εξαιρετικά δύσκολες και μέχρι στιγμής δεν έχουν εμφανιστεί υποψήφιοι για το κύριο έπαθλο σύμφωνα με τους νέους κανόνες. Και για τη νίκη στο παλιό, "text" mode, υπόσχονται τώρα 25.000 $ και ένα ασημένιο μετάλλιο. Πρέπει να σημειωθεί ότι η πιθανότητα υποκειμενικού λάθους ενός κριτή κατά την επικοινωνία με το πρόγραμμα σύμφωνα με τους παλιούς κανόνες είναι αρκετά υψηλή. Επιπλέον, τα bots βελτιώνονται αρκετά γρήγορα και μάλλον θα περιμένουμε τον νικητή στο τεστ Turing τα επόμενα χρόνια.

Η κρίση στον διαγωνισμό είναι πολύ αυστηρή. Οι ειδικοί προετοιμάζονται εκ των προτέρων για το τουρνουά και επιλέγουν πολύ δύσκολες ερωτήσεις για να καταλάβουν σε ποιον μιλάνε. Η συνομιλία τους με τα προγράμματα θυμίζει ανάκριση του ανακριτή. Στους κριτές αρέσει, για παράδειγμα, να επαναλαμβάνουν κάποιες ερωτήσεις μετά από ορισμένο χρόνο, καθώς τα αδύναμα ρομπότ δεν ξέρουν πώς να παρακολουθούν το ιστορικό του διαλόγου και μπορούν να παγιδευτούν σε μονότονες απαντήσεις.

Αλλά οι προγραμματιστές δεν χάνουν χρόνο, ρυθμίζοντας τους εικονικούς θαλάμους τους με τέτοιο τρόπο ώστε προκλητικές ερωτήσεις όπως "είσαι μηχανή ή άτομο;" το πρόγραμμα απάντησε πολύ πειστικά: "Φυσικά, φίλε!".

Στις 8 Νοεμβρίου 1991, στο Μουσείο Υπολογιστών της Βοστώνης, οκτώ προγράμματα πήγαν αντιμέτωποι με ζωντανούς ειδικούς. Το αποτέλεσμα ήταν εκπληκτικό. Πέντε στους δέκα κριτές αποφάσισαν ότι ένα άτομο κρυβόταν με το ψευδώνυμο Whimsical Conversation. Στην πραγματικότητα ήταν Therapist, που έτρεχε ένα IBM PC 386 και δημιουργήθηκε το 1986 με βάση το θρυλικό ELIZA από τον Joseph Weintraub, έναν ψυχολόγο. Ωστόσο, αυτό το αποτέλεσμα οφείλεται σε μεγάλο βαθμό στον σκεπτικισμό και την προκατάληψη των ειδικών που πίστευαν ότι τα προγράμματα επικοινωνούν σε πολύ πιο πρωτόγονο επίπεδο από ό,τι ήταν στην πραγματικότητα. Στο μέλλον, οι κριτές συνήθισαν το στυλ επικοινωνίας του υπολογιστή και από τότε τα bots δεν έχουν καταφέρει να επιτύχουν ένα τόσο επιτυχημένο αποτέλεσμα.

Το Therapist αρχικά αποτελούνταν από επτά ενότητες γραμμένες σε C, Turbo-Prolog και QuickBasic. Αργότερα συμπληρώθηκε από ένα σύστημα σύνθεσης ομιλίας και μια βάση γνώσεων. Το πρόγραμμα χρησιμοποιεί ένα λεξικό 70.000 λέξεων και θυμάται όλα όσα του λένε, χρησιμοποιώντας αυτές τις πληροφορίες σε επόμενους διαλόγους και προσαρμόζοντας τα ενδιαφέροντα ενός συγκεκριμένου συνομιλητή. Ο Therapist έχει κερδίσει το βραβείο Loebner το 1992, το 1993 και το 1995. Στη συνέχεια ενισχύθηκε με εξειδικευμένες ενότητες ικανές να υποστηρίξουν συζητήσεις για θέματα «άνδρας εναντίον γυναίκας» και «φιλελεύθεροι εναντίον συντηρητικών».

Ακολουθεί ένα παράδειγμα από έναν από τους νικηφόρους διαλόγους της:

Δικαστής: Πιστεύετε ότι οι Αμερικανοί στρατιώτες πρέπει να πάνε στη Βοσνία;

Θεραπευτής: Νομίζω ότι αυτό που έκανε η Κλίντον στέλνοντας 20.000 ειρηνευτές στη Βοσνία θα εξασφαλίσει μια διαρκή ειρήνη.

Δικαστής: Πιστεύετε ότι οι περισσότεροι Αμερικανοί αισθάνονται όπως εσείς;

Θεραπευτής: Τι εννοούσατε όταν είπατε πιστεύετε ότι οι Αμερικανοί στρατιώτες πρέπει να πάνε στη Βοσνία; Σου είπε ποτέ κανείς ότι σκέφτεσαι πάρα πολύ; Ω, νομίζω ότι οι περισσότεροι Αμερικανοί αισθάνονται όπως εγώ;

Το 1994, ο Thomas Wylen, διδάκτωρ πειραματικής ψυχολογίας που ειδικεύεται στη μελέτη φυσικών γλωσσών, κέρδισε το τουρνουά. Το πρόγραμμά του TIPS εκπαιδεύτηκε για την αποθήκευση και την ανάλυση φράσεων (υπήρχαν πολλές χιλιάδες στη βάση δεδομένων) και την αναζήτηση λεξικών προτύπων.

Το 1996, ο Jason Hutchence και το bot του SEPO κέρδισαν ένα χάλκινο μετάλλιο, το οποίο κοινοποιούσε κάπως έτσι:

Δικαστής: Νομίζω. Κάνω έρευνα. Γράφω. Αγαπώ. Ζω.

ΣΕΠΟ: Αναρωτιέμαι αν σκέφτεσαι καμιά φορά! Νιώθω σαν ο κριτής εδώ!

Το 1997, ο David Levy έγινε πρωταθλητής με το Converse bot. Το 1998 και το 1999, νικητής ήταν ο Robbie Garnet, ο οποίος πιστεύει ότι η επιτυχία του τεστ Turing δεν απαιτεί πραγματική νοημοσύνη. Είναι ενδιαφέρον ότι σχεδόν όλοι οι συγγραφείς, αναφέροντας επιστημονικές προσεγγίσεις στη μάθηση (νευρωνικά δίκτυα, γενετικοί αλγόριθμοι), τα κατάφεραν στις αποφάσεις τους με αρκετά απλές ευρετικές μεθόδους.

Ο Garnet μπήκε στο πρόγραμμα Computational Behaviorist, με βάση μια προσέγγιση ερεθίσματος-απόκρισης παρόμοια με αυτή των TIPS και ELIZA. Μόνο που το bot του έψαχνε όχι ένα, αλλά μέχρι τρεις λέξεις-κλειδιάσε μια φράση. Ταυτόχρονα, συνειδητοποιώντας ότι το πρόγραμμα απαιτούσε κάτι περισσότερο από μια μονότονη απάντηση σε ερωτήσεις, ενσωμάτωσε σε αυτό μια σειρά από πρόσθετους ευρετικούς αλγόριθμους που δημιουργούσαν μια πιο ολοκληρωμένη ψευδαίσθηση επικοινωνίας με ένα άτομο.

Κατά την ανάπτυξη του Behaviorist, προέκυψαν τεχνικές δυσκολίες λόγω της πολυπλοκότητας της εφαρμογής της αναζήτησης γνώσης σε μεγάλες βάσεις δεδομένων εκείνη την εποχή, η οποία οδήγησε σε αξιοσημείωτες χρονικές καθυστερήσεις στην επικοινωνία, η οποία έδωσε αμέσως έναν συνομιλητή υπολογιστή. Επομένως, η Garnet συνδύασε δύο δημόσια ρομπότ - τον Albert, γραμμένο σε C ++, και μία από τις εκδόσεις Pascal του ELIZA και τα υλοποίησε στο περιβάλλον ανάπτυξης Visual DataFlex, το οποίο επέτρεπε τη χρήση τυπικών αλγορίθμων ερωτημάτων βάσης δεδομένων.

Το 2000 και το 2001, το μικρό βραβείο πήγε στο πρόγραμμα ALICE του Richard Wallace. Σήμερα, με βάση το ALICE, οργανώνεται το Ίδρυμα ALICE AI (http://alice.sunlitsurf.com/), το οποίο ασχολείται με την τυποποίηση δραστηριοτήτων για τη δημιουργία bots. Συγκεκριμένα, το ALICE συμπληρώνεται με εργαλεία υποστήριξης βάσεων δεδομένων σε μορφή AIML (Artificial Intelligence Markup Language) - ένα υποσύνολο της XML που στοχεύει στην επισημοποίηση της παρουσίασης βασικών φράσεων και απαντήσεων. Τώρα όποιος δεν είναι εξοικειωμένος με τον προγραμματισμό μπορεί να πάρει τη βασική έκδοση του ALICE και να τη γεμίσει με τη δική του βάση γνώσεων σε οποιαδήποτε γλώσσα χρησιμοποιώντας έναν κανονικό επεξεργαστή.

Δυστυχώς, αυτό το καλοκαίρι, όπως ανέφερε το Wired, ο κ. Wallace άρχισε να έχει ψυχικά προβλήματα (απείλησε έναν από τους συναδέλφους του καθηγητές με σωματική βία, ισχυριζόμενος ότι η διαφθορά είναι αχαλίνωτη σε πολλά αμερικανικά πανεπιστήμια και ότι μια μεγάλης κλίμακας συνωμοσία). Ενώ ο επιστήμονας βρίσκεται υπό έρευνα.

Ένας από τους πιο πιθανούς διεκδικητές της νίκης φέτος (το τουρνουά θα διεξαχθεί τον Οκτώβριο) είναι ο Smith Joshua, ο συγγραφέας του προγράμματος Anna (AIML επέκταση του ALICE, δωρεάν διαθέσιμη στο http://annabot.sourceforge.net/). Ο κ. Joshua σημειώνει ότι, σε αντίθεση με τους συναδέλφους του, δημιούργησε από την αρχή ένα bot, υποδυόμενος ένα άτομο στη διαδικασία της επικοινωνίας. Η Άννα πραγματικά θεωρεί τον εαυτό της ζωντανό ον, έχει μια σειρά από ατομικές ιδιότητες και είναι αρκετά ζωηρή στη συζήτηση.

Υπάρχουν παρόμοιες ρωσικές εξελίξεις - bots που μπορούν να επικοινωνούν στα ρωσικά; Οι συντάκτες του PC Week / RE είναι έτοιμοι να διοργανώσουν ρωσικό διαγωνισμό για να περάσει το τεστ Turing. Γράψτε στον συγγραφέα στο: [email προστατευμένο]

Τεχνητή νοημοσύνη (AI, eng. Artificial Intelligence, AI) - η επιστήμη και η τεχνολογία δημιουργίας ευφυών μηχανών, ιδιαίτερα ευφυών προγραμμάτων υπολογιστών. Η τεχνητή νοημοσύνη σχετίζεται με το παρόμοιο καθήκον της χρήσης υπολογιστών για την κατανόηση της ανθρώπινης νοημοσύνης, αλλά δεν περιορίζεται απαραίτητα σε βιολογικά εύλογες μεθόδους.

Τι είναι η τεχνητή νοημοσύνη

Νοημοσύνη(από το λατινικό intellectus - αίσθηση, αντίληψη, κατανόηση, κατανόηση, έννοια, λόγος) ή μυαλό - η ποιότητα της ψυχής, που αποτελείται από την ικανότητα προσαρμογής σε νέες καταστάσεις, την ικανότητα μάθησης και μνήμης με βάση την εμπειρία, την κατανόηση και την εφαρμογή αφηρημένες έννοιες και χρησιμοποιεί τη δική του γνώση για τη διαχείριση περιβάλλον. Η νοημοσύνη είναι μια γενική ικανότητα για τη γνώση και την επίλυση δυσκολιών, η οποία συνδυάζει όλες τις γνωστικές ικανότητες ενός ατόμου: αίσθηση, αντίληψη, μνήμη, αναπαράσταση, σκέψη, φαντασία.

Στις αρχές της δεκαετίας του 1980 Οι επιστήμονες υπολογιστών Barr και Feigenbaum πρότειναν τον ακόλουθο ορισμό της τεχνητής νοημοσύνης (AI):

Αργότερα, ένας αριθμός αλγορίθμων και συστημάτων λογισμικού άρχισαν να αναφέρονται ως AI, το χαρακτηριστικό γνώρισμα του οποίου είναι ότι μπορούν να λύσουν ορισμένα προβλήματα με τον ίδιο τρόπο που θα έκανε ένα άτομο που σκέφτεται τη λύση τους.

Οι κύριες ιδιότητες της τεχνητής νοημοσύνης είναι η κατανόηση της γλώσσας, η εκμάθηση και η ικανότητα σκέψης και, κυρίως, δράσης.

Το AI είναι ένα σύμπλεγμα σχετικών τεχνολογιών και διαδικασιών που αναπτύσσονται ποιοτικά και γρήγορα, για παράδειγμα:

• επεξεργασία κειμένου φυσικής γλώσσας
• έμπειρα συστήματα
• εικονικοί πράκτορες (chatbots και εικονικοί βοηθοί)
• συστήματα συστάσεων.

Εθνική Στρατηγική για την Ανάπτυξη της Τεχνητής Νοημοσύνης

• Κύριο άρθρο:Εθνική Στρατηγική για την Ανάπτυξη της Τεχνητής Νοημοσύνης

Έρευνα AI

• Κύριο άρθρο:Έρευνα στον τομέα της τεχνητής νοημοσύνης

Τυποποίηση AI

2019: Εμπειρογνώμονες ISO/IEC υποστήριξαν την πρόταση για ανάπτυξη προτύπου στα ρωσικά

Στις 16 Απριλίου 2019, έγινε γνωστό ότι η υποεπιτροπή ISO/IEC για την τυποποίηση στον τομέα της τεχνητής νοημοσύνης υποστήριξε την πρόταση της Τεχνικής Επιτροπής Cyber-Physical Systems, που δημιουργήθηκε με βάση το RVC, για την ανάπτυξη του προτύπου «Τεχνητή νοημοσύνη. Έννοιες και ορολογία" στα ρωσικά εκτός από τη βασική αγγλική έκδοση.

Ορολογικό πρότυπο «Τεχνητή νοημοσύνη. Έννοιες και ορολογία» είναι θεμελιώδης για ολόκληρη την οικογένεια των διεθνών κανονιστικών και τεχνικών εγγράφων στον τομέα της τεχνητής νοημοσύνης. Εκτός από όρους και ορισμούς, αυτό το έγγραφο περιέχει εννοιολογικές προσεγγίσεις και αρχές για την κατασκευή συστημάτων με στοιχεία, μια περιγραφή της σχέσης μεταξύ της τεχνητής νοημοσύνης και άλλων τεχνολογιών από άκρο σε άκρο, καθώς και βασικές αρχές και προσεγγίσεις πλαισίου για τους ρυθμιστικούς και τεχνικούς κανονισμούς της τεχνητής νοημοσύνης.

Μετά τη συνεδρίαση της σχετικής υποεπιτροπής ISO/IEC στο Δουβλίνο, εμπειρογνώμονες ISO/IEC υποστήριξαν την πρόταση της αντιπροσωπείας από τη Ρωσία για την ταυτόχρονη ανάπτυξη ενός προτύπου ορολογίας στον τομέα της τεχνητής νοημοσύνης όχι μόνο στα αγγλικά, αλλά και στα ρωσικά. Το έγγραφο αναμένεται να εγκριθεί στις αρχές του 2021.

Η ανάπτυξη προϊόντων και υπηρεσιών που βασίζονται στην τεχνητή νοημοσύνη απαιτεί μια ξεκάθαρη ερμηνεία των εννοιών που χρησιμοποιούνται από όλους τους συμμετέχοντες στην αγορά. Το πρότυπο ορολογίας θα ενοποιήσει τη "γλώσσα" που χρησιμοποιείται από προγραμματιστές, πελάτες και την επαγγελματική κοινότητα, ταξινομώντας τέτοιες ιδιότητες προϊόντων που βασίζονται σε τεχνητή νοημοσύνη ως "ασφάλεια", "αναπαραγωγιμότητα", "αυθεντικότητα" και "εμπιστευτικότητα". Μια ενοποιημένη ορολογία θα γίνει επίσης σημαντικός παράγοντας για την ανάπτυξη τεχνολογιών τεχνητής νοημοσύνης στο πλαίσιο της Εθνικής Πρωτοβουλίας Τεχνολογίας - περισσότερες από το 80% των εταιρειών εντός της περιμέτρου NTI χρησιμοποιούν αλγόριθμους τεχνητής νοημοσύνης. Επιπλέον, η απόφαση ISO/IEC θα ενισχύσει την αξιοπιστία και την επιρροή του Ρώσοι ειδικοίστην περαιτέρω ανάπτυξη των διεθνών προτύπων.

Κατά τη συνάντηση, εμπειρογνώμονες ISO/IEC υποστήριξαν επίσης την ανάπτυξη του σχεδίου διεθνούς εγγράφου Information Technology - Artificial Intelligence (AI) - Overview of Computational Approaches for AI Systems, στο οποίο η Ρωσία ενεργεί ως συνεκδότης. Το έγγραφο παρέχει μια επισκόπηση τελευταίας τεχνολογίαςσυστήματα τεχνητής νοημοσύνης, που περιγράφουν τα κύρια χαρακτηριστικά συστημάτων, αλγορίθμων και προσεγγίσεων, καθώς και παραδείγματα εξειδικευμένων εφαρμογών στον τομέα της τεχνητής νοημοσύνης. Η ομάδα εργασίας 5 «Υπολογιστικές προσεγγίσεις και υπολογιστικά χαρακτηριστικά συστημάτων τεχνητής νοημοσύνης» που δημιουργήθηκε ειδικά στο πλαίσιο της υποεπιτροπής θα αναπτύξει αυτό το προσχέδιο εγγράφου.

Ως μέρος της εργασίας για διεθνές επίπεδοΗ αντιπροσωπεία από τη Ρωσία κατάφερε να επιτύχει μια σειρά από αποφάσεις ορόσημα που θα έχουν μακροπρόθεσμο αντίκτυπο στην ανάπτυξη τεχνολογιών τεχνητής νοημοσύνης στη χώρα. Η ανάπτυξη της ρωσικής έκδοσης του προτύπου, ακόμη και από τόσο πρώιμο στάδιο, αποτελεί εγγύηση συγχρονισμού με το διεθνές πεδίο, και η ανάπτυξη της υποεπιτροπής ISO/IEC και η έναρξη διεθνών εγγράφων με ρωσική συνεκδότηση είναι το θεμέλιο για την περαιτέρω προώθηση των συμφερόντων των Ρώσων προγραμματιστών στο εξωτερικό», σχολίασε.

Οι τεχνολογίες τεχνητής νοημοσύνης είναι ευρέως απαιτούμενες σε διάφορους τομείς της ψηφιακής οικονομίας. Μεταξύ των κύριων παραγόντων που εμποδίζουν την πλήρη κλίμακα τους πρακτική χρήση, - υπανάπτυξη του ρυθμιστικού πλαισίου. Ταυτόχρονα, η καλά ανεπτυγμένη ρυθμιστική και τεχνική βάση είναι που διασφαλίζει την καθορισμένη ποιότητα εφαρμογής της τεχνολογίας και το αντίστοιχο οικονομικό αποτέλεσμα.

Στον τομέα της τεχνητής νοημοσύνης, η TC Cyber-Physical Systems, βασισμένη στο RVC, αναπτύσσει μια σειρά από εθνικά πρότυπα, η έγκριση των οποίων έχει προγραμματιστεί για τα τέλη του 2019 - αρχές του 2020. Επιπλέον, μαζί με τους παράγοντες της αγοράς, βρίσκονται σε εξέλιξη εργασίες για τη διαμόρφωση ενός Εθνικού Σχεδίου Τυποποίησης (PNS) για το 2020 και μετά. Το TC "Cyber-Physical Systems" είναι ανοιχτό σε προτάσεις για την ανάπτυξη εγγράφων από ενδιαφερόμενους οργανισμούς.

2018: Ανάπτυξη προτύπων στον τομέα των κβαντικών επικοινωνιών, της τεχνητής νοημοσύνης και της έξυπνης πόλης

Στις 6 Δεκεμβρίου 2018, η Τεχνική Επιτροπή «Cyber-Physical Systems» με βάση το RVC μαζί με το Περιφερειακό Κέντρο Μηχανικών «SafeNet» ξεκίνησαν την ανάπτυξη ενός συνόλου προτύπων για τις αγορές της Εθνικής Πρωτοβουλίας Τεχνολογίας (NTI) και της ψηφιακής οικονομίας. . Μέχρι τον Μάρτιο του 2019, σχεδιάζεται να αναπτυχθούν έγγραφα τεχνικής τυποποίησης στον τομέα των κβαντικών επικοινωνιών και, ανέφερε η RVC. Διαβάστε περισσότερα.

Ο αντίκτυπος της τεχνητής νοημοσύνης

Κίνδυνος για την ανάπτυξη του ανθρώπινου πολιτισμού

Επιπτώσεις στην οικονομία και τις επιχειρήσεις

• Ο αντίκτυπος των τεχνολογιών τεχνητής νοημοσύνης στην οικονομία και τις επιχειρήσεις

Επιπτώσεις στην αγορά εργασίας

Προκατάληψη τεχνητής νοημοσύνης

Στο επίκεντρο όλων όσων είναι η πρακτική της AI (μηχανική μετάφραση, αναγνώριση ομιλίας, επεξεργασία φυσικής γλώσσας, όραση υπολογιστή, αυτοματοποίηση οδήγησης και πολλά άλλα) είναι η βαθιά εκμάθηση. Αυτό είναι ένα υποσύνολο της μηχανικής μάθησης, που χαρακτηρίζεται από τη χρήση μοντέλων νευρωνικών δικτύων, τα οποία μπορούμε να πούμε ότι μιμούνται τον τρόπο λειτουργίας του εγκεφάλου, επομένως δύσκολα μπορούν να ταξινομηθούν ως AI. Οποιοδήποτε μοντέλο νευρωνικού δικτύου εκπαιδεύεται σε μεγάλα σύνολα δεδομένων, επομένως αποκτά κάποιες «δεξιότητες», αλλά ο τρόπος με τον οποίο τις χρησιμοποιεί δεν είναι ξεκάθαρος στους δημιουργούς, κάτι που τελικά γίνεται ένα από τα πιο σημαντικά προβλήματα για πολλές εφαρμογές βαθιάς μάθησης. Ο λόγος είναι ότι ένα τέτοιο μοντέλο λειτουργεί με εικόνες επίσημα, χωρίς καμία κατανόηση του τι κάνει. Είναι ένα τέτοιο σύστημα τεχνητής νοημοσύνης και μπορούν να αξιοποιηθούν τα συστήματα που έχουν δημιουργηθεί με βάση τη μηχανική μάθηση; Η σημασία της απάντησης στο τελευταίο ερώτημα ξεπερνά τα επιστημονικά εργαστήρια. Ως εκ τούτου, η προσοχή των μέσων ενημέρωσης στο φαινόμενο, που ονομάζεται AI bias, έχει κλιμακωθεί αισθητά. Μπορεί να μεταφραστεί ως "AI bias" ή "AI bias". Διαβάστε περισσότερα.

Αγορά τεχνολογίας τεχνητής νοημοσύνης

Αγορά τεχνητής νοημοσύνης στη Ρωσία

Η παγκόσμια αγορά τεχνητής νοημοσύνης

Εφαρμογές AI

Οι τομείς εφαρμογής της τεχνητής νοημοσύνης είναι αρκετά εκτενείς και καλύπτουν τόσο τεχνολογίες που είναι εξοικειωμένες με την ακοή όσο και αναδυόμενες νέες περιοχές που απέχουν πολύ από τη μαζική εφαρμογή, με άλλα λόγια, αυτό είναι όλο το φάσμα των λύσεων, από ηλεκτρικές σκούπες μέχρι διαστημικούς σταθμούς. Είναι δυνατό να διαιρεθεί όλη η ποικιλομορφία τους σύμφωνα με το κριτήριο των βασικών σημείων ανάπτυξης.

Η τεχνητή νοημοσύνη δεν είναι μια μονολιθική θεματική περιοχή. Επιπλέον, ορισμένες τεχνολογίες τεχνητής νοημοσύνης εμφανίζονται ως νέοι υποτομείς της οικονομίας και ξεχωριστές οντότητες, ενώ ταυτόχρονα εξυπηρετούν τους περισσότερους τομείς της οικονομίας.

Η ανάπτυξη της χρήσης της τεχνητής νοημοσύνης οδηγεί στην προσαρμογή των τεχνολογιών σε κλασικούς τομείς της οικονομίας σε ολόκληρη την αλυσίδα αξίας και τους μετασχηματίζει, οδηγώντας στον αλγόριθμο σχεδόν όλης της λειτουργικότητας, από τα logistics έως τη διαχείριση της εταιρείας.

Η χρήση της τεχνητής νοημοσύνης για αμυντικούς και στρατιωτικούς σκοπούς

Χρήση στην εκπαίδευση

Χρήση της τεχνητής νοημοσύνης στις επιχειρήσεις

AI στην καταπολέμηση της απάτης

Στις 11 Ιουλίου 2019, έγινε γνωστό ότι σε μόλις δύο χρόνια, η τεχνητή νοημοσύνη και η μηχανική μάθηση θα χρησιμοποιηθούν για την αντιμετώπιση της απάτης τρεις φορές περισσότερο από ό,τι τον Ιούλιο του 2019. Αυτά τα δεδομένα ελήφθησαν κατά τη διάρκεια μιας κοινής μελέτης της SAS και της Ένωσης Πιστοποιημένων Εξεταστών Απάτης (ACFE). Από τον Ιούλιο του 2019, τέτοια εργαλεία καταπολέμησης της απάτης χρησιμοποιούνται ήδη στο 13% των οργανισμών που συμμετείχαν στην έρευνα και ένα άλλο 25% δήλωσε ότι σχεδιάζει να τα εφαρμόσει μέσα στα επόμενα ή δύο χρόνια. Διαβάστε περισσότερα.

AI στη βιομηχανία ηλεκτρικής ενέργειας

• Σε επίπεδο σχεδιασμού: βελτιωμένη πρόβλεψη παραγωγής και ζήτησης ενεργειακών πόρων, αξιολόγηση της αξιοπιστίας του εξοπλισμού παραγωγής ενέργειας, αυτοματοποίηση της αύξησης της παραγωγής σε περίπτωση αύξησης της ζήτησης.
• Σε επίπεδο παραγωγής: βελτιστοποίηση της προληπτικής συντήρησης του εξοπλισμού, αύξηση της απόδοσης παραγωγής, μείωση των απωλειών, πρόληψη κλοπής ενεργειακών πόρων.
• Σε επίπεδο προώθησης: βελτιστοποίηση τιμολόγησης ανάλογα με την ώρα της ημέρας και δυναμική χρέωση.
• Σε επίπεδο παροχής υπηρεσιών: αυτόματη επιλογή του πιο κερδοφόρου προμηθευτή, αναλυτικά στατιστικά στοιχεία κατανάλωσης, αυτοματοποιημένη εξυπηρέτηση πελατών, ενεργειακή βελτιστοποίηση με βάση τις συνήθειες και τη συμπεριφορά των πελατών.

AI στην κατασκευή

• Σε επίπεδο σχεδιασμού: βελτίωση της αποτελεσματικότητας της ανάπτυξης νέων προϊόντων, αυτοματοποιημένη αξιολόγηση προμηθευτών και ανάλυση των απαιτήσεων για ανταλλακτικά και ανταλλακτικά.
• Σε επίπεδο παραγωγής: βελτίωση της διαδικασίας εκτέλεσης εργασιών, αυτοματοποίηση γραμμών συναρμολόγησης, μείωση του αριθμού των σφαλμάτων, μείωση του χρόνου παράδοσης των πρώτων υλών.
• Σε επίπεδο προώθησης: πρόβλεψη του όγκου των υπηρεσιών υποστήριξης και συντήρησης, διαχείριση τιμολόγησης.
• Σε επίπεδο παροχής υπηρεσιών: βελτίωση του σχεδιασμού δρομολογίων του στόλου Οχημα, ζήτηση πόρων στόλου, βελτίωση της ποιότητας εκπαίδευσης των μηχανικών υπηρεσιών.

AI στις τράπεζες

• Αναγνώριση μοτίβων - χρησιμοποιείται συμπεριλ. να αναγνωρίζει πελάτες σε υποκαταστήματα και να τους στέλνει εξειδικευμένες προσφορές.

AI στις μεταφορές

• Η αυτοκινητοβιομηχανία βρίσκεται στα πρόθυρα μιας επανάστασης: 5 προκλήσεις της εποχής της αυτο-οδήγησης

AI στα logistics

AI στην ζυθοποιία

ΑΙ στο δικαστικό σώμα

Οι εξελίξεις στον τομέα της τεχνητής νοημοσύνης θα βοηθήσουν στη ριζική αλλαγή του δικαστικού συστήματος, θα το καταστήσουν πιο δίκαιο και απαλλαγμένο από συστήματα διαφθοράς. Αυτή η άποψη εκφράστηκε το καλοκαίρι του 2017 από τον Vladimir Krylov, Διδάκτωρ Τεχνικών Επιστημών, τεχνικό σύμβουλο της Artezio.

Ο επιστήμονας πιστεύει ότι οι λύσεις τεχνητής νοημοσύνης που ήδη υπάρχουν μπορούν να εφαρμοστούν με επιτυχία σε διάφορους τομείς της οικονομίας και της δημόσιας ζωής. Ο ειδικός επισημαίνει ότι η τεχνητή νοημοσύνη χρησιμοποιείται με επιτυχία στην ιατρική, αλλά στο μέλλον μπορεί να αλλάξει εντελώς το δικαστικό σύστημα.

«Βλέποντας καθημερινά δελτία ειδήσεων σχετικά με τις εξελίξεις στον τομέα της τεχνητής νοημοσύνης, εκπλήσσεται κανείς με την ανεξάντλητη φαντασία και την καρποφορία των ερευνητών και των προγραμματιστών σε αυτόν τον τομέα. Οι εκθέσεις επιστημονικής έρευνας διανθίζονται συνεχώς με αναφορές νέων προϊόντων που εισέρχονται στην αγορά και εκθέσεις εκπληκτικών αποτελεσμάτων που λαμβάνονται με χρήση τεχνητής νοημοσύνης σε διάφορους τομείς. Αν μιλάμε για τα αναμενόμενα γεγονότα, συνοδευόμενα από μια αξιοσημείωτη δημοσιότητα στα μέσα ενημέρωσης, στα οποία η AI θα γίνει ξανά ο ήρωας των ειδήσεων, τότε μάλλον δεν θα τολμήσω να κάνω τεχνολογικές προβλέψεις. Μπορώ να υποθέσω ότι το επόμενο γεγονός θα είναι η εμφάνιση κάπου ενός εξαιρετικά αρμόδιου δικαστηρίου με τη μορφή τεχνητής νοημοσύνης, δίκαιου και αδιάφθορου. Αυτό πιθανότατα θα συμβεί το 2020-2025. Και οι διαδικασίες που θα γίνουν σε αυτό το δικαστήριο θα οδηγήσουν σε απροσδόκητους προβληματισμούς και στην επιθυμία πολλών ανθρώπων να μεταφέρουν τις περισσότερες από τις διαδικασίες διαχείρισης της ανθρώπινης κοινωνίας στην τεχνητή νοημοσύνη.

Ο επιστήμονας αναγνωρίζει τη χρήση της τεχνητής νοημοσύνης στο δικαστικό σύστημα ως «λογικό βήμα» για την ανάπτυξη της νομοθετικής ισότητας και δικαιοσύνης. Ο μηχανικός νους δεν υπόκειται σε διαφθορά και συναισθήματα, μπορεί να τηρεί αυστηρά το νομοθετικό πλαίσιο και να λαμβάνει αποφάσεις λαμβάνοντας υπόψη πολλούς παράγοντες, συμπεριλαμβανομένων των δεδομένων που χαρακτηρίζουν τους συμμετέχοντες στη διαμάχη. Κατ' αναλογία με τον ιατρικό τομέα, οι κριτές ρομπότ μπορούν να λειτουργούν με μεγάλα δεδομένα από αποθετήρια δημόσιων υπηρεσιών. Μπορεί να υποτεθεί ότι

ΜΟΥΣΙΚΗ

Ζωγραφική

Το 2015, η ομάδα της Google εξέτασε τα νευρωνικά δίκτυα για να δει αν μπορούσαν να δημιουργήσουν εικόνες από μόνα τους. Στη συνέχεια, η τεχνητή νοημοσύνη εκπαιδεύτηκε στο παράδειγμα ένας μεγάλος αριθμόςδιάφορες εικόνες. Ωστόσο, όταν το μηχάνημα «ζήτησε» να απεικονίσει κάτι από μόνο του, αποδείχθηκε ότι ερμηνεύει τον κόσμο γύρω μας με έναν κάπως περίεργο τρόπο. Για παράδειγμα, για το έργο της σχεδίασης αλτήρων, οι προγραμματιστές έλαβαν μια εικόνα στην οποία το μέταλλο συνδέθηκε με ανθρώπινα χέρια. Αυτό πιθανώς συνέβη λόγω του γεγονότος ότι στο στάδιο της εκπαίδευσης, οι αναλυόμενες εικόνες με αλτήρες περιείχαν χέρια και το νευρωνικό δίκτυο το παρερμήνευσε αυτό.

Στις 26 Φεβρουαρίου 2016, σε μια ειδική δημοπρασία στο Σαν Φρανσίσκο, εκπρόσωποι της Google συγκέντρωσαν περίπου 98.000 δολάρια από ψυχεδελικούς πίνακες ζωγραφισμένους από τεχνητή νοημοσύνη. Αυτά τα κεφάλαια δόθηκαν για φιλανθρωπικούς σκοπούς. Μία από τις πιο επιτυχημένες φωτογραφίες του αυτοκινήτου παρουσιάζεται παρακάτω.

Μια εικόνα ζωγραφισμένη από την τεχνητή νοημοσύνη της Google.

Το τεστ Turing, που προτάθηκε από τον Alan Turing, έχει αναπτυχθεί ως ένας ικανοποιητικός λειτουργικός ορισμός της νοημοσύνης. Ο Turing αποφάσισε ότι δεν είχε νόημα να αναπτύξει μια εκτενή λίστα απαιτήσεων που απαιτούνται για τη δημιουργία τεχνητής νοημοσύνης, η οποία, επιπλέον, θα μπορούσε να είναι αντιφατική, και πρότεινε μια δοκιμή βασισμένη στο γεγονός ότι η συμπεριφορά ενός αντικειμένου με τεχνητή νοημοσύνη θα ήταν τελικά δεν διακρίνεται από τη συμπεριφορά τέτοιων αναμφισβήτητα ευφυών όντων, όπως τα ανθρώπινα όντα. Ο υπολογιστής θα περάσει αυτό το τεστ εάν ο πειραματιστής, αφού του έκανε ορισμένες ερωτήσεις γραπτώς, δεν μπορεί να προσδιορίσει εάν οι γραπτές απαντήσεις προέρχονται από άλλο άτομο ή από κάποια συσκευή.

Η επίλυση του προβλήματος της σύνταξης ενός προγράμματος για έναν υπολογιστή για να περάσει αυτό το τεστ απαιτεί πολλή δουλειά. Ένας υπολογιστής που έχει προγραμματιστεί με αυτόν τον τρόπο πρέπει να έχει τις ακόλουθες δυνατότητες:

• Εγκαταστάσεις επεξεργασία κειμένου φυσικής γλώσσας(Natural Language Processing - NLP), που σας επιτρέπει να επικοινωνείτε με επιτυχία με έναν υπολογιστή, ας πούμε στα αγγλικά.
• Εγκαταστάσεις αναπαράσταση γνώσης, με το οποίο ο υπολογιστής μπορεί να γράψει στη μνήμη ό,τι μαθαίνει ή διαβάζει.
• Εγκαταστάσεις αυτόματη παραγωγή λογικών συμπερασμάτων, παρέχοντας τη δυνατότητα χρήσης των αποθηκευμένων πληροφοριών για την εύρεση απαντήσεων σε ερωτήσεις και την εξαγωγή νέων συμπερασμάτων.
• Εγκαταστάσεις μηχανική μάθηση, τα οποία σας επιτρέπουν να προσαρμόζεστε σε νέες συνθήκες, καθώς και να ανιχνεύετε και να προβάλλετε σημάδια τυπικών καταστάσεων.

Στο τεστ Turing, η άμεση φυσική αλληλεπίδραση του πειραματιστή και του υπολογιστή αποκλείεται σκόπιμα, καθώς η δημιουργία τεχνητής νοημοσύνης δεν απαιτεί φυσική μίμηση ενός ατόμου. Όμως στο λεγόμενο Ολοκληρωμένη δοκιμή Turingπροβλέπεται η χρήση σήματος βίντεο έτσι ώστε ο πειραματιστής να μπορεί να ελέγξει την ικανότητα του αντικειμένου δοκιμής να αντιλαμβάνεται και επίσης να μπορεί να παρουσιάζει φυσικά αντικείμενα "σε ελλιπή μορφή" (να τα περάσει "μέσω εκκόλαψης"). Για να περάσει το Turing Complete Test, ένας υπολογιστής πρέπει να έχει τις ακόλουθες ικανότητες:

• μηχανική όρασηνα αντιλαμβάνονται αντικείμενα.
• Εγκαταστάσεις ρομποτικήγια χειρισμό αντικειμένων και κίνηση στο χώρο.

Οι έξι γραμμές έρευνας που αναφέρονται σε αυτήν την ενότητα αποτελούν το μεγαλύτερο μέρος της τεχνητής νοημοσύνης και ο Turing αξίζει τις ευχαριστίες μας που πρότεινε ένα τεστ που εξακολουθεί να είναι σχετικό 50 χρόνια αργότερα. Ωστόσο, οι ερευνητές τεχνητής νοημοσύνης πρακτικά δεν ασχολούνται με το πρόβλημα της επιτυχίας του τεστ Turing, πιστεύοντας ότι είναι πολύ πιο σημαντικό να μάθουμε τις θεμελιώδεις αρχές της νοημοσύνης παρά να αντιγράψουμε έναν από τους φορείς της φυσικής νοημοσύνης. Συγκεκριμένα, το πρόβλημα της «τεχνητής πτήσης» λύθηκε με επιτυχία μόνο αφού οι αδελφοί Ράιτ και άλλοι ερευνητές σταμάτησαν να μιμούνται τα πουλιά και άρχισαν να μελετούν την αεροδυναμική. Στις επιστημονικές και τεχνικές εργασίες για την αεροναυπηγική, ο στόχος αυτού του γνωστικού πεδίου δεν ορίζεται ως «η δημιουργία μηχανών που, κατά την πτήση τους, θυμίζουν τόσο περιστέρια που μπορούν ακόμη και να εξαπατήσουν αληθινά πουλιά».