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

Ένα τεστ που μετράει εάν μια συνθετική φωνή που βασίζεται σε υπολογιστή μπορεί να πει ένα αστείο με αρκετή ικανότητα ώστε να προκαλεί γέλιο στους ανθρώπους. Προτάθηκε από τον κριτικό κινηματογράφου Roger Ebert στο συνέδριο TED του 2011 ως πρόκληση για τους προγραμματιστές λογισμικού να έχουν μια ηλεκτρονική φωνή να κυριαρχεί στις κλίσεις, την παράδοση, το χρονοδιάγραμμα και τους τόνους ενός ανθρώπου που μιλάει. Το τεστ είναι παρόμοιο με το τεστ Τούρινγκ που προτάθηκε από τον Άλαν Τούρινγκ το 1950 ως τρόπο μέτρησης της ικανότητας ενός υπολογιστή να επιδεικνύει ευφυή συμπεριφορά δημιουργώντας απόδοση που δεν διακρίνεται από έναν άνθρωπο.

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

Επίσης παράγοντας διεπαφής.

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

Ένα διεπιστημονικό πεδίο έρευνας, στόχος του οποίου είναι να εξηγήσει τους μηχανισμούς που διέπουν την ευφυή συμπεριφορά. Περιλαμβάνει τρεις κύριες μεθοδολογίες: 1) τη μοντελοποίηση ψυχολογικών και βιολογικών συστημάτων με ολιστικό τρόπο που θεωρεί το μυαλό και το σώμα ως μια ενιαία οντότητα, 2) τον σχηματισμό ενός κοινού συνόλου γενικών αρχών ευφυούς συμπεριφοράς και 3) την πειραματική χρήση ρομποτικών παραγόντων σε ελεγχόμενα περιβάλλοντα.

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

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

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

Το μέρος της ηθικής της τεχνολογίας που είναι ειδικό για την τεχνητή νοημοσύνη.

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

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

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

Η υπόθεση ότι η ουσιαστική πρόοδος στην τεχνητή γενική νοημοσύνη (AGI) θα μπορούσε κάποια μέρα να οδηγήσει σε ανθρώπινη εξαφάνιση ή κάποια άλλη μη ανακτήσιμη παγκόσμια καταστροφή.

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

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

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

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

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

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

 Επίσης γνωστός ως λογισμός κατηγορήματος πρώτης τάξης και λογική κατηγορήματος.  

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

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

Ένα σύνολο λέξεων των οποίων τα γράμματα προέρχονται από ένα αλφάβητο και είναι καλοσχηματισμένα σύμφωνα με ένα συγκεκριμένο σύνολο κανόνων.

 Επίσης προς τα εμπρός συλλογισμός.  

Μία από τις δύο κύριες μεθόδους συλλογισμού κατά τη χρήση μιας μηχανής εξαγωγής συμπερασμάτων και μπορεί να περιγραφεί λογικά ως επαναλαμβανόμενη εφαρμογή του modus ponens. Η εμπρόσθια αλυσίδα είναι μια δημοφιλής στρατηγική εφαρμογής για συστήματα εμπειρογνωμόνων, επιχειρήσεις και συστήματα κανόνων παραγωγής. Το αντίθετο της εμπρόσθιας αλυσίδας είναι η αντίστροφη αλυσίδα. Η προς τα εμπρός αλυσοποίηση ξεκινά με τα διαθέσιμα δεδομένα και χρησιμοποιεί κανόνες συμπερασμού για την εξαγωγή περισσότερων δεδομένων (από έναν τελικό χρήστη, για παράδειγμα) μέχρι να επιτευχθεί ένας στόχος. Μια μηχανή εξαγωγής συμπερασμάτων που χρησιμοποιεί την εμπρόσθια αλυσίδα αναζητά τους κανόνες εξαγωγής συμπερασμάτων μέχρι να βρει έναν όπου το προηγούμενο (ρήτρα If) είναι γνωστό ότι είναι αληθές. Όταν βρεθεί ένας τέτοιος κανόνας, η μηχανή μπορεί να συμπεράνει ή να συναγάγει το επακόλουθο (Then clause), με αποτέλεσμα την προσθήκη νέων πληροφοριών στα δεδομένα της.

