La Lgica Computacional y el Pensamiento Humano:

Cmo ser artificialmente Inteligente

escrito por el

Profesor Emrito Robert A. Kowalski

Imperial College, Reino Unido

Lgica Computacional y el pensamiento humano: Cmo ser artificialmente inteligente

Robert Kowalski

Departamento de Informtica Imperial College London

http://www.doc.ic.ac.uk/rak/ 21 de noviembre 2010

http://www.doc.ic.ac.uk/rak/papers/newbook.pdf)

Para ser publicado por Cambridge University Press

Page 1

Pgina 2

1 Prefacio La mera posibilidad de la Inteligencia Artificial (AI) - de las mquinas que pueden pensar y actuar de forma inteligente como los humanos - puede generar emociones fuertes. Mientras que algunos entusiastas estn entusiasmados por la idea de que una mquina da puede llegar a ser ms inteligentes que las personas, muchos de sus crticos ven como una perspectiva de horror. En parte debido a estas controversias atraen mucho la atencin, uno de los logros ms importantes de la IA ha pasado casi desapercibido: el hecho que muchos de sus avances tambin se puede utilizar directamente por la gente, para mejorar su propia inteligencia humana. El principal de estos avances es Computacional Lgica. Lgica Computacional se basa en la lgica tradicional, que originalmente desarrollado para ayudar a las personas piensan con mayor eficacia. Se emplea las tcnicas de la lgica simblica, que se ha empleado en crear los fundamentos de las matemticas y la informtica. Sin embargo, en comparacin con la lgica tradicional, La lgica Computacional es mucho ms potente, y en comparacin con la lgica simblica, es mucho ms simple y ms prctico. Aunque las aplicaciones de lgica informtica en la IA requieren el uso de notacin matemtica, sus aplicaciones en seres humanos no lo hacen. Como consecuencia de ello, he escrito la mayor parte de este libro, de manera informal, para llegar al mayor nmero de audiencia posible. Porque el pensamiento humano es tambin objeto de estudio en muchos otros campos, que se han basado en estudios relacionados en Cognitiva Psicologa, Lingstica, Filosofa, Derecho, Gestin de la Ciencia y de Ingls Composicin. De hecho, la variante de la lgica computacional presenta en este libro se basa no slo de la evolucin de la lgica de la IA, sino tambin de muchos otros la representacin del conocimiento y de forma complementaria y competitiva problema la solucin de paradigmas. En particular, se incorpora representaciones de procedimiento de conocimiento de AI y Computacin, los sistemas de produccin de AI y Ciencia Cognitiva y anlisis de decisiones de Ciencias de la Administracin, Psicologa cognitiva y filosofa. Debido Lgica Computacional tiene tantas aplicaciones y tantas relaciones con otros campos, el, uso final ideal de este libro sera como texto compaero para una licenciatura en el pensamiento prctico. Tal carrera sera combinar las virtudes tradicionales de los artes liberales la educacin de las habilidades de argumentacin de la filosofa analtica, los rigores de mtodo cientfico y los beneficios modernos de tecnologa de la informacin. Lo se proporcionar al estudiante el pensamiento transferible y comunicacin habilidades necesarias no slo para los estudios ms especializados, sino tambin para que los problemas no caigan en reas perfectamente clasificados. Por lo que yo s, nada que se aproxime a un curso tal grado existe en la actualidad; y por lo que puedo ver, no hay tal carrera es probable que exista en el corto futuro. La lgica como disciplina acadmica, tal como existe hoy en da, est fragmentada

Pgina 3

2 entre las Matemticas, Filosofa y Computacin. Por otra parte, las aplicaciones prcticas de la lgica informal son en su mayora enterradas en el interior otras disciplinas acadmicas, como Derecho, Ciencias de la Administracin y Composicin Ingls. Ninguna de estas disciplinas podran acoger un curso como medida de su cuenta, y algunos les daran la bienvenida a una expansin de la lgica como en su propio campo. Tal vez un da, una institucin educativa har espacio para un ttulo curso se centra en la manera de pensar. Mientras tanto, este libro se puede utilizar como un suplemento a los cursos ms convencionales. Para aquellos que ya tienen completado su educacin formal, que puede proporcionar una visin de un posible mundo futuro. Al escribir este libro, me he tomado la molestia de evitar falsear la sujeta por un exceso de simplificacin. Por esta razn, he incluido una serie de captulos adicionales, ms avanzados, que llenan en algunos de los contrario faltan detalles tcnicos. Estos captulos se pueden saltar con seguridad por el informal lector. Tomado por s mismos, que proporcionan una introduccin autnomo y referencia a las bases formales de la Lgica Computacional utilizado en este libro. Tambin he sido sensible al hecho de que, porque me dirijo a los problemas de Estilo de escritura Ingls, estoy invitando a la atencin a las deficiencias de mi propia estilo de escritura. En defensa, djame sostengo que sin la ayuda de cmputo Lgica, mi escritura sera mucho peor. Cuando comenc mis estudios universitarios en la Universidad de Chicago Hace aos, mi escritura era tan mala que fall el examen de colocacin y tuvo que tomar una, sin crdito extra, curso de recuperacin. Termin el ao con As en todos mis otros temas, pero con una D en habilidades de escritura Ingls. Tard aos para diagnosticar los problemas con mi forma de escribir y aprender cmo mejorar ella. En el curso de hacerlo, aprend ms sobre la lgica prctica de lo que hice en ninguno de mis cursos de lgica formal. Me gusta creer que mi escritura es mucho mejor hoy de lo que fue durante mi primer ao en Chicago. Pero lo ms importante, Esperamos que las lecciones que aprend tambin ser de utilidad para algunos de los lectores de este libro. Le di un curso corto sobre la base de este libro en el Centro Internacional de Lgica Computacional (CILC) 2008 Escuela de Verano en Computacin Lgica y Ciencia Cognitiva. Una copia de las diapositivas que acompaa el curso puede se encuentra en: http://www.computational-logic.org/content/events/iccl-ss- 2008/lectures.php? Id = 24 Jacinto Dvila, se ha utilizado una versin anterior de este libro para un curso en Universidad de Los Andes, Venezuela. Aqu hay un enlace a su espaol Traduccin: http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica- de-agentes.html

Pgina 4

3 Estoy muy agradecido a Jacinto, Tom Blackson, Franois Bry, Tony Burton, Keith Clark, Phan Minh Dung,, Maarten van Emden, Steffen Hoelldobler, Luis Pereira, Yongyuth Permpoontanalarp, Fariba Sadri, Keith Stenning, Dania Kowalska-Taylor, Sten-Ake Tarnlund, Jeff Thompson, Francesca Toni y Mike Tunstall por sus comentarios sobre los primeros borradores del libro. Para Bob, John y Mary

Pgina 5

4 Contenido Resumen y el Plan del Libro................................................................................. pgina 4 Introduccin................................................................................................................... 14 Captulo 1 lgico en el metro......................................................................................... 22 Captulo 2 La psicologa de la lgica............................................................................. 38 Captulo 3 El zorro y el cuervo....................................................................................... 54 Captulo 4 Buscar............................................................................................................ 65 Captulo 5 La negacin como fracaso..............................................................................75 Captulo 6 Cmo convertirse en un ciudadano britnico................................................. 92 Captulo 7 El Piojo y el Explorador de Marte................................................................ 108 Captulo 8 Objetivos de mantenimiento como la fuerza impulsora de la vida............... 123 Captulo 9 El sentido de la vida..................................................................................... 141 Captulo 10 Abduccin................................................................................................... 150 Captulo 11 El dilema del prisionero............................................................................. 160 Captulo 12 Motivaciones Materia................................................................................. 171 Captulo 13 El cambiante mundo.................................................................................. 182 Captulo 14 La lgica y objetos..................................................................................... 196 Captulo 15 bicondicionales........................................................................................... 206 Captulo 16 Lgica Computacional y la tarea de seleccin........................................... 217 Captulo 17 Meta-lgica.................................................................................................232 Conclusiones.................................................................................................................. 247 Captulo A1 La sintaxis de la forma lgica.................................................................... 251 Captulo A2 Verdad...................................................................................................... 267 Captulo A3 adelante y razonar hacia atrs................................................................... 278 Captulo A4 Modelos y Negacin mnimo. .................................................................. 284 Captulo A5 La Regla de Resolucin........................................................................... 290 Captulo A6 La lgica de la programacin lgica abductiva........... 301 Referencias.................................................................................................................. 318

Pgina 6

5 Resumen y Plan de la Reserva Debido a que este libro se extiende sobre una amplia variedad de temas, es til resumir las relaciones entre los diferentes captulos en un solo lugar. Sin embargo, en lugar de colocar este resumen al final del libro, donde todos de sus trminos ya se han explicado en detalle, he decidido presentarlo aqu, en consonancia con el espritu general del libro que es mejor trabajar hacia atrs desde el destino, que a tropezar hacia adelante, preguntndose a dnde va. Por lo tanto, este resumen puede ser ledo o bien antes o despus de que el cuerpo principal del libro. Pero tambin se puede leer en paralelo, para obtener una mejor orientacin de los cmo se relacionan los distintos captulos. Introduccin. En Inteligencia Artificial, un agente es cualquier entidad, incrustado en un mundo real o artificial, que se puede observar la evolucin del mundo y llevar a cabo acciones en el mundo para mantenerse en una relacin armoniosa con el mundo. Lgica Computacional, tal como se utiliza en Inteligencia Artificial, es el agente de lenguaje del pensamiento. Frases expresadas en este idioma representan las creencias del agente sobre el mundo tal como es y sus metas para la forma en que le gustara que sea. El agente utiliza sus metas y creencias para controlar su comportamiento. El agente utiliza las reglas de inferencia de la lgica computacional, aplicando a sus ideas en forma lgica, a la razn del mundo y para obtener acciones para cambiar el mundo para su propio beneficio. Estas reglas de inferencia son tanto el razonamiento hacia adelante para derivar consecuencias de sus observaciones y razonamiento hacia atrs para reducir sus metas de sub-objetivos y acciones. El agente Tambin puede utilizar el razonamiento hacia adelante para deducir consecuencias de las acciones candidatos, para ayudar a elegir entre los candidatos alternativos. Aunque el propsito principal de la lgica computacional es para representar unos pensamientos privados del agente y controlar su behavour, el agente puede tambin utilizar Lgica Computacional para guiar sus comunicaciones pblicas con otros agentes. Mediante la expresin de sus comunicaciones en una forma ms lgica, un orador o escritor puede hacer que sea ms fcil para el oyente o el lector de traducir los comunicaciones en los pensamientos de su propia. Captulo 1 lgico en el metro. El metro de Londres Aviso de emergencia ilustra la manera en la que los significados de Ingls comunicaciones pueden ser entendidas como pensamientos en forma lgica. En Lgica Computacional, estos pensamientos tienen tanto una lgica y computacional carcter. Su carcter lgico es evidente en su uso explcito de lgica conectivos, como cualquier, si corresponde, y, no, y su carcter computacional es manifiesta en su uso como procedimientos para reducir metas a sub-objetivos. Porque

