Una de las contribuciones fundamentales al conocimiento de la informtica ha
sido explicar, en un lugar nivel bsico, lo que son smbolos. Esta explicacin es una proposicin cientfica acerca de la naturaleza. Es empricamente derivados, con un desarrollo de largo y gradual. Los smbolos se encuentran en la raz de la accin inteligente, que es, por supuesto, el tema principal de la inteligencia artificial. Por lo dems, se trata de una cuestin principal para todos los com-ciencias de la computacin. Para toda la informacin es procesada por computadoras en el servicio de los fines, y medimos la inteligencia de un sistema por su capacidad para lograr declarado termina en la cara de las variaciones, las dificultades y complejidades que plantea el entorno de trabajo. Este general la inversin de la informtica en la consecucin de la inteligencia se oscurece cuando las tareas estn logrando son limitada en su alcance, porque entonces las variaciones de pleno derecho en el medio ambiente pueden preverse con exactitud. Se hace ms evidente a medida que extendemos a los ordenadores ms global, com-compleja y tareas intensivas en conocimiento - mientras intentamos hacer que nuestros agentes, capaz de manejar en su poseer las contingencias de pleno derecho del mundo natural. Cmo se define el concepto de Sistema de Smbolos Fsicos? ****Un sistema de smbolos fsica consiste en un conjunto de en-tidades, llamados smbolos, que son patrones fsicos que puede ocurrir como componentes de otro tipo de entidad llamado una expresin (o estructura de smbolos). Por lo tanto, una estructura de smbolo se compone de un nmero de casos (o fichas) de smbolos relacionados de alguna forma fsica (Como una ficha de estar al lado de la otra). A cualquiera instante de tiempo, el sistema contendr una coleccin de estas estructuras simblicas. Adems de estas estructuras, el sistema tambin contiene una coleccin de procesos que operar en las expresiones para producir otras expresiones: procesos de creacin, modificacin, reproduccin y destruccin. Un sistema de smbolo fsico es una mquina que produce a travs del tiempo una coleccin de evolucin estructuras simblicas. Un sistema de este tipo se dan en un mundo de los objetos ms amplio que estas expresiones simblicas s mismos Cul es la hiptesis de SSF? Un sistema de smbolos fsicos posee los medios necesarios y suficientes para realizar una accin inteligente genrica Sistema de Smbolos Fsicos: conjunto de entidades (smbolos) que componen otro tipo de entidades (expresiones o estructuras de smbolos). Es posible construir programas que realicen las tareas inteligentes que son realizadas por el ser humano. Explica las condiciones suficientes y necesarias. Cmo se puede desarrollar un SSF?
Un sistema smbolo fsico es una instancia de un universo versal de la mquina.
As, la hiptesis del sistema de smbolo implica que la inteligencia se realizar por una universal computadora. Sin embargo, la hiptesis va mucho ms all el argumento, hecha a menudo por motivos generales de la fsica Cal determinismo, que cualquier clculo que es realizable puede ser realizada por una mquina universal, siempre que est especificada. Para afirma especficamente que el Intelligent mquina es un sistema de smbolos, haciendo as una especfica afirmacin de la arquitectura sobre la naturaleza de inteligentes sistemas. Es importante entender cmo este adicional- surgi especificidad cional. 1.- La lgica formal. Las races de la hiptesis se remontan a el programa de Frege y de Whitehead y Russell para la formalizacin de la lgica: la captura de la conceptual bsico nociones de matemticas en la lgica y la puso a los no-ciones de la prueba y la deduccin en una posicin segura. Este esfuerzo culmin en la lgica matemtica nuestra familiarizado proposicionales, de primer orden y de orden superior lgicas. Eso desarrollado una vista caracterstica que, a menudo referido como el "juego de smbolos. 2.- Mquinas y Digital Computadora. El desarrollo de los primeros ordenadores digitales y de los autmatas teora, empezando por el propio trabajo de Turing en los aos 30, pueden tratarse juntos. Ellos estn de acuerdo en su visin de lo que es esencial. Vamos a utilizar un modelo propio de Turing, porque muestra las caractersticas bien. Una mquina de Turing consta de dos memorias: una in- cinta acotada y un control de estado finito. La cinta tiene los datos, es decir, los famosos ceros y unos. La mquina tiene un conjunto muy pequeo de las operaciones adecuadas - leer, escribir, y escanear las operaciones - en la cinta. La operacin de lectura no es una operacin de datos, sino que proporciona condicional de ramificacin a un estado de control como una funcin de los datos bajo la cabeza de lectura.