Μια δομή δεδομένων τεχνητής νοημοσύνης που χρησιμοποιείται για τη διαίρεση της γνώσης σε υποδομές αναπαραστώντας «στερεότυπες καταστάσεις». Τα πλαίσια είναι η κύρια δομή δεδομένων που χρησιμοποιείται στη γλώσσα πλαισίου τεχνητής νοημοσύνης.

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

Το πρόβλημα της εύρεσης επαρκών συλλογών αξιωμάτων για μια βιώσιμη περιγραφή ενός περιβάλλοντος ρομπότ.

 Επίσης φιλικό AI ή FAI.  

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

Η μελέτη της υποθέσεως πιθανών, πιθανών και προτιμώμενων μελλοντικών και των κοσμοθεωριών και των μύθων που τα κρύβουν.

Ένα σύστημα ελέγχου που βασίζεται στη ασαφή λογική — ένα μαθηματικό σύστημα που αναλύει τις αναλογικές τιμές εισόδου με όρους λογικών μεταβλητών που λαμβάνουν συνεχείς τιμές μεταξύ 0 και 1, σε αντίθεση με την κλασική ή ψηφιακή λογική, η οποία λειτουργεί σε διακριτές τιμές είτε του 1 είτε του 0 ( αληθές ή ψευδές, αντίστοιχα).

Μια απλή φόρμα για τη λογική πολλών τιμών, στην οποία οι τιμές αλήθειας των μεταβλητών μπορεί να έχουν οποιονδήποτε βαθμό "αλήθειας" που μπορεί να αναπαρασταθεί από οποιονδήποτε πραγματικό αριθμό στο εύρος μεταξύ 0 (όπως στο Εντελώς ψευδές) και 1 (όπως στο Πλήρως Αλήθεια) περιεκτική. Κατά συνέπεια, χρησιμοποιείται για τον χειρισμό της έννοιας της μερικής αλήθειας, όπου η τιμή αλήθειας μπορεί να κυμαίνεται μεταξύ εντελώς αληθούς και εντελώς ψευδούς. Σε αντίθεση με τη λογική Boole, όπου οι τιμές αλήθειας των μεταβλητών μπορεί να έχουν μόνο τις ακέραιες τιμές 0 ή 1.

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

Στην κλασική θεωρία συνόλων, η συμμετοχή των στοιχείων σε ένα σύνολο αξιολογείται με δυαδικούς όρους σύμφωνα με μια δισθενή συνθήκη — ένα στοιχείο είτε ανήκει είτε δεν ανήκει στο σύνολο. Αντίθετα, η θεωρία ασαφών συνόλων επιτρέπει τη σταδιακή αξιολόγηση της συμμετοχής των στοιχείων σε ένα σύνολο. Αυτό περιγράφεται με τη βοήθεια μιας συνάρτησης μέλους που υπολογίζεται στο πραγματικό διάστημα μονάδων [0, 1]. Τα ασαφή σύνολα γενικεύουν τα κλασικά σύνολα, καθώς οι συναρτήσεις δεικτών (γνωστές και ως χαρακτηριστικές συναρτήσεις) των κλασικών συνόλων είναι ειδικές περιπτώσεις των συναρτήσεων συμμετοχής των ασαφών συνόλων, εάν τα τελευταία λαμβάνουν μόνο τιμές 0 ή 1. Στη θεωρία ασαφών συνόλων, τα κλασικά δισθενή σύνολα συνήθως ονομάζονται τραγανά σετ. Η θεωρία των ασαφών συνόλων μπορεί να χρησιμοποιηθεί σε ένα ευρύ φάσμα τομέων στους οποίους οι πληροφορίες είναι ελλιπείς ή ανακριβείς, όπως η βιοπληροφορική.

Η μελέτη των μαθηματικών μοντέλων στρατηγικής αλληλεπίδρασης μεταξύ ορθολογιστών λήψης αποφάσεων.