Page 7

6 de este carcter lgico y de clculo dual, frases expresadas en este formar tambin se conocen como programas lgicos. El aviso de emergencia tambin ilustra cmo el uso coherente de Ingls comunicaciones pueden ser entendidas en trminos de conexiones lgicas entre los significados de esas comunicaciones y otros pensamientos en la web de un agente de las metas y creencias. Una vez que el agente ha realizado las conexiones, el agente puede activarlos mediante el razonamiento hacia adelante o hacia atrs, cuando surja la necesidad. Las conexiones que se activan con frecuencia se pueden contraer en los objetivos derivados o creencias, que pueden ser utilizados ms directa y ms eficaz en el futuro. Captulo 2 La psicologa de la lgica. El ms influyente y ampliamente argumento citado en contra de la lgica proviene de experimentos psicolgicos sobre razonando con frases del lenguaje natural en forma condicional. El ms interpretacin popular de estos experimentos es que la gente no tiene capacidad de uso general natural para razonar lgicamente, pero se han desarrollado en cambio, a travs de los mecanismos de la evolucin darwiniana, especializada algoritmos para la solucin de los problemas tpicos que surgen en su entorno. En este captulo I se discuten algunas de las cuestiones implicadas en la solucin de estos tareas de razonamiento, y sostener que uno de los principales problemas con el experimentos es que fallan en apreciar que la forma de un lenguaje natural condicional es slo una aproximacin a la forma lgica de su pretendida significado. Otro problema es que la interpretacin de estos experimentos es sobre la base de una comprensin inadecuada de la relacin entre el conocimiento y el razonamiento. En Lgica Computacional aplicada a humanos pensamiento, esta relacin se puede expresar en lugar libremente como una ecuacin: pensando = conocimiento especializado + razonamiento de propsito general. Captulo 3 El zorro y el cuervo. La fbula de Esopo de la zorra y el cuervo ilustra el razonamiento hacia atrs de un zorro astuto, para generar un plan para lograr la meta de tener el queso de un cuervo no tan inteligente. Contrasta la proactiva, el razonamiento hacia atrs del zorro con reactivo de gallo, adelante razonamiento, para responder a la alabanza de la zorra al romper a cantar, con lo que dejando caer el queso a la tierra, donde el zorro puede recogerlo. Tanto el zorro y la razn del cuervo, de conformidad con las reglas de inferencia de Computacional Lgica, pero el zorro tiene un mejor conocimiento del mundo, y cuenta con ms maneras de gran alcance de la utilizacin de ese conocimiento para su propio beneficio. Si el cuervo saba tanto como el zorro y fueron capaces de razonar proactivamente, pensar antes de actuar, entonces podra razonar hacia adelante desde la hipottica desempeo de sus acciones candidatos, predecir sus probables consecuencias, y elegir una accin alternativa, como el vuelo de distancia o tragar el queso, que logra un estado que resulta ms esperada de los asuntos. Captulo 4 Buscar. En Lgica Computacional, un procedimiento de prueba consiste en un conjunto de reglas de inferencia y una estrategia de bsqueda. Las reglas de inferencia

Pgina 8

7 determinar tanto la estructura de las pruebas y el espacio de bsqueda de todas las posibles pruebas pertinentes a la solucin de un objetivo. La estrategia de bsqueda determina el manera en la que se explora el espacio de bsqueda en la bsqueda de una solucin. Muchas diferentes estrategias de bsqueda son posibles, tanto en paralelo estrategias, que exploran diferentes partes del espacio de bsqueda al mismo tiempo, y ms primeras estrategias, cuyo objetivo es encontrar la mejor solucin posible en el menor cantidad de tiempo. Captulo 5 La negacin como fracaso. En la semntica computacional La lgica, el mundo es un lugar positivo, caracterizado por la atmica positivo oraciones que son verdaderas en el momento. Debido a que el propsito final de un metas y creencias del agente es la gestin de sus interacciones con el mundo, los forma sintctica de los pensamientos del agente tambin tiene un sesgo positivo correspondiente. En muchos casos, sintcticamente pensamientos negativos surgen de la falta de observar o sacar informacin positiva. La negacin como fracaso es un modo natural de razonar de forma predeterminada con incompleto informacin, las conclusiones derivadas bajo la suposicin de que el agente sabe todo, pero con gracia retirar esas conclusiones si hay nueva informacin muestra que ellos no tienen. Tambin facilita formas de ms alto nivel de la organizacin de las metas y creencias en las jerarquas de las normas y excepciones, en que las reglas representan slo las condiciones ms importantes, y los excepciones aadir condiciones adicionales cuando se necesitan. Captulo 6 Cmo convertirse en un ciudadano britnico. La nacionalidad britnica Ley es un conjunto de oraciones en ingls, que establece con precisin las condiciones en virtud del cual una persona puede adquirir, renunciar o ser privado de British ciudadana. La ley est diseada para ser a la vez ambiguo, por lo que no es poco duda sobre su significado previsto, y flexible, de modo que se puede aplicar a las circunstancias cambiantes. Su estilo Ingls se asemeja a la forma condicional de sentencias en Lgica Computacional. Adems de su uso de forma condicional, la Ley de nacionalidad britnica ilustra muchas otras caractersticas importantes de Lgica Computacional, incluyendo la representacin de las reglas y excepciones, y el razonamiento meta-nivel sobre lo que se necesita para que una persona, como t o como yo, para satisfacer a la Secretara de Estado que la persona cumple los requisitos para la naturalizacin como ciudadano britnico. A diferencia de la Ley de nacionalidad britnica, la Universidad de Michigan Lase Clusula de rescisin muestra cmo un ambigua, casi ininteligible Texto Ingls se puede hacer comprensible reformulando en Estilo Lgica Computacional. Captulo 7 El Piojo y el Explorador de Marte . Podra decirse que la mayor parte modelo computacional influyentes del pensamiento humano en Psicologa Cognitiva es el modelo de sistema de produccin, como se ilustra en este captulo por la madera

Pgina 9 8 piojo y la Mars Explorer robot. Los sistemas de produccin se combinan un trabajo la memoria de los hechos atmicos con reglas de condicin-accin de la forma si las condiciones entonces las acciones. La memoria de trabajo es como un modelo de la situacin actual de la mundo, y las reglas son como las metas y creencias de un agente. Las reglas de condicin-accin estn integradas en una observacin-pensamiento-ciclo de toma de accin y se ejecutan haciendo coincidir las condiciones de reglas con los hechos en la memoria de trabajo y la generacin de las acciones de reglas acciones candidatos. Esta forma de ejecucin se llama encadenamiento hacia adelante, que es similar al razonamiento hacia adelante. Si ms de una accin candidato generada de esta manera, a continuacin, un proceso, llamado resolucin de conflictos, se utiliza para resolver el empate. La accin elegida se ejecuta a continuacin, cambiar el estado de la memoria de trabajo, la simulacin de la forma de las acciones de un agente cambiar el estado del mundo. Desde un punto de vista lgico, hay tres tipos de condicin-accin reglas: reglas de reactivos, que son como instintiva estmulo-respuesta asociaciones, las reglas de reduccin de metas, que reducen las metas a sub-objetivos por encadenamiento hacia adelante, y las reglas de razonamiento hacia adelante, que realizan genuina razonamiento lgico hacia adelante. Captulo 8 Objetivos de mantenimiento como la fuerza impulsora de la vida . La modelo de agente se presenta en este libro combina las funcionalidades de la lgica y sistemas de produccin en un marco lgico. El marco lleva desde sistemas de produccin del ciclo de observacin-pensamiento-decisin-accin, pero sustituye a las reglas de condicin-accin por objetivos y creencias en la forma lgica de condicionales. Sustituye reglas reactivas de objetivos de mantenimiento utilizados para razonar forwards, las reglas de objetivos de reduccin de las creencias se utilizan para razonar hacia atrs, y forward reglas de razonamiento por creencias utilizados para razonar hacia adelante. En el modelo de agente lgico, el ciclo agente responde a las observaciones del medio ambiente por delante de razonamiento con las creencias, hasta que se obtiene una conclusin de que coincide con una de las condiciones de una meta de mantenimiento. Lo razones al revs, para comprobar las dems condiciones de la meta de mantenimiento. Si todas las condiciones de la meta de mantenimiento se muestran para mantener de esta manera, se razones delante un paso, que se deriva la conclusin de la meta de mantenimiento como una meta de logro. A continuacin, comienza a razonar hacia atrs con sus creencias reducir la meta de logro de un plan de acciones candidatos. Se decide entre las diferentes acciones candidatas, y comienza a ejecutar un plan. Si necesario, detiene la ejecucin del plan, para procesar otros observaciones, intercalado el plan con otros planes. Captulo 9 El sentido de la vida. El marco lgico de la precede captulo ve la vida de un agente controlado por los cambios que tienen lugar en el mundo, por sus propias metas y creencias, y por las decisiones de la agente hace entre las diferentes formas de lograr sus objetivos. La combinacin de sus creencias y sus objetivos de ms alto nivel genera una jerarqua de objetivos y

Pgina 10

