|
|
Une installation par Rob Godfrey Alan Mathison Turing (1912-1954) est souvent décrit comme 'le père de fondation 'de l'intelligence artificielle. En 1935, à l'université de Cambridge, Turing a décrit une machine à calculer qui s'est composée d'une mémoire sans limites et de la capacité d'indiquer et écrire à cette mémoire. Les actions de la machine sont dictées par un programme stocké dans sa mémoire. La machine à calculer hypothétique de Turing de 1935 est maintenant connue simplement comme machine universelle de Turing. Tous les ordinateurs modernes sont, essentiellement, les machines universelles de Turing. Le fait que la machine de Turing a un programme d'instructions stocké, et peut écrire à sa propre mémoire, suggérée qu'il pourrait être permis de la modifier doive posséder le programme - IE, la machine pourrait agir sous sa propre volonté - et ait été soutenu ainsi le champ de la recherche connu sous le nom de 'intelligence artificielle '. En jours tôt de AI, arrières dans les années 50 et le 60s, les espoirs étaient hauts et beaucoup de gens ont cru que dans peu de temps nous aurions des machines qui étaient intelligentes et pourrions penser. Ceci ne s'est pas produit. En 1965, Gordon Moore, fondateur d'Intel, a prévu que les microprocesseurs doubleraient dans la complexité tous les 18 mois. Ceci s'est produit et on le connaît comme loi de Moore. Cependant, il y a seulement tellement que vous pouvez vous entasser dessus à un disque de silicium et dans la décennie suivante ou ainsi les circuits contenus dans un microprocesseur seront mesurés sur une échelle atomique ; et vous ne pouvez pas devenir plus petit que celui ; au moins, pas dans l'univers newtonien. À la recherche pour des vitesses de traitement toujours plus rapides, les chercheurs avaient regardé des solutions de rechange à la conception traditionnelle de microprocesseur, telle que les ordinateurs d'ADN et les ordinateurs de quantum (qui seront toujours des machines de Turing). La chose est, n'importe comment les ordinateurs rapides vous vont bien sont toujours coincés avec le problème d'exprimer 'pensé 'comme formule mathématique, de sorte qu'elle puisse être courue par un programme machine. Dans l'ensemble, le banlieusard ne pourrait pas être décrit comme machine universelle de Turing, bien qu'elle emploie certains des mêmes principes et utilise 12 microcontrôleurs (ordinateurs minuscules). Les microcontrôleurs sont autonomes. Il n'y a aucun programme global de commande dans la commande. Cette installation permet au banlieusard d'agir comme une organization de base - à un niveau sans connaissance qu'elle réagira à son environnement - mais elle également est conçue pour permettre le banlieusard 'pensent '. Dans la section précédente, l'âme, quatre critères ont été identifiées en tant qu'étant essentielle à la pensée : Émotion, mémoire, mortalité et imperfection.
En 1854 un mathématicien anglais par le nom de George Boole a édité un papier appelé, une recherche sur les lois de la pensée, sur lesquelles sont fondées les théories et les probabilités mathématiques, dans lesquelles il a proposé que la logique des situations journalières soit sujette à des lois mathématiques et puisse être écrite dans une algèbre. L'algèbre booléenne est binaire, que les moyens quelque chose peuvent avoir la valeur 1 ou 0, oui ou non, vrai ou faux, haute ou bas, etc.., etc... Il n'y a aucun état d'intermédiaire. L'algèbre booléenne est les écrous et les boulons de la logique booléenne et a été contribuée à par les goûts d'Augustus De Morgan, qui était un collègue de George Boole. La logique booléenne peut, tout à fait logiquement, être bouilli vers le bas à trois principes de base : Et, ou et pas.
AND: tout doit être vrai
pour le résultat pour être vrai. Ces trois principes de base sont dérivés des postulats binaires suivants d'algèbre ; ce qui peut ou ne peut pas vous sembler raisonnable parfait : il n'importe pas vraiment dans le contexte de ce discours...
Postulats Booléens
Demi d'additionneurs peuvent seulement effectuer (bit deux) l'addition binaire à deux chiffres, qui est un tad pénible. Cependant, joignez deux half-adders ensemble et vous obtenez un plein additionneur qui peut effectuer quatre additions de chiffre (bit quatre). Maintenant nous pouvons continuer pour joindre de pleins additionneurs ensemble pour créer des choses comme les additionneurs d'ondulation et les additionneurs de lookahead, qui peuvent exécuter de grandes sommes. En ajustant les portes de logique, des additionneurs binaires peuvent être utilisés non seulement pour l'addition, mais également pour la soustraction, la multiplication et la division, qui leur permet de commander les données d'un ordinateur flux et traitent des instructions. Vous lisez ces mots sur l'écran d'une machine universelle de Turing, et travaux à la machine ce en employant 1 et 0 et logique simples de M. Boole's (une puce moderne peut contenir bien au-dessus d'million de portes de logique), qui est plutôt étonnante, quand vous pensez cela. Les microcontrôleurs du banlieusard 12 sont de petits ordinateurs qui emploient la logique booléenne comme décrit ci-dessus. Cependant, l'enabler de la pensée du banlieusard n'emploie pas la logique booléenne dans tout à fait la même manière qu'un ordinateur . Cet enabler peut être décrit comme 'cube en logique 'et il vit dans la station à la tête du cercueil. La structure physique des enabler cube-n'est pas formée réellement, mais plutôt elle emploie les propriétés mathématiques d'un cube - IE, six côtés et huit coins. En outre, gardant avec la philosophie du banlieusard étant plus mécanique que numérique, les portes de la logique du cube sont mises en application à l'aide des relais bon-vieux-façonnés ; un grand nombre elles dans la vue plate sous les plateformes de station de perspex, et chaque relais faisant un 'clic 'plutôt satisfaisant chaque fois qu'il fonctionne. (comme conseil vers la façon dont sa conscience fonctionne, ces 'clics 'sont pris par les sondes saines de Commuter's)
Essentiellement, ce que le cube en logique doit mettre au courant le banlieusard de se ; il fait le banlieusard savoir qu'il existe comme entité physique. Dans toute cette discussion on a à plusieurs reprises noté que jusqu'ici personne n'a pu exprimer 'pensé 'comme formule mathématique. Le cube en logique n'est pas la conscience du banlieusard ; plutôt il est l'une des composantes clés en créant les conditions dans lesquelles a pensé peut exister. Et la soixante-quatre-mille-dollar-question est, si la théorie fonctionne dans la pratique (la théorie qui pour des raisons évidentes n'a pas été entièrement indiquée sur ce site Web), si banlieusard vraiment 'pense ', ce qui il pensera environ ? Bien, rappelez-vous le banlieusard est imparfait et sait qu'elle va mourir, ainsi elle pourrait être quelque peu névrotique, tout comme nous des humains. En fait, le concept standard de AI 'd'une machine de pensée 'semble être fêlé, parce que si vous voulez une machine soit intelligente et impeccable vous le plus certainement ne voulez pas qu'elle pense aux choses trop. Si une machine intelligente pensait trop elle pourrait jaillir écartent le charger à disposition et vont au loin, et construisent par exemple un cercueil de cinquante pieds de long avec des trains de jouet fonctionnant autour à l'intérieur d'elle. La prochaine question est : comment saurons-nous si le banlieusard pense ? Nous connaîtrons en étudiant quel banlieusard écrit à sa mémoire (elle apprendra que juste comme un enfant ), et aussi si son comportement (mouvements de train, effets sains, effets de la lumière) change de ce qu'il est préprogrammé pour faire. Si le banlieusard atteint la conscience la première chose qu'elle devra penser environ gagne sa subsistance, parce que créant une entité aimez les coûts de banlieusard par sort terrible d'argent. Financies sont discutés dans la prochaine et finale section de cet emplacement.
![]()
|