Το γενικό παιχνίδι παιχνιδιών είναι ο σχεδιασμός προγραμμάτων τεχνητής νοημοσύνης για να μπορείτε να τρέξετε και να παίξετε περισσότερα από ένα παιχνίδια με επιτυχία.

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

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

Ένας τελεστής που χρησιμοποιείται σε γενετικούς αλγόριθμους για να καθοδηγήσει τον αλγόριθμο προς μια λύση σε ένα δεδομένο πρόβλημα. Υπάρχουν τρεις κύριοι τύποι τελεστών (μετάλλαξη, διασταύρωση και επιλογή), οι οποίοι πρέπει να λειτουργούν σε συνδυασμό μεταξύ τους για να είναι επιτυχής ο αλγόριθμος.

Ένας αλγόριθμος βελτιστοποίησης νοημοσύνης σμήνους που βασίζεται στη συμπεριφορά των glowworms (γνωστών και ως πυγολαμπίδες ή αστραπές).

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

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

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

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

 Επίσης αναζήτηση γραφήματος.  

Η διαδικασία επίσκεψης (έλεγχος ή/και ενημέρωση) κάθε κορυφής σε ένα γράφημα. Τέτοιες διελεύσεις ταξινομούνται με βάση τη σειρά με την οποία επισκέπτονται τις κορυφές. Η δενδροδιάσχιση αποτελεί ειδική περίπτωση της διάσχισης γραφημάτων. 

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

Ένα εσωτερικό στρώμα νευρώνων σε ένα τεχνητό νευρωνικό δίκτυο, που δεν είναι αφιερωμένο στην είσοδο ή την έξοδο.

Ένας νευρώνας σε ένα κρυφό στρώμα σε ένα τεχνητό νευρωνικό δίκτυο.

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

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

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

Ένα συστατικό του συστήματος που εφαρμόζει λογικούς κανόνες στη βάση γνώσεων για την εξαγωγή νέων πληροφοριών.

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

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

 Επίσης γνωστική επαύξηση, επαυξημένη νοημοσύνη μηχανών και ενισχυμένη νοημοσύνη.  

Η αποτελεσματική χρήση της τεχνολογίας των πληροφοριών για την ενίσχυση της ανθρώπινης νοημοσύνης. 

Ένα πιθανό αποτέλεσμα της οικοδόμησης της ανθρωπότητας τεχνητής γενικής νοημοσύνης (AGI). Το AGI θα ήταν ικανό για αναδρομική αυτοβελτίωση οδηγώντας σε ταχεία εμφάνιση της ASI (τεχνητής υπερνοημοσύνης), τα όρια της οποίας είναι άγνωστα, τη στιγμή της τεχνολογικής μοναδικότητας.

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

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

Επίσης εικονικός βοηθός ή προσωπικός ψηφιακός βοηθός.

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

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

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

 Επίσης δέντρο λογικής.  

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

 Επίσης Clique Tree.  

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

Στη μηχανική μάθηση, οι μέθοδοι πυρήνα είναι μια κατηγορία αλγορίθμων για ανάλυση προτύπων, των οποίων το πιο γνωστό μέλος είναι η μηχανή διανυσμάτων υποστήριξης (SVM). Το γενικό καθήκον της ανάλυσης προτύπων είναι να βρει και να μελετήσει γενικούς τύπους σχέσεων (για παράδειγμα συστάδες, ταξινομήσεις, κύρια συστατικά, συσχετίσεις, ταξινομήσεις) σε σύνολα δεδομένων.

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

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

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

Όλες οι τεχνικές, επιστημονικές και κοινωνικές πτυχές που εμπλέκονται στην κατασκευή, τη συντήρηση και τη χρήση συστημάτων βασισμένων στη γνώση.

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

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

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

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

Μια οικογένεια γλωσσών προγραμματισμού με μακρά ιστορία και μια χαρακτηριστική σημείωση προθέματος σε πλήρη παρένθεση.

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

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

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

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

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

Επίσης μαθηματικός προγραμματισμός.

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

 Επίσης ακρόαση υπολογιστή (CA).  