9 sub-objetivos. Sin embargo, en aras de la eficiencia, esta jerarqua puede ser se derrumb en una coleccin de asociaciones estmulo-respuesta ms directa, cuyos objetivos originales ya no son evidentes, pero estn implcitos y emergentes. En Inteligencia Artificial y Computacin en general, es comn para un diseador inteligente para implementar un agente artificial que no se contener una representacin explcita de sus objetivos de alto nivel. El diseador es conscientes de los objetivos del agente, sino que el propio agente no es. Por lo que el agente es refiere, su vida puede parecer completamente sin sentido. En este captulo, contrastamos la vida aparentemente sin sentido de un imaginario, cochinilla artificial, con la vida ms significativa de un agente inteligente, en el que las asociaciones estmulo-respuesta y el conocimiento de objetivos de alto nivel se combinan. Captulo 10 Secuestro (Abduction). Una de las principales funciones de las creencias de un agente es para representar las relaciones causales entre sus experiencias. Utiliza el agente estas representaciones causales tanto de manera proactiva para generar planes para lograr su metas y preactively para derivar consecuencias de las acciones candidatas para ayudar a elegir entre las acciones candidatos alternativos. Sin embargo, el agente tambin puede utilizar las mismas creencias causales abductivamente para generar hiptesis para explicar su observaciones y para deducir consecuencias de hiptesis candidatos para ayudar a elegir entre hiptesis alternativas. Este proceso de generacin y eleccin de hiptesis para explicar las observaciones se llama secuestro. Al igual que el razonamiento por defecto con la negacin como fracaso, el secuestro es revocable en el sentido de que la informacin nueva puede causar una conclusin derivada previamente ser retirada. Captulo 11 El dilema del prisionero . El problema de decidir entre las explicaciones abductivas alternativas de una observacin es similar a la problema de decidir entre acciones alternativas, que se ejemplifica por el Dilema del Prisionero. En este captulo, vemos cmo un agente puede utilizar un combinacin de Lgica Computacional y teora de la decisin de decidir entre alternativas. Segn la teora de la decisin, el agente debe elegir un alternativa que tiene el mejor resultado esperado. El resultado que se espera de un accin se determina mediante la combinacin apropiada juicios de la utilidad (o conveniencia) de las consecuencias de la accin de las sentencias de la probabilidad (O la probabilidad) de que la consecuencia vaya a ocurrir. Decisin de la teora es una teora normativa, que exige detallada conocimiento de los servicios pblicos y las probabilidades, pero deja de lado las motivaciones de un las acciones del agente. En la prctica, los agentes ms tpicamente emplean objetivos heursticos y creencias (o reglas de oro), que se aproximan a las normas de decisiones tericas. Pero heurstica menudo se pierden. Cuando es importante para tomar decisiones ms inteligentes, es mejor utilizar el marco ms amplio del ciclo del agente, a analizar las motivaciones de las acciones y asegurar que una amplia gama de se exploran alternativas.

Pgina 11 10 Captulo 12 Motivaciones Materia. Decisin Teora conduce a teoras consecuencialistas de la moral, que juzgan el estado moral de las acciones simplemente en trminos de sus consecuencias. Sin embargo, en los estudios psicolgicos y los la ley, la gente juzgar las acciones, tanto en trminos de sus consecuencias y en trminos de sus motivaciones. Mostramos cmo Lgica Computacional puede modelar como moral juicios mediante el uso de restricciones para evitar acciones que se consideren moral o legalmente inaceptable. Captulo 13 El mundo en cambio. La vida de un agente es una continua dificultades para mantener una relacin armoniosa con el mundo siempre cambiante. El agente asimila sus observaciones de la situacin cambiante del mundo, y realiza acciones para cambiar el mundo a cambio. El mundo tiene una vida propia, que slo existe en el presente, la destruccin de su pasado y ocultando su futuro. Para ayudarle a sobrevivir y prosperar en tal cambio medio ambiente, un agente inteligente utiliza las creencias sobre la causa y el efecto, representado en su lenguaje del pensamiento. En este captulo se investiga en mayor detalle la representacin lgica de tales creencias causales y el relacin semntica entre esta representacin lgica y el cambio mundo. Captulo 14 Lgica y Objetos. Mientras que en la Psicologa Cognitiva los sistemas de produccin son el principal competidor de la lgica, en el clculo del principal competidor Orientacin a Objetos. En el camino orientado a objetos de ver el mundo, el mundo se compone de objetos que interactan mediante el envo y recepcin de mensajes. Objetos responden a los mensajes mediante el uso de mtodos encapsulados, invisible para otros objetos, y heredado de mtodos asociados con clases generales de los objetos. Lgica Computacional es compatible con la orientacin a objetos, si los objetos son vistos como agentes, los mtodos son vistos como metas y creencias y mensajes son vistos como un agente de suministrar informacin o solicitar la ayuda de otra. Visto de esta manera, la principal contribucin de Orientacin a Objetos es doble: Se destaca el valor tanto de los conocimientos estructuracin (objetivos y creencias) en mdulos relativamente independientes, y de la organizacin que conocimiento en jerarquas abstractas. Captulo 15 bicondicionales. En este captulo se explora la idea de que creencias condicionales son bicondicionales disfrazados. Por ejemplo, dada slo las dos condiciones alternativas que pueden causar un objeto se vea rojo: un objeto se ve roja si el objeto es de color rojo. un objeto se ve rojo si iluminado por una luz roja. los dos condicionales pueden ser entendidas como pie para el bicondicional:

Pgina 12

11 un objeto se ve roja si y slo si el objeto es rojo o el objeto es iluminado por una luz roja.

Tanto la negacin como fracaso y el secuestro puede ser entendida como el razonamiento con tales como bicondicionales equivalencias, en sustitucin de las frmulas atmicas que coinciden la celebracin por la disyuncin de condiciones (conectado por o) que implica la celebracin. Captulo 16 Lgica Computacional y el Grupo de Seleccin. En este captulo volvemos al problema de explicar algunos de los resultados de experimentos psicolgicos sobre razonamiento con condicionales. Investigamos las diferentes maneras en que la Lgica Computacional explica estos resultados, dependiendo de si la condicin se interpreta como un objetivo o como una creencia. Si se es interpretado como una creencia, a continuacin, a menudo es natural para interpretar el condicional especificando las nicas condiciones bajo las cuales la conclusin se mantiene. Este explica uno de los dos principales errores que la gente comete cuando se razona con condicionales, cuando se juzga por las normas de la lgica clsica. El otro error principal es que la gente a menudo no razonar correctamente con negacin. Este error se puede explicar en parte por el hecho de que de un agente observaciones son normalmente representados por oraciones atmicas positivas, y que conclusiones negativas tienen que ser derivados a partir de observaciones positivas. En muchos casos esta derivacin es ms fcil con los objetivos condicionales que con condicional creencias. Captulo 17 Meta-lgica . En este captulo se explora cmo meta-lgica puede ser utilizado para simular el razonamiento de otros agentes, y para resolver los problemas que no se pueden resolver en el lenguaje objeto solo. Ilustramos esto con un variante del rompecabezas de hombre sabio, y con el teorema de Gdel que no son ciertas pero las sentencias no se pueden probar en la aritmtica. Conclusiones. Este ltimo captulo da un paso atrs de los detalles, y toma una mirada ms amplia a la finalidad principal del libro, que es mostrar cmo Lgica Computacional puede conciliar paradigmas en conflicto para explicar y guiar el comportamiento humano. Tambin sugiere cmo Lgica Computacional puede ayudar a conciliar los conflictos en otras reas. Captulo A1 La sintaxis de la forma lgica. Este adicional, ms captulo oficial da una formulacin ms precisa de la lgica computacional como la lgica de las oraciones que tienen la forma condicional si las condiciones entonces conclusin o equivalente que tiene la forma final si las condiciones. En su forma ms simple forma, la conclusin de un condicional es una expresin atmica, que consiste en una predicado y una serie de argumentos. Las condiciones son una conjuncin

Pgina 13

12 (Conectadas por y) de las expresiones atmicas o las negaciones de la energa atmica expresiones. En este captulo, comparo la forma condicional de la lgica de la norma la lgica clsica. Yo sostengo que la lgica clsica es la lgica condicional, lo ms natural lenguaje es el lenguaje del pensamiento. En ambos casos, hay dos tipos de razonamiento, realizado en dos etapas. La primera etapa se traduce frases que estn estructurados y, posiblemente, difcil de entender en oraciones simples que estn mejor estructurados. La segunda etapa se deriva consecuencias de la resultante frases simples. La lgica de las formas condicionales es la lgica de la como simple y mejor oraciones estructuradas. Captulo A2 Verdad. Condicionales en Lgica Computacional representan un objetivos del agente y creencias en su lenguaje privado de pensamiento. Tambin representar los significados de sus comunicaciones pblicas con otros agentes, por esta razn se puede decir para representar la semntica del lenguaje natural frases. Sin embargo, las oraciones en forma lgica tambin tienen una semntica en trminos de su relacin con los estados del mundo. Este captulo adicional hace un comienzo en la discusin de esta semntica, y de la relacin entre la verdad en todos los modelos y la verdad en un mnimo modelos. Se argumenta en el ejemplo de la aritmtica que la verdad en el mnimo modelos es ms fundamental que la verdad en todos los modelos. Captulo A3 adelante y atrs razonamiento. En este captulo se define las reglas hacia adelante y hacia atrs de la inferencia con mayor precisin, y muestra cmo se pueden entender en trminos semnticos, ya que muestra cmo la verdad de un conjunto de sentencias implica la verdad del otro. Este punto semntica de vista se aplica tanto a la utilizacin de estas reglas de inferencia para determinar la verdad en todos los modelos ya su uso para generar y determinar la verdad en una mnima modelos. Captulo A4 Modelos y Negacin mnimo. Este captulo muestra cmo la semntica de la negacin como fracaso pueden ser entendidas en trminos de la modelo semntica mnimos del Captulo A2. Captulo A5 La regla de resolucin de inferencia. En este captulo,ver que hacia adelante y hacia atrs razonamiento son ambos casos especiales de la regla de resolucin de la inferencia, y que la resolucin es el mecanismo subyacente para el razonamiento en los grficos de conexin. Resolucin fue presentado originalmente como una regla mquina orientada inferencia, mientras que el razonamiento hacia adelante y hacia atrs son orientado al ser humano formas de entender el pensamiento humano. Esta combinacin de y humanos mquina-orientacin se refleja en el hecho de que la mente humana puede ser considerado como una mquina de computacin cuyo software es una forma condicional de lgica y cuyo hardware es una forma conexionista de la resolucin.

Pgina 14