Ένας γενικός τομέας μελέτης αλγορίθμων και συστημάτων για την κατανόηση ήχου από μηχανήματα. 

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

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

 Επίσης Μηχατρονική Μηχανική.  

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

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

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

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

Στην προτασιακή λογική, το modus ponens είναι κανόνας συμπερασμάτων. Μπορεί να συνοψιστεί ως "P υπονοεί ότι το Q και το P βεβαιώνεται ότι είναι αληθές, επομένως το Q πρέπει να είναι αληθές."

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

Στην επιστήμη των υπολογιστών, η αναζήτηση δέντρου Monte Carlo (MCTS) είναι ένας ευρετικός αλγόριθμος αναζήτησης για ορισμένα είδη διαδικασιών λήψης αποφάσεων.

 Επίσης αυτοοργανωμένο σύστημα.  

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

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

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

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

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

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

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

 Επίσης, αναγνώριση οντοτήτων, τεμαχισμός οντοτήτων και εξαγωγή οντοτήτων.  

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

Μια βασική έννοια της αρχιτεκτονικής του Σημασιολογικού Ιστού στην οποία ένα σύνολο δηλώσεων Πλαισίου Περιγραφής Πόρων (ένα γράφημα) προσδιορίζεται χρησιμοποιώντας ένα URI, επιτρέποντας τη δημιουργία περιγραφών αυτού του συνόλου δηλώσεων όπως το πλαίσιο, οι πληροφορίες προέλευσης ή άλλα τέτοια μεταδεδομένα. Τα επώνυμα γραφήματα είναι μια απλή επέκταση του μοντέλου δεδομένων RDF μέσω του οποίου μπορούν να δημιουργηθούν γραφήματα, αλλά το μοντέλο δεν διαθέτει αποτελεσματικό μέσο διάκρισης μεταξύ τους μόλις δημοσιευθεί στον Ιστό γενικά.

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

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

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

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

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

Ένα επαναλαμβανόμενο μοντέλο νευρωνικών δικτύων. Τα NTM συνδυάζουν τις δυνατότητες αντιστοίχισης ασαφούς προτύπου των νευρωνικών δικτύων με την αλγοριθμική ισχύ των προγραμματιζόμενων υπολογιστών. Ένα NTM έχει έναν ελεγκτή νευρωνικού δικτύου συνδεδεμένο με εξωτερικούς πόρους μνήμης, με τους οποίους αλληλεπιδρά μέσω μηχανισμών προσοχής. Οι αλληλεπιδράσεις μνήμης είναι διαφοροποιήσιμες από άκρο σε άκρο, καθιστώντας δυνατή τη βελτιστοποίησή τους με χρήση gradient descent. Ένα NTM με ελεγκτή δικτύου μακράς βραχυπρόθεσμης μνήμης (LSTM) μπορεί να συναγάγει απλούς αλγόριθμους όπως η αντιγραφή, η ταξινόμηση και η συσχετιστική ανάκληση μόνο από παραδείγματα.

Συνδυασμοί τεχνητών νευρωνικών δικτύων και ασαφούς λογικής.

 Επίσης, διεπαφή εγκεφάλου-υπολογιστή (BCI), διεπαφή νευρικού ελέγχου (NCI), διεπαφή μυαλού-μηχανής (MMI), άμεση νευρική διεπαφή (DNI) ή διεπαφή εγκεφάλου-μηχανής (BMI).  

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

 Επίσης νευρομορφικός υπολογισμός.  

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

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

Ένας αλγόριθμος που, ακόμη και για την ίδια είσοδο, μπορεί να παρουσιάσει διαφορετικές συμπεριφορές σε διαφορετικές εκτελέσεις, σε αντίθεση με έναν ντετερμινιστικό αλγόριθμο.

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

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

Στη θεωρία της υπολογιστικής πολυπλοκότητας, ένα πρόβλημα είναι NP-complete όταν μπορεί να λυθεί από μια περιορισμένη κατηγορία αλγορίθμων αναζήτησης ωμής βίας και μπορεί να χρησιμοποιηθεί για την προσομοίωση οποιουδήποτε άλλου προβλήματος με παρόμοιο αλγόριθμο. Πιο συγκεκριμένα, κάθε είσοδος στο πρόβλημα θα πρέπει να συσχετίζεται με ένα σύνολο λύσεων πολυωνυμικού μήκους, των οποίων η εγκυρότητα μπορεί να ελεγχθεί γρήγορα (σε πολυωνυμικό χρόνο), έτσι ώστε η έξοδος για οποιαδήποτε είσοδο είναι "ναι" εάν το σύνολο λύσεων δεν είναι κενό και «όχι» αν είναι κενό.

Επίσης μη ντετερμινιστική πολυωνυμική σκληρότητα χρόνου.

Στη θεωρία υπολογιστικής πολυπλοκότητας, η καθοριστική ιδιότητα μιας κατηγορίας προβλημάτων που είναι, ανεπίσημα, "τουλάχιστον τόσο δύσκολα όσο τα δυσκολότερα προβλήματα στην NP". Ένα απλό παράδειγμα ενός NP-hard προβλήματος είναι το πρόβλημα του αθροίσματος υποσυνόλων.

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

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

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

Επίσης, εξαγωγή οντολογίας, δημιουργία οντολογίας ή απόκτηση οντολογίας.

Η κερδοσκοπική εταιρεία OpenAI LP, της οποίας ο μητρικός οργανισμός είναι ο μη κερδοσκοπικός οργανισμός OpenAI Inc που διεξάγει έρευνα στον τομέα της τεχνητής νοημοσύνης (AI) με τον δεδηλωμένο στόχο να προωθήσει και να αναπτύξει φιλική τεχνητή νοημοσύνη με τέτοιο τρόπο ώστε να ωφελήσει την ανθρωπότητα ως ένα ολόκληρο.

Ένα έργο που στοχεύει στη δημιουργία ενός πλαισίου τεχνητής νοημοσύνης ανοιχτού κώδικα. Το OpenCog Prime είναι μια αρχιτεκτονική για ρομπότ και εικονική ενσωματωμένη γνώση που ορίζει ένα σύνολο αλληλεπιδρώντων στοιχείων που έχουν σχεδιαστεί για να δημιουργούν τεχνητή γενική νοημοσύνη ισοδύναμη με τον άνθρωπο (AGI) ως αναδυόμενο φαινόμενο ολόκληρου του συστήματος.

Ένα έργο τεχνητής νοημοσύνης που βασίζεται στο Media Lab του Ινστιτούτου Τεχνολογίας της Μασαχουσέτης (MIT), στόχος του οποίου είναι να δημιουργήσει και να χρησιμοποιήσει μια μεγάλη βάση γνώσεων κοινής λογικής από τις συνεισφορές πολλών χιλιάδων ανθρώπων σε όλο τον Ιστό.

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

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

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

Το στάδιο ενός γενετικού αλγορίθμου στο οποίο επιλέγονται μεμονωμένα γονιδιώματα από έναν πληθυσμό για μεταγενέστερη αναπαραγωγή (χρησιμοποιώντας τον τελεστή διασταύρωσης).

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

 Επίσης δίκτυο πλαισίων.  

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

 Επίσης, μηχανισμός συλλογισμού, κινητήρας κανόνων ή απλώς συλλογιστικός.  

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

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

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

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

Μια επέκταση της λογικής Hoare, ένας τρόπος συλλογισμού για τα προγράμματα. Η γλώσσα διεκδίκησης της λογικής διαχωρισμού είναι μια ειδική περίπτωση της λογικής των ομαδοποιημένων συνεπειών (BI).

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

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

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

Ένας λογικός φορμαλισμός σχεδιασμένος για την αναπαράσταση και τον συλλογισμό σχετικά με δυναμικούς τομείς.

Επίσης απλά ανάλυση SLD.

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

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

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