13 Captulo A6 La lgica de la programacin lgica abductiva. Este captulo proporciona la mayor parte de la asistencia tcnica para la combinacin de razonamiento hacia adelante, el razonamiento hacia atrs y negacin como fracaso, que son las reglas de inferencia bsicas de la lgica computacional utilizado en este libro. El procedimiento de la prueba presentada en este captulo se puede entender en trminos semnticos, como la generacin de un modelo mnimo en el que los objetivos de un agente y creencias son ciertas. Sin embargo, tambin se puede entender en la argumentacin trminos, como la generacin de un argumento a favor de una demanda, proveyendo el apoyo a la demanda y al derrotar a todos los argumentos que atacan con contra- argumentos.

Pgina 15

14 Introduccin Lgica Computacional se ha desarrollado en Inteligencia Artificial por la los ltimos 50 aos ms o menos, en el intento de programar computadoras para mostrar humano niveles de inteligencia. Se basa en la lgica simblica, en la que las oraciones son representada por smbolos y el razonamiento se realiza mediante la manipulacin smbolos, como la resolucin de ecuaciones de lgebra. Sin embargo, los intentos de utilizar Symbolic Logic para resolver problemas prcticos por medio de computadoras se han llevado a muchas simplificaciones y mejoras. El cmputo resultante La lgica es no slo ms potente para su uso por los ordenadores, sino tambin ms til para el propsito original de la lgica, para mejorar el pensamiento humano. La lgica tradicional, Symbolic Logic y Lgica Computacional son preocupado por la forma abstracta de las oraciones y cmo su forma afecta a la correccin de los argumentos. A pesar de la lgica tradicional se remonta a Aristteles en el siglo IV antes de Cristo, Symbolic Logic comenz principalmente en el siglo XIX siglo, con las formas matemticas de la lgica desarrollada por George Boole y Frege Gottlob. Se ha mejorado considerablemente en el siglo XX por la obra de Bertrand Russell, Alfred North Whitehead, Kurt Gdel y muchos otros en su aplicacin a los fundamentos de las matemticas. Lgica Computacional surgi en la segunda mitad del siglo XX, a partir de los intentos de mecanizar la generacin de pruebas de matemticas, y se extendi tanto que representan tipos ms generales de conocimientos y realizar tipos ms generales de resolucin de problemas. La variedad de los Lgica Computacional presentada en este libro debe mucho a las aportaciones de John McCarthy y John Alan Robinson. Los logros de la lgica simblica en el siglo pasado han sido considerables. Sin embargo, han dado lugar a la lgica convencional convertirse en un rama de Matemticas y perder contacto con sus races en el razonamiento humano. Lgica Computacional tambin emplea la notacin matemtica, lo que facilita su aplicacin informtica, pero oculta su importancia para el pensamiento humano. En este libro, voy a tratar de demostrar que los beneficios prcticos de Lgica Computacional no se limitan a las matemticas y artificiales Inteligencia, pero SLSO puede ser disfrutado por la gente comn en la vida cotidiana, sin el uso de la notacin matemtica. Sin embargo, incluyo varios captulos adicionales, de carcter ms tcnico, al final del libro, lo que puede de manera segura ser omitido por el lector casual. La relacin entre la lgica y el pensamiento Lgica en todas sus variedades se refiere a la formalizacin de las leyes de pensamiento. Junto con los campos relacionados, tales como Derecho y Ciencia de la Administracin, se se centra en la formulacin de teoras normativas, que prescribe cmo la gente debe pensar. Psicologa Cognitiva tambin tiene que ver con el pensamiento,

Pgina 16

15 pero se centra casi exclusivamente en las teoras descriptivas, que estudian cmo personas realmente piensan en la prctica, ya sea correcta o no. En su mayor parte, los dos tipos de teoras se han desarrollado de forma aislada, y tener poca relacin uno con el otro. Sin embargo, en los ltimos aos, los psiclogos cognitivos han desarrollado dual Teoras de proceso, que pueden ser entendidas como una combinacin descriptiva y teoras normativas. Visto desde la perspectiva de las teoras de proceso dual, teoras descriptivas tradicionales se centran en el pensamiento intuitivo, que es asociativa, automtica, paralelo y subconsciente. Normativo tradicional teoras, en cambio, se centran en el pensamiento deliberativo, que es la regla- basado, con esfuerzo, serial y consciente. En este libro, voy a argumentar que Lgica Computacional es una teora proceso dual, en el que intuitiva y pensamiento deliberativo se combinan. Pero la lgica se refiere, no slo con pensar en abstracto, pero con pensamientos representados en forma de oraciones y con el pensamiento tratados como manipulacin de oraciones para generar nuevas ideas. En Lgica Computacional, estas manipulaciones lgicas de oraciones tambin tienen un computacional interpretacin. Visto de esta manera, la lgica computacional puede ser considerado como una formalizacin del lenguaje del pensamiento humano. Lgica Computacional y el lenguaje del pensamiento , Funciones lgicas computacionales Tal como se utiliza en la Inteligencia Artificial y la primera todo como la lengua de un agente inteligente del pensamiento. Se incluye una sintaxis (O gramatical), que determina la forma de pensamientos del agente, un semntica, que determina el contenido (o significado) de esos pensamientos, y un motor de inferencia (o procedimiento de la prueba), que genera (o se deriva o infiere) nuevos pensamientos como consecuencias de los pensamientos existentes. En este papel, Lgica Computacional puede ser considerada como un lenguaje privado, que representa el objetivos del agente y creencias, y ayudar al agente a regular su comportamiento. Este lenguaje privado es independiente, y ms fundamental que, ordinarias, lenguas naturales como Ingls. Sin embargo, en los sistemas multi-agente en Inteligencia Artificial, el sector privado idioma de un agente individual tambin sirve a la funcin secundaria de representativos de los significados de sus comunicaciones con otros agentes. Estos comunicaciones se expresan en un lenguaje pblica compartida, que puede diferir de las lenguas particulares de los agentes individuales. La tarea de un agente de la comunicacin es traducir los pensamientos de su lenguaje privado en el lenguaje pblico, de tal manera que el agente receptor puede fcilmente traducir esas comunicaciones pblicas en los pensamientos apropiados en su propia lenguaje privado. Sera ms fcil si todos los agentes comparten el mismo lenguaje privado, y si que el lenguaje privado eran idnticos a la lengua pblica de la comunidad

Pgina 17

16 de agentes. Esto se puede arreglar por el diseo de un sistema multi-agente artificial, pero slo se puede aproximar en una sociedad de agentes humanos. La distincin entre lenguajes privados y pblicos, que es tan claro cortado en Inteligencia Artificial, se ha propuesto en la filosofa de la Idioma para explicar la relacin entre el pensamiento humano y la comunicacin. Muchas de estas propuestas, que por simplicidad se pueden agrup como lenguaje del pensamiento (LOT) las propuestas, sostener que gran parte del pensamiento humano puede ser entendido como algo que ocurre en un lenguaje de pensamiento. La propuesta ms conocida en este sentido es la hiptesis de Fodor que la LOT es un lenguaje privado, que es independiente de la Babel de idiomas pblicos (Fodor, 1975). Otras propuestas, en particular (Carruthers, 2004), argumentan que la PORCIN de una persona es especfico de la lengua pblica de la persona de comunidad social. No importa cul es su posicin sobre la relacin entre lo privado y idiomas pblicas, la mayora de las propuestas parecen estar de acuerdo que la LOT tiene algn tipo de forma lgica. Sin embargo, para la mayor parte de estas propuestas son notablemente tmido acerca de los detalles de esa forma lgica. Por comparacin, la propuesta de que yo presentes en este libro - que la lgica computacional puede ser considerado como un formalizacin de la LOT - se revela descaradamente. Sealo el principal apoyo para mi argumento de los usos de la Lgica Computacional en Artificial Inteligencia. Pero tambin apoyarse en la relacin entre Lgica Computacional y teoras normativas de la comunicacin humana. Lgica Computacional y la comunicacin humana Gran parte del tiempo, cuando hablamos o escribimos, simplemente expresarnos en pblico, sin hacer un esfuerzo consciente para comunicarse de manera efectiva. Pero cuando lo que realmente importa es que nos entendemos - como cuando estoy escribiendo este libro - tratamos de ser lo ms claro, coherente y convincente posible. La diferencia es como la diferencia entre las teoras descriptivas y normativas de pensar, y, como en el caso de los dos tipos de pensamiento, los dos tipos de la comunicacin se estudia principalmente en las diferentes disciplinas acadmicas. Mientras que la lingstica tiene que ver con el desarrollo de las teoras descriptivas sobre cmo las personas usan el lenguaje en la prctica, la retrica y de las disciplinas afines, tales como Composicin Ingls y el pensamiento crtico tienen que ver con normativa teoras acerca de cmo las personas deben usar el lenguaje para comunicarse ms efectivamente. En este libro, presento una teora normativa de pensamiento inteligente, comunicacin y el comportamiento. Pero yo le presto atencin a las teoras descriptivas, porque las teoras descriptivas ayudan a entender de dnde venimos, mientras que las teoras normativas nos muestran que nuestro objetivo es ir. La teora descriptiva de la comunicacin que ms se acerca a un teora normativa es probablemente la teora Relevancia (Sperber y Wilson, 1986). Se basa en una teora ms general de la cognicin, que vagamente hablar

Pgina 18