Μια γλώσσα ερωτημάτων RDF —δηλαδή, μια σημασιολογική γλώσσα ερωτημάτων για βάσεις δεδομένων— ικανή να ανακτήσει και να χειριστεί δεδομένα που είναι αποθηκευμένα σε μορφή Πλαίσιο Περιγραφής Πόρων (RDF).

Ένα διεπιστημονικό υποπεδίο της υπολογιστικής γλωσσολογίας που αναπτύσσει μεθοδολογίες και τεχνολογίες που επιτρέπουν την αναγνώριση και μετάφραση της προφορικής γλώσσας σε κείμενο από υπολογιστές. Είναι επίσης γνωστό ως αυτόματη αναγνώριση ομιλίας (ASR), αναγνώριση ομιλίας υπολογιστή ή ομιλία σε κείμενο (STT). Ενσωματώνει γνώση και έρευνα στους τομείς της γλωσσολογίας, της επιστήμης των υπολογιστών και της ηλεκτρολογικής μηχανικής.

Ένα τεχνητό νευρωνικό δίκτυο που μιμείται περισσότερο ένα φυσικό νευρωνικό δίκτυο. Εκτός από τη νευρωνική και συναπτική κατάσταση, τα SNN ενσωματώνουν την έννοια του χρόνου στο λειτουργικό τους μοντέλο.

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

Στη μηχανική μάθηση και τη στατιστική, η ταξινόμηση είναι το πρόβλημα του προσδιορισμού σε ποια από ένα σύνολο κατηγοριών (υποπληθυσμούς) ανήκει μια νέα παρατήρηση, με βάση ένα εκπαιδευτικό σύνολο δεδομένων που περιέχει παρατηρήσεις (ή περιπτώσεις) των οποίων η συμμετοχή κατηγορίας είναι γνωστή. Παραδείγματα είναι η αντιστοίχιση ενός δεδομένου μηνύματος ηλεκτρονικού ταχυδρομείου στην κατηγορία "spam" ή "non-spam" και η ανάθεση διάγνωσης σε έναν δεδομένο ασθενή με βάση τα παρατηρούμενα χαρακτηριστικά του ασθενούς (φύλο, αρτηριακή πίεση, παρουσία ή απουσία ορισμένων συμπτωμάτων κ.λπ.) . Η ταξινόμηση είναι ένα παράδειγμα αναγνώρισης προτύπων.

Ένας επιμέρους κλάδος της τεχνητής νοημοσύνης και της μηχανικής μάθησης που ασχολείται με μοντέλα τομέα που παρουσιάζουν τόσο αβεβαιότητα (η οποία μπορεί να αντιμετωπιστεί χρησιμοποιώντας στατιστικές μεθόδους) όσο και σύνθετη, σχεσιακή δομή. Σημειώστε ότι η SRL μερικές φορές ονομάζεται Relational Machine Learning (RML) στη βιβλιογραφία. Συνήθως, οι φορμαλισμοί αναπαράστασης γνώσης που αναπτύχθηκαν στο SRL χρησιμοποιούν (ένα υποσύνολο) λογικής πρώτης τάξης για να περιγράψουν τις σχεσιακές ιδιότητες ενός τομέα με γενικό τρόπο (καθολική ποσοτικοποίηση) και βασίζονται σε πιθανολογικά γραφικά μοντέλα (όπως δίκτυα Bayesian ή δίκτυα Markov) Μοντελοποίηση της αβεβαιότητας. Μερικοί βασίζονται επίσης στις μεθόδους προγραμματισμού επαγωγικής λογικής.

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

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

Το Stanford Research Institute Problem Solver, γνωστό με το ακρωνύμιο STRIPS, είναι ένας αυτοματοποιημένος σχεδιαστής που αναπτύχθηκε από τους Richard Fikes και Nils Nilsson το 1971 στο SRI International.[1] Το ίδιο όνομα χρησιμοποιήθηκε αργότερα για να αναφέρεται στην επίσημη γλώσσα των εισροών αυτού του σχεδιαστή. Αυτή η γλώσσα είναι η βάση για τις περισσότερες από τις γλώσσες για την έκφραση αυτοματοποιημένων περιπτώσεων προβλημάτων προγραμματισμού που χρησιμοποιούνται σήμερα. τέτοιες γλώσσες είναι κοινώς γνωστές ως γλώσσες δράσης. Αυτό το άρθρο περιγράφει μόνο τη γλώσσα, όχι τον προγραμματιστή.

Ένας εμπειρογνώμονας σε θέματα (SME) είναι ένα άτομο που έχει συσσωρεύσει μεγάλη γνώση σε έναν συγκεκριμένο τομέα ή θέμα και αυτό το επίπεδο γνώσης αποδεικνύεται από το πτυχίο, την άδεια ή/και από χρόνια επαγγελματικής εμπειρίας στο αντικείμενο, π.χ. Το διδακτορικό στη χημεία θα μπορούσε εύκολα να δηλωθεί ως ΜΜΕ στη χημεία ή ως άτομο με Άδεια Ραδιοτηλεγράφου Δεύτερης Κατηγορίας (ή ισοδύναμη) που εκδίδεται από τον εθνικό φορέα αδειοδότησης (Ομοσπονδιακή Επιτροπή Επικοινωνιών στις Ηνωμένες Πολιτείες,[1] Ofcom στο Ηνωμένο Βασίλειο, [2] και την Εθνική Επιτροπή Τηλεπικοινωνιών στις Φιλιππίνες,[3] και άλλες αρχές σε όλο τον κόσμο) θα μπορούσαν να θεωρηθούν ΜΜΕ στον ραδιοτηλέγραφο.

Ένας υποθετικός πράκτορας που διαθέτει νοημοσύνη που ξεπερνά κατά πολύ εκείνη των πιο λαμπρών και ταλαντούχων ανθρώπινων μυαλών. Η υπερευφυΐα μπορεί επίσης να αναφέρεται σε μια ιδιότητα συστημάτων επίλυσης προβλημάτων (π.χ. υπερέξυπνοι μεταφραστές γλωσσών ή βοηθοί μηχανικών) ανεξάρτητα από το αν αυτές οι υψηλού επιπέδου πνευματικές ικανότητες ενσωματώνονται ή όχι σε πράκτορες που δρουν στον φυσικό κόσμο. Μια υπερευφυΐα μπορεί ή δεν μπορεί να δημιουργηθεί από μια έκρηξη πληροφοριών και να σχετίζεται με μια τεχνολογική μοναδικότητα.

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

Στη μηχανική μάθηση, οι μηχανές διανύσματος υποστήριξης (SVM, επίσης δίκτυα διανυσμάτων υποστήριξης) είναι εποπτευόμενα μοντέλα μάθησης με σχετικούς αλγόριθμους μάθησης που αναλύουν δεδομένα που χρησιμοποιούνται για ανάλυση ταξινόμησης και παλινδρόμησης.

Η συλλογική συμπεριφορά αποκεντρωμένων, αυτοοργανωμένων συστημάτων, είτε φυσικών είτε τεχνητών. Η έκφραση εισήχθη στο πλαίσιο των κυτταρικών ρομποτικών συστημάτων.

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

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

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

 Επίσης απλά η μοναδικότητα.  

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

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

Μια θεωρία της λειτουργίας του εγκεφάλου (ιδιαίτερα αυτή της παρεγκεφαλίδας) που παρέχει ένα μαθηματικό μοντέλο μετατροπής των αισθητηριακών χωροχρονικών συντεταγμένων σε κινητικές συντεταγμένες και αντίστροφα από παρεγκεφαλιδικά νευρωνικά δίκτυα. Η θεωρία αναπτύχθηκε ως γεωμετρία της λειτουργίας του εγκεφάλου (ειδικά του κεντρικού νευρικού συστήματος) χρησιμοποιώντας τανυστές.

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

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

 Στη θεωρητική επιστήμη των υπολογιστών και στα μαθηματικά, η θεωρία του υπολογισμού είναι ο κλάδος που ασχολείται με το πόσο αποτελεσματικά μπορούν να λυθούν προβλήματα σε ένα μοντέλο υπολογισμού, χρησιμοποιώντας έναν αλγόριθμο. Το πεδίο χωρίζεται σε τρεις μεγάλους κλάδους: θεωρία και γλώσσες αυτόματα, θεωρία υπολογισιμότητας και θεωρία υπολογιστικής πολυπλοκότητας, οι οποίοι συνδέονται με το ερώτημα: «Ποιες είναι οι θεμελιώδεις δυνατότητες και οι περιορισμοί των υπολογιστών;».  

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

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

 Συντομογραφία H  ή h .  

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

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

 Επίσης αναζήτηση δέντρου.  

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