17 plantea la hiptesis de que, dadas las entradas competencia de su entorno, las personas dirigir su atencin a las entradas que les proporcionan la ms til informacin para el menor costo de procesamiento. Aplicado a la comunicacin, el teora de la hiptesis de que, teniendo en cuenta una comunicacin potencialmente ambigua de entrada, lectores u oyentes traducen la entrada en una forma lgica que maximiza la cantidad de informacin que contiene, y reducir al mnimo la esfuerzo computacional necesario para generar esa forma lgica. Teora de la relevancia es compatible con la hiptesis de que Computacional La lgica, o algo parecido, es la lgica del lenguaje del pensamiento. Como Computacin lgica, la teora Relevancia tambin tiene lgica y componentes computacionales. Adems, proporciona un vnculo con dicha normativa teoras de la comunicacin como guas Joseph Williams de Ingls escrito estilo (Williams, 1990/1995). Una forma de interpretar la orientacin de Williams es entender que en lgica trminos, que incluye el asesoramiento que los escritores deben expresarse en un forma que sea lo ms prximo posible a la forma lgica de los pensamientos que quieren para comunicarse. En otras palabras, que digan lo que quieren decir, y debe decir de una manera que hace que sea tan fcil como sea posible para que los lectores extraigan ese significado. O dicho an de otra manera, la expresin pblica de nuestra pensamientos privados deben estar tan cerca como sea posible a la forma lgica de los pensamientos. Si nuestro lenguaje privado y lenguaje pblico eran los mismos, podramos literalmente, slo decimos lo que pensamos. Pero incluso eso no sera suficiente; porque estaramos todava necesita organizar nuestro pensamiento coherente, de modo que uno pensamiento est conectado lgicamente a otra, y para que nuestros lectores u oyentes pueden relacionar nuestros pensamientos a los pensamientos propios. Orientacin de Williams para lograr la coherencia incluye el asesoramiento de colocacin, ideas familiares de edad al comienzo de una oracin y la colocacin de nuevo las ideas en su extremo. En una sucesin de frases, una nueva idea al final de un frase se convierte en una antigua idea de que se puede poner en el comienzo de la siguiente frase. He aqu un ejemplo de su consejo, que utiliza una versin informal de la la sintaxis de la lgica computacional, y que muestra paso cmo Lgica Computacional se puede utilizar para representar a los objetivos de un agente y creencias a guiar su comportamiento:

Quieres ser ms inteligente. Usted ser ms inteligente si usted es ms lgico. Usted ser ms lgico si se estudia este libro. As que (dado ninguna otra alternativa), debe estudiar este libro.

Puede que no sea la poesa, y es posible que no estemos de acuerdo con l, pero al menos est claro,coherente y al punto.

Pgina 19

18 Qu es la computacin lgica? La versin de la Lgica Computacional presentada en este libro combina un forma simplificada del lenguaje para representar la informacin con la mecnica (O automtica) formas de utilizar la informacin para deducir sus consecuencias. Sentencias de esta lengua tienen la forma simple de las condicionales: si condiciones entonces conclusin (o equivalentemente conclusin si las condiciones). La reglas bsicas de la inferencia es hacia delante y hacia atrs razonamiento. Razonamiento Forward es la regla clsica de la inferencia (tambin llamado modus ponens) utilizados para obtener conclusiones a partir de las condiciones. Por ejemplo, dada la creencia de que, en general, una persona ser ms lgico que la persona que estudia la libro, razonamiento hacia adelante deriva la conclusin de que Mara ser ms lgica de la condicin de que Mara estudia este libro. Razonamiento Forward incluye el caso especial en el que un agente se deriva consecuencias de su observaciones, para determinar cmo esas consecuencias podran afectar a sus objetivos. Razonamiento funciona hacia atrs en la direccin opuesta, para derivar condiciones de conclusiones. Por ejemplo, dada la creencia de que, en general, una persona se ser ms inteligente si la persona es ms lgico que la nica manera de llegando a la conclusin de que una persona va a ser una motivacin ms inteligente, hacia atrs deriva la condicin de que John debera ser ms lgica a partir de la conclusin John ser ms inteligente. Razonamiento hacia atrs puede ser considerada como una forma de la meta de reduccin, en el que la conclusin es una meta, y las condiciones son sub-objetivos. Razonamiento hacia atrs incluye el caso especial en el que un agente deriva sub-objetivos que son acciones, que el agente puede realizar en el mundo. Backward razonamiento da Lgica Computacional el poder de un alto lenguaje de programacin de nivel, en el que todos los programas se componen de procedimientos de reduccin de metas. En efecto, el lenguaje de programacin Prolog, que representa la programacin en lgica, explota esta forma de clculoprincipalmente para aplicaciones en Inteligencia Artificial. Lgica Computacional, en la forma ms general que investigar en este libro, tambin incluye el uso de la inferencia para ayudar a elegir entre un agente cursos de accin alternativos. Por ejemplo, despus de haber utilizado el razonamiento hacia atrs para derivar dos sub-objetivos alternativos, dice John es ms lgico o John toma inteligencia de drogas para mejorar, para alcanzar la meta John es ms inteligente, John puede utilizar el razonamiento hacia adelante para inferir las posibles consecuencias de la alternativas antes de decidir qu hacer. En particular, si John infiere la consecuencia de que John puede sufrir daos cerebrales irreversibles si John decide la segunda alternativa, John toma la inteligencia de drogas para mejorar, entonces ser fomentar John elegir la primera alternativa, John es ms lgico, en lugar. Qu es la Inteligencia Artificial? Inteligencia Artificial (AI) es el intento de programar computadoras a comportarse inteligente, a juzgar por los estndares humanos. Aplicaciones de la IA son tales

Pgina 20

19 reas problemticas como reconocimiento de voz en ingls, los sistemas expertos para el uso mdico y ingeniera de diagnstico de fallos, y la formalizacin del razonamiento jurdico. Las herramientas de AI incluyen tcnicas como la bsqueda, la lgica simblica, redes neuronales artificiales y el razonamiento con incertidumbre. Muchos de estos herramientas han contribuido al desarrollo de la Lgica Computacional que investigar en este libro. Sin embargo, en lugar de preocuparnos por Aplicaciones de Inteligencia Artificial, que se centrar en el uso de Lgica Computacional para ayudar a la gente comn piensa y se comporta ms inteligentemente. Pensando en las personas en trminos computacionales podra sugerir que la gente pueda ser tratados como si fueran simples mquinas. Por el contrario, creo que vez que el pensamiento de otras personas como agentes informticos que nos pueden ayudar a apreciar mejor nuestra naturaleza comn y nuestras diferencias individuales. Lo pone de relieve nuestra necesidad comn para hacer frente al ciclo de la vida en una constante cambiante mundo, y se llama la atencin sobre el hecho de que otras personas pueden tener otras experiencias, metas y creencias, que son diferentes de los nuestros, pero son igualmente dignos de comprensin, tolerancia y respeto. Lgica Computacional y el ciclo de la vida El papel de la Lgica Computacional en la mente de un agente inteligente puede ser representado aproximadamente as:

Pgina 21

20 En esta forma de ver la relacin entre un agente y el mundo, la mente del agente es una estructura sintctica, que representa las creencias del agente sobre el mundo tal como es y sus metas para la forma en que le gustara que el mundo ser. Estas creencias y objetivos se representan en el lenguaje privado del agente de pensamiento, cuyas sentencias tienen la forma sintctica de los condicionales. El mundo, por otra parte, es una estructura semntica, que incluye la cuerpo del agente, y le da sentido a los pensamientos del agente. Es una dinmica estructura, que est cambiando continuamente, y slo existe en el aqu y ahora. Sin embargo, el agente puede registrar sus experiencias cambiantes en su idioma de pensamiento, y la formulacin de las creencias generales acerca de las relaciones causales entre sus experiencias. A continuacin, puede utilizar estas creencias, que explican su pasado experiencias, que le ayudarn a alcanzar sus metas en el futuro. El agente observa los acontecimientos que tienen lugar en el mundo y las propiedades que esos eventos inician y terminan. Utiliza razonamiento hacia adelante para obtener conclusiones de sus observaciones. En muchos casos, estas conclusiones son acciones, provocada por las asociaciones de estmulo-respuesta instintiva o intuitiva, que Tambin se puede expresar en la forma lgica de los condicionales. El agente puede ejecutar estas acciones por reflejo, de forma automtica e inmediata. O puede controlarlos mediante la realizacin de razonamiento de ms alto nivel, como en doble proceso modelos del pensamiento humano. Pero si un agente tiene la tentacin de reaccionar de inmediato con el estmulo-asociaciones de respuesta o no, el agente puede razonar hacia adelante para determinar si la observacin afecta a los objetivos de alto nivel que necesitan estar mantenimiento para mantenerlo en una relacin armoniosa con su entorno. Razonamiento adelante con metas de mantenimiento de alto nivel de este tipo genera las metas de rendimiento para el futuro. El agente puede razonar hacia atrs, para reducir estas metas de logro de objetivos subsidiarios y buscar en su mente planes de accin para alcanzar estos objetivos. El agente puede encontrar que hay varios planes alternativos, todo lo cual lograr el mismo objetivo, y, si los hay, entonces el agente debe decidir entre ellos. En Teora de la Decisin clsica, el agente utiliza la esperada consecuencias de su candidato tiene previsto ayudar a tomar esta decisin. Con su creencias representadas en la forma lgica de los condicionales, las consecuencias se pueden derivar por delante de razonamiento de las condiciones que representan la rendimiento hipottico de acciones candidatos alternativos. El agente puede evaluar las consecuencias, rechazar las acciones que tienen no deseados y acciones consecuencias indeseables, y de elegir que tienen los ms deseados los resultados esperados (o utilidad). Sin embargo, las consecuencias de las acciones de un agente puede depender, no slo sus propias acciones, sino tambin en las acciones de otros agentes u otras condiciones que estn fuera del control del agente. El agente puede no ser capaz de determinar con certeza si estas condiciones se cumplen de antemano, sino que pueden ser capaces de juzgar la probabilidad (o la probabilidad). En tales casos, el agente puede utilizar el tcnicas de la Teora de la Decisin, de combinar sus sentencias de probabilidad y

Pgina 22

21 utilidad, y elegir un curso de accin que tienen utilidad esperada ms alta. Alternativamente, el agente puede utilizar ms pragmticas, planes precompilados de accin que se aproximan al ideal terico de decisiones. Entre los criterios que un agente puede utilizar para decidir entre alternativas maneras de lograr sus objetivos, es su posible impacto en los objetivos de otra agentes. Las alternativas que ayudan a otros agentes a lograr sus objetivos, o que no se obstaculizan el logro de sus objetivos, se puede dar preferencia a otros alternativas. De esta manera, al ayudar el agente de entender y apreciar que otros agentes tienen sus propias experiencias, objetivos y creencias, Lgica Computacional puede ayudar a la agente de evitar conflictos y colaborar con otros agentes. Este libro pretende mostrar que estos beneficios de la Lgica Computacional, que han tenido algo de xito en el campo de la Inteligencia Artificial, tambin tienen un gran potencial para mejorar el pensamiento y el comportamiento humano.

Pgina 23

22 Captulo 1. Lgica en el metro Si algn tipo de lgica computacional es el lenguaje del pensamiento humano, entonces el mejor lugar para buscar que parece estar dentro de nuestras cabezas. Pero si simplemente se analiza la estructura y la actividad de nuestro cerebro, que sera como mirando el hardware de un ordenador cuando queremos aprender sobre su software. O sera como tratar de hacer sociologa por el estudio de la movimiento de las partculas atmicas en vez de estudiar las interacciones humanas. Mejor, que pueda parecer, slo para usar el sentido comn y se basan en la introspeccin. Sin embargo, la introspeccin es muy poco fiable. El optimismo a ultranza nos puede engaar a ver lo que queremos ver, en lugar de ver lo que realmente est all. La psiclogos del comportamiento de la primera mitad de los aos 20 siglo eran tan sospechoso de introspeccin que se prohibi por completo. Inteligencia Artificial nos ofrece un enfoque alternativo para el descubrimiento de la lenguaje del pensamiento, mediante la construccin de programas informticos cuya entrada-salida simula el comportamiento de las manifestaciones visibles externamente de mental humana procesos. En la medida en que tengamos xito en la simulacin, podemos considerar que el la estructura de los programas de ordenador como anloga a la estructura de la humana mente, y podemos considerar que la actividad de estos programas como anloga a la la actividad del pensamiento humano. Pero los diferentes programas con diferentes estructuras y diferentes modos de operacin puede mostrar un comportamiento similar. Como veremos ms adelante, muchos de ellos diferencias pueden ser entendidas como las diferencias entre los niveles de abstraccin. Algunos programas estn ms cerca del nivel ms bajo y ms concreta de la de hardware, y por lo tanto son ms eficientes, mientras que otros estn ms cerca de la mayor y el nivel ms abstracto del dominio de aplicacin, y por lo tanto son ms fcil de entender. Vamos a explorar algunas de las relaciones entre la niveles ms tarde en el libro, cuando se explora teoras doble proceso de pensando en el captulo 9. Mientras tanto, nos podemos hacer una idea de lo que es llegado, primero buscando ms cerca de casa. Si los pensamientos humanos tienen la estructura del lenguaje, entonces deberamos ser capaces para tener una idea de esa estructura examinado los lenguajes naturales, como Ingls. Mejor que eso, podemos mirar a la comunicacin Ingls en situaciones donde hacemos nuestro mejor esfuerzo para expresarnos como clara, coherente y eficazmente como sea posible. Por otra parte, podemos ser guiados en esto por los consejos que encontrar en los libros de estilo de escritura Ingls. Para el propsito de revelar el lenguaje del pensamiento, el ms importante consejo es, sin duda, la recomendacin de que nos expresamos como claramente posible - por lo que es tan fcil como podemos para las personas que son tratar de traducir nuestras comunicaciones en los pensamientos propios. Todo lo dems es igual, la forma de nuestra comunicacin debe ser lo ms ms cerca posible a la forma de los pensamientos que tienen como objetivo transmitir. Qu mejor lugar para buscar que en las comunicaciones destinadas a orientar la gente cmo comportarse en situaciones de emergencia, en situaciones en que puede ser una cuestin

Pgina 24

23 de vida o muerte que el destinatario entiende la comunicacin como es debido y con el menor esfuerzo posible. Imagnese, por ejemplo, que usted est viajando en el metro de Londres y se escucha un sospechoso marcando en la mochila en la espalda de la persona de pie junto a usted. Afortunadamente, usted ve un aviso que explica exactamente qu hacer en una emergencia:

Emergencias Pulse el botn de la seal de alarma para alertar al conductor. El conductor se detendr si alguna parte del tren est en una estacin . Si no, el tren seguir la siguiente estacin, donde la ayuda se puede dar ms fcilmente. Hay una pena de 50 libras por el uso indebido.

El aviso pblico se ha diseado para ser lo ms claro posible, para que pueda traducir sus oraciones en ingls en sus propios pensamientos, con el menor esfuerzo posible. Cuanto ms cerca de la forma de las frases en ingls a la forma en la que a estructurar sus ideas, ms fcilmente podr entender las sentencias y de hacer uso de los pensamientos que se comunican. Los pensamientos que la gestin del subterrneo quiere que usted tenga estn diseadas para hacer que usted se comporta de manera efectiva en caso de emergencia, as como para evitar que comportarse imprudentemente cuando no hay una emergencia. Ellos estn diseados, por lo tanto, no slo para ser claros, pero para ser al punto - a decir qu hacer si hay una emergencia y qu no hacer si no hay uno. Pero tambin tienen el propsito de ser coherentes, por lo que se puede relacionar fcilmente el nuevos pensamientos que nuevas sentencias se comunican a los pensamientos existentes que ya tiene en su cabeza. Estos pensamientos existentes incluyen tanto los pensamientos que ya estaban all antes de empezar a leer los pensamientos que puedan tener sido transmitida por sentencias anteriores en el texto que est leyendo. El aviso de emergencia como un programa El propsito de la notificacin de emergencia es la de regular el comportamiento de los pasajeros en el metro de Londres. Lo hace mucho en la misma manera que

Pgina 25

24 un programa de ordenador controla el comportamiento de un ordenador. En general, mucho de nuestra comunicacin humana puede ser entendida de tal computacional trminos, como un ser humano tratando de programar otro, para obtener una deseada comportamiento. No pretendo sugerir que las personas deben ser tratadas como si no eran ms que mquinas. Me refiero a proponer en su lugar que el pensamiento de las personas que agentes informticos a veces nos pueden ayudar a comunicarnos con ellos en ms trminos efectivos y ms eficientes. Nuestras comunicaciones sern ms eficaz, ya que se cumplen mejor a nuestras intenciones, y sern ms eficiente, tanto porque ser ms fcil para la gente a entender, y porque la informacin que transmiten ser ms fcil para otros la gente a utilizar para sus propios fines. Entender la comunicacin es como el proceso que un ordenador realiza cuando se traduce (o compila) un programa escrito en un externa idioma fuente a un idioma de destino interno que el equipo ya entiende. Cuando un equipo se compila el programa fuente, se debe tanto a la traducir frases individuales del programa en el idioma de destino y colocar las frases en una estructura interna coherente expresado como un objetivo programa. Compilacin de un programa es eficiente cuando se puede hacer con tan poco procesamiento segn sea necesario. Anlogamente, la comprensin de un Ingls comunicacin es eficaz cuando se compila desde su forma Ingls en un representacin mental se puede hacer con el menor esfuerzo posible. Utilizando la informacin en una comunicacin es como ejecutar un objetivo programa, despus de que ha sido compilado. Cuando un equipo se ejecuta un programa, sigue las instrucciones mecnicamente de una manera sistemtica. Cuando una persona utiliza la informacin en una comunicacin, la persona que combina informacin con otra informacin que la persona ya tiene y utiliza el informacin combinada para resolver problemas. La gente realiza gran parte de este proceso de utilizacin de informacin de forma sistemtica, de forma automtica y inconscientemente. Al igual que un programa de ordenador, la informacin que utilizan las personas para resolver problemas es eficiente si ayuda a resolver los problemas con el menor esfuerzo posible. La naturaleza computacional de la notificacin de emergencia es ms evidente en la primera frase:

Pulse el botn de la seal de alarma para alertar al conductor.

Esto tiene la forma de un procedimiento de reduccin de metas:

Reducir el objetivo de alertar al conductor a la subobjetivo de pulsar el botn de la seal de alarma.

Pgina 26

25 Procedimientos de reduccin de metas son una forma comn del conocimiento humano representacin. Se estructuran nuestro conocimiento de una manera que facilita logro de los objetivos y la solucin de problemas. Aqu el pensamiento comunicada por la pena es que el objetivo de alertar al conductor se puede reducir a la subobjetivo de pulsar el botn de la seal de alarma. Para entender y hacer uso del procedimiento de reduccin de metas, es necesario asimilar en tus metas y creencias existentes. Por ejemplo, es posible que ya saben que podra haber otras formas de alertar al conductor, tales como gritando en voz alta. Usted probablemente sabe que alerta al conductor es una forma de obtener ayuda, y que hay otras maneras de conseguir ayuda, como alistar la ayuda de sus compaeros de viaje. Es probable que reconocer que si hay es una emergencia, entonces usted necesita para hacer frente de manera adecuada, y que conseguir ayuda es una de esas formas, pero que otras formas, tales como correr o de distancia hacer frente a la cabeza de emergencia en s mismo, tambin valdra la pena considerando. Procedimientos de reduccin de metas tambin son una forma comn de equipo representacin del conocimiento, especialmente en Inteligencia Artificial. Generosamente entiende, que pueden servir como el nico constructo para la escritura de cualquier ordenador programa. Sin embargo, casi todos los lenguajes de programacin tambin utilizan de nivel inferior construcciones de programacin. La mayora de estas construcciones se parecen poco a modos humanos de pensar. Pero hay otra construccin que es an ms alto nivel de meta-reduccin, y que puede ser an ms cerca de la estructura de los seres humanos as su pensamientos. Esta construccin es ejemplificado por la forma lgica del condicional frases encontradas en la segunda y tercera frases del aviso de emergencia. La lgica de la segunda y tercera frases Muchos lingistas y filsofos suscribirse a algn tipo de lenguaje de Hiptesis de Pensamiento (LOT), la hiptesis de que muchos de nuestros pensamientos tienen una estructura que es similar a la estructura de las lenguas naturales tales como Ingls. La mayora de las personas que se suscriben a LOT tambin parecen creer que el lenguaje de pensamiento tiene una forma lgica. En este libro, voy a explorar la ms especfica hiptesis de que el lenguaje del pensamiento tiene la forma lgica de condicional frases. Esta hiptesis est apoyada por la forma Ingls de la segunda y tercera frases del aviso de emergencia. De hecho, la segunda y tercera frases del aviso de emergencia tanto tienen la forma lgica de los condicionales (tambin llamado implicaciones). Condicionales son oraciones de la forma:

si las condiciones entonces conclusin o de forma equivalente

conclusin si condiciones. Una definicin ms precisa es dado en el Captulo A1 adicional.

Pgina 27