Στη θεωρία της υπολογιστικής πολυπλοκότητας, η γλώσσα TQBF είναι μια επίσημη γλώσσα που αποτελείται από τους αληθινούς ποσοτικοποιημένους τύπους Boolean. Ένας (πλήρως) ποσοτικοποιημένος τύπος Boolean είναι ένας τύπος στην ποσοτικοποιημένη προτασιακή λογική όπου κάθε μεταβλητή ποσοτικοποιείται (ή δεσμεύεται), χρησιμοποιώντας είτε υπαρξιακούς είτε καθολικούς ποσοτικούς δείκτες, στην αρχή της πρότασης. Ένας τέτοιος τύπος είναι ισοδύναμος είτε με αληθή είτε με ψευδή (αφού δεν υπάρχουν ελεύθερες μεταβλητές). Εάν ένας τέτοιος τύπος αξιολογηθεί ως αληθής, τότε αυτός ο τύπος είναι στη γλώσσα TQBF. Είναι επίσης γνωστό ως QSAT (Quantified SAT).

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

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

Στις γλώσσες προγραμματισμού, ένα σύνολο κανόνων που εκχωρεί μια ιδιότητα που ονομάζεται type στις διάφορες δομές ενός προγράμματος υπολογιστή, όπως μεταβλητές, εκφράσεις, συναρτήσεις ή λειτουργικές μονάδες. Αυτοί οι τύποι επισημοποιούν και επιβάλλουν τις κατά τα άλλα σιωπηρές κατηγορίες που χρησιμοποιεί ο προγραμματιστής για αλγεβρικούς τύπους δεδομένων, δομές δεδομένων ή άλλα στοιχεία (π.χ. "string", "array of float", "function returning boolean"). Ο κύριος σκοπός ενός συστήματος τύπου είναι να μειώσει τις πιθανότητες για σφάλματα σε προγράμματα υπολογιστών ορίζοντας διεπαφές μεταξύ διαφορετικών τμημάτων ενός προγράμματος υπολογιστή και στη συνέχεια ελέγχοντας ότι τα μέρη έχουν συνδεθεί με συνεπή τρόπο. Αυτός ο έλεγχος μπορεί να γίνει στατικά (κατά το χρόνο μεταγλώττισης), δυναμικά (κατά το χρόνο εκτέλεσης) ή ως συνδυασμός στατικού και δυναμικού ελέγχου. Τα συστήματα τύπου έχουν και άλλους σκοπούς, όπως η έκφραση επιχειρηματικών κανόνων, η ενεργοποίηση ορισμένων βελτιστοποιήσεων μεταγλωττιστή, η δυνατότητα πολλαπλής αποστολής, η παροχή μιας μορφής τεκμηρίωσης κ.λπ.

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

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

Ένα σύστημα υπολογιστή που απαντά σε ερωτήσεις, ικανό να απαντά σε ερωτήσεις που τίθενται σε φυσική γλώσσα, που αναπτύχθηκε στο έργο DeepQA της IBM από μια ερευνητική ομάδα με επικεφαλής τον κύριο ερευνητή David Ferrucci. Ο Watson πήρε το όνομά του από τον πρώτο CEO της IBM, τον βιομήχανο Thomas J. Watson.

 Επίσης στενό AI.  

Τεχνητή νοημοσύνη που επικεντρώνεται σε ένα μικρό έργο. 

Ο κύριος διεθνής οργανισμός προτύπων για τον Παγκόσμιο Ιστό (συντομογραφία WWW ή W3).