26 En el aviso de emergencia, la segunda frase se escribe con su conclusin primera, y la tercera frase se escribe al revs, con su implcita Condiciones primera. En la lgica formal, es normal para escribir los condicionales en la direccin de avance si las condiciones entonces conclusin. Esta es la razn por razonamiento a partir de las condiciones de conclusiones se llama razonamiento hacia adelante, y por qu el razonamiento de la conclusin a las condiciones que se llama razonamiento hacia atrs. Sin embargo, no importa si condicionales se escriben condiciones-primero o de la conclusin, primero, tienen el mismo significado. Pero a menudo les escribimos una manera y no de otra, cuando tenemos una direccin preferida de uso en mente, o cuando queremos escribir forma ms coherente en el contexto de otras oraciones. He argumentado que la notificacin ha sido diseado para ser tan fcil como sea posible para entender, y que como consecuencia de su forma externa debe ser un buen indicacin de la forma interna de su significado. En particular, la forma externa, a condicin de la segunda y tercera frases sugiere que su significado pretendido tambin tiene la forma lgica de los condicionales. Sin embargo, cualquiera que sea la forma de la LOT, una cosa es cierta: su frases son ambiguos, ya que lo que dicen. Por el contrario, Oraciones en ingls son a menudo ambiguos, ya que pueden tener varios diferentes significados. Por ejemplo, la sentencia de Ingls el primer pasajero atac al segundo pasajero con una mochila tiene dos posibles significados. O bien el primer pasajero realiz el ataque con una mochila o en la segunda pasajero tena una mochila, y el primer pasajero atac al segundopasajeros de alguna manera indeterminada. La diferencia entre los dos significados podran hacer una gran diferencia en un tribunal de justicia. La ambigedad es el enemigo de la claridad. Esto crea confusin, ya que el lector no saber de inmediato cul de las varias interpretaciones posibles de la comunicacin se dirige, y que crea un esfuerzo adicional para el lector, porque el lector tiene que explorar diferentes interpretaciones, para encontrar una interpretacin de que tiene ms sentido en el contexto del lector de objetivos de fondo y creencias. Usted puede ser sorprendido, por lo tanto, a descubrir que el segundo y tercer frases del aviso son ms ambiguos que aparecen por primera vez. En en particular, la segunda frase no dice explcitamente lo que el conductor en realidad dejar de hacer. Es poco probable, por ejemplo, que:

El conductor se detiene provocando la emergencia si alguna parte del tren est en una estacin.

En cambio, es ms probable que: El conductor detendr el tren en una estacin si alguna parte del tren est en la estacin.

Pgina 28

27 Pero incluso esta interpretacin no refleja plenamente la sentencia es la intencin significado. Entenderse en el contexto de la primera frase, la segunda frase tiene una condicin implcita adicional, a saber, que el conductor ha sido alertada a una emergencia. Por lo tanto, el significado pretendido de la segunda frase es realidad:

El conductor detendr el tren en una estacin si el conductor es alertado a una emergencia y cualquier parte de el tren est en la estacin.

Sin la condicin adicional, la pena por s mismo significa literalmente que el conductor se detenga el tren cuando el tren est en una estacin, ya sea o no hay una emergencia. Si ese fuera el caso, el tren nunca ningn estacin una vez que estaba all. Para entender la frase, el lector de la notificacin necesita tanto el conocimiento de fondo general los conductores de trenes de la manera normalmente comportarse y conocimientos especficos sobre el contexto de la anterior frases en el aviso. En el espritu de nuestra interpretacin de la segunda frase, que ahora debe ser claro que el significado pretendido de la tercera frase es:

El conductor detendr el tren en la siguiente estacin y la ayuda se puede dar all mejor que entre las estaciones si el conductor es alertado a una emergencia y no cualquier parte del tren est en una estacin.

En el lenguaje natural, es comn dejar de lado algunas condiciones, como cualquier parte del tren est en la estacin, que estn presentes en el contexto. En ms lgica formal, sin embargo, el contexto tiene que ser definida de manera explcita. En otra palabras, frases de la lgica formal, para representar la informacin de forma inequvoca, necesidad de pararse sobre sus propios pies, sin tener que depender del apoyo de la contexto que les rodea. La web de la creencia Debido a que el significado de las oraciones individuales se expresa en forma puramente lgica no depende del contexto, las colecciones de sentencias en forma lgica pueden ser escrito en cualquier orden. En teora, por lo tanto, si este libro fueron escritos en puramente forma lgica, yo podra escribir - y usted puede leerlo - hacia delante, hacia atrs, o en cualquier otro orden, y todava tendra el mismo significado. De hecho, podra tomar cualquier texto escrito como una secuencia de oraciones en forma lgica, escribir las sentencias individuales en pequeos trozos de papel, tirar hacia arriba en el aire como una baraja de cartas, y recogerlos en cualquier orden. La secuencia resultante de frases tendrn el mismo significado que el texto que empez.

Pgina 29

28 En contraste, la mayor parte del trabajo por escrito un libro como este es tratar de encontrar una orden de presentacin de las ideas, por lo que son tan claras, coherentes y convincente posible. No importa si lo deletreo a cabo todos los contextos de frases individuales en detalle, tengo que presentar esas frases de forma coherente fin, que se refiere sentencias consecutivas tanto a las ideas que tena antes de lectura comenzado ya las ideas que obtuvieron a partir de la lectura de frases anteriores. Una forma de lograr la coherencia es seguir el consejo de Williams de colocar viejas, ideas familiares en los inicios de oraciones y nuevas ideas en sus extremos. A veces, como un caso lmite, si una idea "antigua" es particularmente relevante, ya que que acaba de ser presentado al final de la frase anterior, a continuacin, la antigua parte de la siguiente oracin puede darse por sentado y simplemente se queda fuera. Es lo que sucede en el aviso de emergencia, tanto en la transicin de la primera condena a la segunda frase, donde la condicin de que el conductor es alertado una emergencia se ha quedado fuera, y en la transicin de la segunda condena a la tercera frase, cuando una parte del tren est en la estacin tiene quedado fuera. Si el lenguaje del pensamiento es una lgica de las formas condicionales, entonces el forma ms sencilla de lograr la coherencia es mediante la vinculacin de los comienzos y los finales de condenas consecutivas por medio de las conclusiones y las condiciones del pensamientos que expresan, el uso de tales patrones obvios como:

Si la condicin Una conclusin luego B. Si la condicin B, entonces la conclusin C.

y conclusin C si la condicin B. conclusin B si la condicin A.

La necesidad de coherencia en la comunicacin humana sugiere que el lenguaje de pensamiento no es una coleccin estructurada de las penas, despus de todo. Ms bien, es una estructura ligada en el que frases estn conectadas por medio de su conclusiones y condiciones. Grficos de conexin (Kowalski, 1975, 1979), que las conclusiones de enlace y condiciones de oraciones en forma lgica, se han desarrollado en artificial Inteligencia para mejorar la eficiencia de razonamiento automatizado. Los enlaces en grficos de conexin pre-calcular la mayor parte del pensamiento que puede ser necesaria ms tarde. Este es un grfico de conexin que representan algunas de las metas de una persona y creencias antes de leer el aviso de emergencia:

Pgina 30

29 Este es el mismo grfico de conexin, aumentada con las creencias adicionales, despus de la persona que lee el aviso de emergencia, en el supuesto que la persona cree todo lo escrito en la convocatoria:

Pgina 31

30 Nos veremos en captulos posteriores, que el tipo de condicin representada por el sentencia si hay una emergencia entonces hacer frente a la emergencia adecuada es un objetivo de mantenimiento, que una persona trata de hacer realidad por haciendo su conclusin verdadera siempre que sus condiciones se vuelven realidad.

Pgina 32

31 Grficos de conexin estn relacionados con WV Quine (1963) web de la creencia. Quine argumenta que las teoras cientficas y las creencias humanas en general, forman una red de creencias, que estn vinculados al mundo de la experiencia por medio de oraciones observacionales en la periferia. Las creencias en las teoras cientficas destacan y caer juntos como un todo, debido a que cualquier creencia, no importa lo terico, podran estar involucrados en la derivacin de una empricamente comprobable, de observacin consecuencia. Si una consecuencia observacional de una teora se contradice con experiencia, la consistencia puede ser restaurada mediante la revisin de cualquier creencia que participan en la derivacin de la contradiccin . Grficos conexin pueden ser vistos como una realizacin concreta de la red de creencia, en la

que los objetivos y creencias estn conectadas por enlaces entre su condiciones y conclusiones. Aunque, en principio, podra ser posible encontrar una cadena de conexiones entre cualquiera de los dos creencias, en la prctica parece conexiones a agruparse en mbitos relativamente autnomo, como mdulos en un ordenador programa y como los diferentes tipos de inteligencia en Howard Gardner (1983) Teora de las Inteligencias Mltiples.

No habr ms que decir sobre los grficos de conexin en los captulos posteriores. Pero mientras tanto, tenemos una preocupacin ms acuciante: Cmo funciona el Conexin vista grfica de la mente, como una red de condicionales, se refieren a la meta- procedimientos de reduccin? La respuesta simple es que los procedimientos de reduccin de metas son una forma de usar las conexiones. La primera frase como parte de un programa de lgica La primera frase de la notificacin, por escrito, en forma de un objetivo de reduccin de procedimiento, se esconde una forma lgica subyacente. En general, el procedimiento de reduccin de metas o objetivos de la forma:

Reducir la meta a sub-metas. o Reducir el objetivo a sub-objetivos. ocultar condicionales lgicos de la forma:

Meta si submetas. o Objetivo si sub-objetivos. El comportamiento meta-reduccin de los procedimientos se puede obtener a partir condicionales de razonamiento hacia atrs:

Para concluir que la meta puede ser resuelto, muestran que los sub-metass pueden ser resueltos.

Por lo tanto, la primera oracin del Aviso de Emergencia tiene la forma lgica oculta: Se alerta al conductor, si pulsa el botn de la seal de alarma.

Pgina 33 32 Visto en trminos de grficos de conexin, el razonamiento hacia atrs es una forma en que un agente de pensar puede utilizar los enlaces entre los condicionales para dirigir su atencin de un pensamiento a otro. Razonamiento hacia atrs dirige del agente atencin por parte de un objetivo a una conclusin que coincide con la meta. Por ejemplo:

Objetivo: Se ocupa de la situacin de emergencia adecuada. Usted se ocupa de la situacin de emergencia debidamente Si recibe ayuda.

El uso de razonamiento hacia atrs para girar los condicionales en meta de reduccin de procedimientos es la base de la programacin lgica, que a su vez es la base de la programacin Prolog idioma. Razonamiento hacia atrs contrasta con el razonamiento hacia adelante, que es probablemente ms familiar para la mayora de la gente. Dado un condicional de la forma:

Si las condiciones entonces conclusin.

y una coleccin de estados que cumplen las condiciones, el razonamiento hacia adelante deriva la conclusin como consecuencia lgica de las condiciones. Para ejemplo, dadas las declaraciones:

Se alerta al conductor. Una parte del tren est en una estacin.

razonamiento hacia adelante usa el condicional:

El conductor detendr el tren inmediatamente si el conductor es alertado a una emergencia y cualquier parte del tren est en una estacin.

para derivar la conclusin de que el conductor se detendr el tren inmediatamente. Visto en trminos de grficos de conexin, el razonamiento hacia adelante dirige la atencin de la conclusin de una creencia a una creencia cuyas condiciones estn vinculadas a esas conclusiones. Por ejemplo:

Pgina 34

33 Razonamiento hacia atrs tambin se llama razonamiento de arriba hacia abajo, o el anlisis. Adelante razonamiento tambin se llama razonamiento de abajo hacia arriba, o sntesis.

Cundo y cmo combinar adelante y atrs razonamiento es uno de los temas principales de este libro. Sin embargo, la vista grfica de la conexin de la mente sugiere que retroceder pura o el razonamiento hacia adelante no son las nicas maneras de razonamiento. Las conexiones tambin pueden ser activados en diferentes partes de la mente simultneamente y en paralelo (Cheng y Juang, 1987). Por otra parte, conexiones que se activan con frecuencia pueden ser cortocircuitados y su efecto puede ser compilado en una sola meta o de creencias. Por ejemplo, el enlace:

entre dos creencias pueden ser compilados en la sola creencia:

Usted se ocupa de la situacin de emergencia debidamente si alerta al conductor.

La cuarta frase como un inhibidor de la accin

En el lenguaje natural, la forma lgica de los condicionales a menudo se oculta debajo de la superficie, a veces aparecen en la superficie en forma de procedimiento, en otra veces aparecen en forma declarativa. Por ejemplo, la ltima frase del Un aviso es una oracin declarativa, que oculta su forma condicional subyacente:

Hay una pena de cincuenta libras si pulsa el botn de la seal de alarma y lo hace incorrectamente.

La sentencia no dice que va necesariamente recibir el castigo por uso indebido. Por lo que su conclusin, declar con mayor precisin, es slo eso, bajo la condicin de que se utiliza el botn de la seal de alarma de forma incorrecta, se hace responsable

Pgina 35

34 a la pena. razonar hacia atrs convierte esta condicin en un procedimiento meta- reduccin:

Para ser condenado a una pena de 50 libras, pulse el botn y la seal de alarma hacerlo incorrectamente.

Es muy poco probable que un pasajero se desee obtener una pena de 50 libras, y muy poco probable, por tanto, que el pasajero desee utilizar el condicional como un procedimiento tal meta-reduccin. Es ms probable que el pasajero utilizarlo para razonar hacia adelante en lugar, a la conclusin de que el uso de la seal de alarma botn incorrectamente podra tener una consecuencia no deseada. En los siguientes captulos, veremos dos formas de hacer frente a la inconveniencia de las posibles consecuencias de las acciones. La primera es utilizar teora de la decisin, la asociacin de probabilidades y utilidades con las consecuencias de las acciones, y la eleccin de una accin que tiene el mejor resultado esperado. La otra es utilizar restricciones deontolgicas sobre acciones, formuladas en trminos de obligaciones, permisos y prohibiciones. En las representaciones lgicas estndar, las nociones denticas de obligacin, permiso y la prohibicin se les concede el mismo estatus que la lgica conjunciones y, o, si y no, en los llamados lgica dentica. Sin embargo, en el enfoque que adoptamos en este libro, en que tratamos a las obligaciones y prohibiciones ms simplemente como una especie de objetivo. Las obligaciones estn representadas por los objetivos condicionales cuya conclusin el agente intenta llevar a cabo si las condiciones se cumplen. Prohibiciones (o limitaciones) estn representados por los objetivos condicionales con conclusin falsa, cuya conclusin el agente intenta prevenir, asegurando que las condiciones no se cumplen. En el caso de la cuarta oracin del aviso de emergencia, esta prohibicin podr indicarse en la forma: No ser objeto de una sancin. O, dicho como un objetivo condicional:

Si usted es pasible de una pena de falso a continuacin.

Aunque pueda parecer un poco extrao, veremos ms adelante que representa probibitions y otras limitaciones como objetivos condicionales (con la conclusin falsa) tiene la ventaja de que a continuacin, que comparten la misma semntica y las mismas reglas de inferencia como otros objetivos condicionales. Cuando se usa para razonar hacia adelante y hacia derivar la conclusin falsa, eliminan cualquier hiptesis o candidato accin que conduce a la derivacin de falsa. Por lo tanto, ya sea en conjuncin con el uso de la teora de la decisin o con el uso de limitaciones denticos, la cuarta frase acta como un inhibidor de la accin en lugar que como un motivador de las acciones. Esto explica por qu la oracin se escribe declaracin y no procesal. De hecho, slo la primera oracin del Aviso de Emergencia est escrito en forma de procedimiento, y slo esta primera frase de la notificacin funciona como un

Pgina 36

35 programa normal, para evocar el comportamiento que se desea de los pasajeros en el subterrneo. La cuarta frase funciones como una restriccin, para prevenir el comportamiento no deseado. Las segunda y tercera frases, por otra parte, describen parte de un programa para ser ejecutado por un agente diferente, a saber, por el conductor del tren. Estas frases se escriben de forma declarativa y no procesal precisamente porque son para ser ejecutado por un agente diferente, y no por el agente observacin de la situacin de emergencia. Sin embargo, los pasajeros pueden usar estas dos frases, al igual que la cuarta oracin, para derivar las posibles consecuencias de pulsar el botn de la seal de alarma. Los programas con fines Est implcito que el propsito 1 (O meta) de la Comunicacin es explicar cmo se puede obtener ayuda del conductor en caso de emergencia. Por eso, la tercera frase incluye una frase que explica por qu el conductor no se detiene el tren inmediatamente cuando no se encuentra en una estacin, sino que espera a parar hasta la siguiente estacin:

donde la ayuda se puede dar ms fcilmente.

El aviso tiene sentido porque la primera frase, en particular, con cohesiona las metas y creencias que es probable que ya tena antes de comenzar a leer la Notificacin. Por ejemplo, con frases tales como:

Si hay una emergencia entonces hacer frente a la situacin de emergencia adecuada. Usted se ocupa de la situacin de emergencia debidamente si para recibir ayuda. Usted consigue ayuda si alerta al conductor.

Aunque he escrito deliberadamente la segunda y tercera frases aqu conclusin: primero, porque es natural para usarlos conclusin: primero, hacia atrs, como los procedimientos para la atencin de emergencias, he escrito la primera frase condiciones: primero, porque es natural para utilizarlo condicin primera, hacia adelante, para responder a las emergencias. La primera frase tambin tiene la forma de un condicional. Pero aqu su conclusin est escrito imperativamente (frente a la emergencia apropiadamente) y no declarativa (a lidiar con la emergencia apropiadamente). Este ---------------------------------------------------------------------------------------------------------------------- 1 Los trminos "meta" y "propsito" son intercambiables. Otros trminos que a veces en el mismo sentido son "motivacin", "razn", "interes", "deseo", "objetivo" "La misin", "objetivo", "valor", etc

Pgina 37

36 sigue Ingls gramtica, en la que las creencias se expresan en forma declarativa oraciones, pero los goles, incluyendo rdenes y prohibiciones, se expresan como oraciones imperativas. La diferencia entre las metas y creencias es que las creencias describen una comprensin del agente del mundo tal como es, mientras que los objetivos de describir el agente de visin del mundo como el agente le gustara que fuera. Esta distincin entre metas y creencias se ha descuidado en gran medida simblica, la lgica matemtica, porque en verdad matemtica es eterna, y no existen acciones que un teora matemtica puede hacer para hacer una oracin llega a ser verdad. Sin embargo, la distincin es importante en la inteligencia artificial, debido a que la capacidad de realizar acciones para alcanzar los objetivos es una propiedad esencial de la naturaleza de un agente. Lenguajes naturales ordinarios distinguen entre objetivos y creencias mediante el uso de oraciones imperativas para los objetivos y las sentencias declarativas de creencias. Sin embargo, en la lgica computacional utilizado en este libro, los dos tipos de oraciones se expresan mediante declaracin. Por ejemplo, se representa el condena condicional, imperativo:

Si hay una emergencia entonces hacer frente a la situacin de emergencia adecuada.

como la oracin declarativa: Si hay una emergencia entonces a hacer frente a la situacin de emergencia adecuada.

Se distingue entre objetivos y creencias, no por medio de la sintaxis, sino por asignarlos a diferentes categoras de pensamiento. A dnde vamos desde aqu? Este captulo ha sido la intencin de darle una idea del libro como un todo. Se muestra cmo las oraciones en ingls se pueden ver tanto en cmputo y trminos lgicos, y muestra cmo se combinan los dos puntos de vista en Lgica Computacional. La lgica tradicional, en el que se basa la lgica computacional, ha cado de la moda en los ltimos aos. Parte del problema es que su uso de simblico notacin puede dar la impresin de que la lgica tiene poco que ver con la vida cotidiana experiencia humana. Pero otra parte del problema es que no tiene en cuenta la serie de cuestiones que son importantes en el pensamiento y el comportamiento humano. Estos cuestiones incluyen la necesidad de:

para distinguir entre los objetivos y creencias estar abierto a los cambios en el mundo para combinar el pensamiento acerca de las acciones de decidir qu hacer

Pgina 38

37 combinar pensar y decidir con la realidad llevar a cabo acciones de razonar de forma predeterminada y con las reglas y excepciones.

Veremos cmo Lgica Computacional se ocupa de estas cuestiones en el siguiente captulos. Por el momento, podemos imaginar el problema que tenemos ms o menos as esto:

Pgina 39

38 Captulo 2. La psicologa de la lgica En este captulo, voy a hablar de dos experimentos psicolgicos que desafan la opinin de que las personas tienen una habilidad innata para realizar lgica abstractos razonamiento. El primero de estos experimentos, la tarea de seleccin, ha sido ampliamente interpretado como que muestra que, en vez de la lgica, la gente util