Documente Academic
Documente Profesional
Documente Cultură
Humano:
Cmo ser artificialmente Inteligente
escrito por el
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
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.
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 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 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.
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.
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.
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?
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
El conductor se detendr
si alguna parte del tren est en una estacin .
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.
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.
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.
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:
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:
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:
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.
Por ejemplo:
Objetivo: Se ocupa de la situacin de emergencia adecuada.
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:
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:
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:
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.
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.
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:
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.
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.
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 utiliza especializada procedimientos para tratar los problemas
que se producen habitualmente en su medio ambiente. El segundo, el Grupo de Supresin, se ha
interpretado como que muestra que la gente no la razn mediante reglas de inferencia, como hacia
delante y razonar hacia atrs, sino construir un modelo del problema e inspeccionar el modelo de
las propiedades interesantes. Voy a responder a algunas de las cuestiones planteada por estos
experimentos en este captulo, pero tratar con ellos con mayor detalle en un captulo posterior,
despus de presentar el material de apoyo necesario.
Para motivar la discusin de la tarea de seleccin a continuacin, tenga en cuenta su
aplicacin potencial al problema de la mejora de la seguridad en el London
subterrneo. Supongamos que la gestin de la clandestinidad decide introducir un control de
seguridad, en el marco de los cuales los agentes de seguridad pegan una etiqueta con
una letra del alfabeto de la parte frontal de cada pasajero que entra en el subterrneo. Supongamos
que los agentes de seguridad se supone que deben poner en prctica
la siguiente condicional:
De acuerdo con la lgica clsica, esos son los nicos casos que importan. No es necesario
comprobar Mara, porque la condicin no indica que la realizacin una mochila en la parte
posterior es la nica condicin bajo la cual la letra A se ha quedado atascado al frente de una
persona. Podra haber otras condiciones, alternativas, por ejemplo como llevar una granada de
mano en un cinturn, que tambin pueden requerir la oficiales de seguridad para pegar la letra A
en la parte frontal de una persona. Pero no lo ha hecho ha pedido a comprobar si Mara puede ser
un terrorista. Esa es la seguridad trabajo oficiales. Se le ha pedido que marque slo si la seguridad
oficiales han aplicado correctamente la declar condicional. Comprobacin de ver si Mara tiene
una mochila en la espalda va ms all del de deber. Sin embargo, en muchos experimentos
psicolgicos con tareas similares, la mayora sujetos de hecho realizan este paso adicional,
lgicamente innecesario.
La tarea consiste en seleccionar aquellos y slo aquellos cartas que deben ser entregadas, a
determinar si se mantiene la siguiente condicin:
Casi todo el mundo reconoce, con razn, que la tarjeta que muestra d tiene que ser entregados,
para asegurarse de que hay un 3 en el otro lado. Esta es una lgica correcta aplicacin de las
reglas de inferencia modus ponens, que tambin se llama remitir razonamiento. La mayora de las
personas tambin reconocen, con razn, que la tarjeta mostrando f no tiene que ser
entregado. Aunque, si se les pregunta por qu, podran decir "porque el condicional no menciona
la letra f", que (Como se ver en un momento) no es la razn correcta.
Muchos pacientes tambin piensan, errneamente, que es necesario entregar la tarjeta que muestra
3, para asegurarse de que hay una d en el otro lado. Esto es lgicamente incorrecto, ya que el
condicional no afirma que tiene una d en un lado es la nica condicin que implica la conclusin
de que hay un 3 en el otro lado. Esta afirmacin adicional se expresa mediante el
denominado inverso de la condicional:
Si hay un 3 en un lado,
entonces no hay anuncio en el otro lado.
Los dos condicionales son el inverso el uno del otro, de la misma manera que los dos
condicionales:
Si est lloviendo, entonces hay nubes en el cielo.
Si hay nubes en el cielo, entonces est lloviendo.
Tambin son mutuamente contrario. De hecho, (en caso de que no es obvio) la primera
condicional es verdadero y el segundo condicional es falso.
Pgina 42
41
Sin embargo, ms preocupante an, slo un pequeo porcentaje de los sujetos se dan cuenta
que es necesario entregar la tarjeta que muestra 7, para asegurarse de que no es d
en el otro lado. Es necesario entregar el 7, porque el original
condicional es lgicamente equivalente a su contraposicin:
Los psiclogos han demostrado que las personas realizan mucho mejor cuando la seleccin
experimento tarea se lleva a cabo con un problema que es formalmente equivalente a la versin de
la tarjeta de la tarea, pero tiene un contenido significativo. El clsico experimento de este tipo
considera que la situacin en la que la gente est bebiendo en un bar, y el sujeto se le pide que
compruebe si la siguiente condicin se tiene:
Una vez ms, hay cuatro casos a considerar, pero esta vez en lugar de cuatro tarjetas
hay cuatro personas. Podemos ver lo que dos de ellos estn bebiendo, pero no cmo
edad que tengan, y podemos ver cmo dos de ellos son viejos, pero no lo son
potable:
Si acepta un beneficio,
entonces debe cumplir su requisito.
Stephen Pinker (1997) cita la explicacin evolutiva Cosmides 'aprobacin en su libro de premio
ganar, cmo funciona la mente. Seala que la tramposo algoritmo explicacin no siempre se
justifica la lgica correcta solucin. Por ejemplo, dado el condicional si paga $ 20 recibe un
ver, los temas suelen elegir a la persona que no paga $ 20, para comprobar que
no ha recibido un reloj. Sin embargo, lgicamente, esto es innecesario, debido a que el
condicional no dice que recibe un reloj slo si paga $ 20. El condicional es totalmente
compatible, por ejemplo, con una persona que recibe un ver si se acoge a la jubilacin
anticipada. As, segn Cosmides y Pinker, algoritmos evolutivos explican el desempeo humano
en las tareas de seleccin, sea o no que el rendimiento coincide con los dictados de la lgica
clsica.
Casi al mismo tiempo que Cosmides desarrollaron la teora de la evolucin,
Cheng y Holyoak (1985) proponen una teora relacionada de que gente de la razn
sobre situaciones reales utilizando algoritmos especializados. Sin embargo, para Cheng y
Holyoak, estos algoritmos son "esquemas de razonamiento pragmtico". El principal de
estos esquemas pragmticos son los que implican nociones deontolgicas relacionadas con
permiso, obligacin y prohibicin. En Ingls estas nociones son tpicamente
sealado por el uso de palabras como "puede", "debera", "necesidad" y "debe".
Pero estas seales lingsticas explcitas se pueden omitirse si el contexto hace que sea
Pgina 44
43
obvio que una obligacin o prohibicin est implicado, como en la formulacin de
la versin de la barra de la tarea de seleccin anterior.
De hecho, si Cheng y Holyoak estn en lo cierto, entonces el control de seguridad de la versin
la tarea de seleccin no debera ser difcil en absoluto, ya que el ms natural
interpretacin del condicional:
es dentica:
Pero el verdadero problema no es slo la forma en razn de las personas con las condicionales en
forma lgica, sino tambin cmo las personas interpretan las condicionales del lenguaje natural y
traducirlos en los condicionales en forma lgica.
Pero tanto Cosmides y Cheng y Holyoak llegar a una conclusin diferente.
Ellos argumentan que la gente no tiene la capacidad incorporado, de uso general para
razonamiento lgico abstracto, sino que emplean procedimientos especializados para
tratar con clases de problemas prcticos que surgen de manera natural en el mundo
alrededor de ellos. Voy a hablar de la tarea de seleccin con mayor detalle en el Captulo 16,
pero la relacin entre los mtodos de uso general y de uso especial es
demasiado importante para no abordar aqu. Es parte de la ms fundamental
relacin entre la representacin del conocimiento y la resolucin de problemas, que
es uno de los temas principales de este libro.
con el razonamiento de propsito general con los objetivos que tienen la forma de tal
condicionales. En general, teniendo en cuenta el objetivo de la forma lgica:
razonar hacia adelante para que coincida con una observacin de una condicin de la meta,
razonan hacia atrs para verificar las otras condiciones de la meta, y
razn hacia adelante para derivar la conclusin de que una meta de logro.
En el caso especial en que la meta de logro es falsa y por lo tanto inalcanzable, entonces este
patrn de razonamiento detecta violacin de la portera. En el caso especial en el que las otras
condiciones son propiedades que pueden ser observ en el entorno del agente, a continuacin, el
agente puede intentar verificar
Pgina 46
45
estas propiedades para intentar activamente para observar si estn o no cierto.
Este anlisis del algoritmo de deteccin de tramposos se aplica sin perjuicio de a la cuestin de si
la gente realmente usa este tipo de algoritmos para resolver tareas de seleccin. Por otra parte, es
compatible con el argumento de (Sperber, Cara y Girotto, 1995) que las personas tienen ms
probabilidades de resolver la tarea de seleccin problemas de acuerdo con las normas de la lgica
clsica, es la ms natural es para ellos representan el condicional:
si las condiciones entonces conclusin
en la forma:
no es el caso de que
condiciones y no conclusin.
o de forma equivalente:
si las condiciones y no conclusin luego falso.
La tarea de supresin
Si ella tiene un ensayo para escribir, entonces ella va a estudiar tarde en la biblioteca.
Tiene un ensayo para escribir.
Teniendo en cuenta esta informacin, muchas personas (alrededor del 40%) suprimen su
conclusin anterior de que ella va a estudiar tarde en la biblioteca.
Este problema fue estudiado originalmente por Ruth Byrne (1989)
y se utiliza como evidencia para argumentar que las personas no razonan con reglas lgicas de
inferencia, tales como el modus ponens (razonamiento hacia adelante), pero no por la razn
construccin e inspeccin de los modelos mentales, que son como los modelos de los arquitectos
o diagramas, cuya estructura es anloga a la estructura de la situacin que representan.
Los modelos mentales, como (Johnson-Laird, 1983) y (Johnson-Laird y Byrne, 1991) describen
ellos, se parecen mucho a las estructuras semnticas que investigar en captulos posteriores,
principalmente adicionales. Pero tambin se ven como conjuntos de oraciones atmicas, y por
consiguiente son ambiguos por los rigurosos estndares de la lgica matemtica (Hodges, 1993,
2006). Sera fcil descartar modelos mentales como la sintaxis y la semntica confusa. Pero
podra ser un signo de un ms profunda relacin entre la sintaxis y la semntica que es
normalmente entendido.
En efecto, tanto en el espritu de los modelos mentales, argumentar ms adelante en el
libro que la semntica adecuados para Lgica Computacional es una en la que estructuras
semnticas estn representados sintcticamente como conjuntos de enunciados atmicos. Yo
Tambin argumentan que el tipo de razonamiento que es ms til en Computational
La lgica es el razonamiento que participan en la generacin de un synactically representado
como estructura semntica, con el fin de hacer o mostrar que un conjunto dado de frases
puede ser cierto. Vamos a ver que es difcil distinguir entre el razonamiento acerca de la verdad
de tales estructuras sintctico / semntico y razonamiento puramente reglas sintcticas de
inferencia.
Al igual que la tarea de seleccin de Wason, la tarea de supresin ha generado una gran cantidad
de explicaciones alternativas. La explicacin que ms se acerca a la enfoque de este libro es la
explicacin de (Stenning y van Lambalgen, 2008) que la solucin de los problemas indicados en
lenguaje natural es un proceso de dos etapas de la primera identificacin de la forma lgica del
problema y luego razonar con que la forma lgica. El error que muchos psiclogos hacen es
ignorar la primera etapa del proceso, suponiendo que si la sintaxis de un lenguaje natural
declaracin ya tiene una forma aparentemente lgico, entonces esa forma aparente es
la forma prevista del significado de la declaracin.
Vimos un claro ejemplo de la diferencia entre la aparente lgica
forma de una frase Ingls y su forma lgica prevista en el captulo 1, en el
caso de la segunda frase del aviso de emergencia del metro de Londres:
El conductor se detendr
si alguna parte del tren est en una estacin.
Pgina 48
47
donde su significado pretendido era:
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.
El significado implcito de la frase contiene el objeto perdido, el
tren, de la parada de verbo y una condicin adicional, procedente del contexto de la
oracin anterior, pulse el botn de la seal de alarma para alertar al conductor. Porque
esta condicin de falta ya est presente en el contexto, es relativamente fcil
para que el lector los dan sin ni siquiera darse cuenta de que no est realmente all.
Podra decirse que, la situacin en la tarea de supresin es similar, en que el
Condena idioma Ingls si tiene un ensayo para escribir, entonces ella va a estudiar
tarde en la biblioteca tambin le falta una condicin adicional, a saber, la biblioteca es
abierto, necesario para representar la forma lgica de su significado:
Las excepciones son una forma convencional de aadir condiciones adicionales a una regla,
despus de
Se ha presentado una forma simplificada de la regla. En general, las normas y
excepciones tienen la forma:
Regla:
una conclusin es vlida si las condiciones tienen.
Excepcin:
pero la conclusin no se sostiene si otras condiciones se mantienen.
Hay diferentes maneras de juzgar la coherencia. Obviamente, una forma lgica que no tiene
ninguna conexin con la comprensin del lector de los objetivos del escritor y las creencias es
menos coherente que una forma lgica que tiene como conexiones. Una forma lgica que
confirma esta interpretacin es ms coherente que una forma lgica que entra en conflicto con
este entendimiento. En una secuencia de las oraciones en ingls, una forma lgica que tiene
conexiones con la formas lgicas de las oraciones anteriores es ms coherente que una forma
lgica que no.
La primera etapa de la tarea de seleccin es difcil, debido a que el lector tiene que decidir si el
condicional tiene cualquier condicin que faltan, si es el slo tener condicionada a la conclusin
dada, y si ha de ser interpretado como un objetivo o como una creencia. Para ayudar en la toma de
estas decisiones, la lector necesita para asimilar la forma lgica del condicional forma ms
coherente sea posible en sus objetivos y creencias existentes. Sperber, Cara y Girotto (1995)
argumentar que, debido a que hay mucha variacin posible en la primera etapa de la tarea de
seleccin, es imposible formar un juicio acerca de la exactitud de el razonamiento procesos que
intervienen en la segunda etapa. Este punto de vista es tambin apoyada por los resultados de los
experimentos por Almor y Sloman (2000) quien demostr que, cuando se les pidi que recordar el
problema despus de que hayan dada su solucin, que informan de una declaracin del problema
que es consistente con su solucin en lugar de con la declaracin problema original.
La segunda etapa de la tarea de seleccin es difcil, sobre todo porque es negacin duro. Por un
lado, se puede argumentar que las observaciones positivas son ms fundamental que las
observaciones negativas. Por ejemplo, se observa que un persona es alto, gordo y bien parecido,
no es que ella no es corto, no delgado y no feo. Tales oraciones negativas tienen que ser inferidos
a partir de observaciones positivas o suposiciones, y mayor la cadena de inferencias necesarias
para derivar una conclusin, el ms difcil es derivarlo.
A veces, cuando las comunicaciones tienen poca conexin con nuestro propio experiencia, se van
por un odo y sale por el otro, como si fueran una especie del ruido de fondo. Y a veces nos
entendemos frases en nuestra manera, privado, slo vagamente conectados a lo que el autor ha
escrito, y incluso de manera ms flexible conectado a lo que el escritor en mente.
En contraste con frases en lenguaje natural, oraciones en forma lgica decir exactamente lo que
quieren decir. Pero debido a que diferentes personas tienen diferentes metas y creencias, la misma
frase en forma lgica tiene un significado diferente para diferentes personas. Por lo tanto, aunque
la frase tiene el mismo significado para diferentes personas cuando la sentencia se considera en
forma aislada, tiene una diferente es decir, (o importancia) cuando la sentencia se entiende en el
contexto de un metas y creencias de la persona.
Supongamos, por ejemplo, que la sentencia Susan tiene una mochila en la espalda
significa exactamente lo que dice, y ya est en forma lgica. Pero si creo
que Susan tiene una bomba en la mochila y cree que Susan slo tiene
su almuerzo en la mochila, la misma idea de que Susan tiene una mochila en
la espalda tiene un significado diferente para los dos de nosotros.
Trate de suspender todos los dems objetivos y creencias que pueda tener sobre el rojo
y mirando rojo, y tratar la sentencia en el sentido exactamente lo que dice. Ahora
Supongo que yo tambin te digo que:
Es probable que llegar a la conclusin obvia de que esta manzana es roja. Ahora
Supongo que yo digo adems:
Un objeto es rojo si se ve de color rojo y no est iluminado por una luz roja.
Conclusiones
En este captulo, hemos considerado la demanda, con el apoyo de la tarea de seleccin, que
razn por la cual las personas por medio de algoritmos especializados en lugar de por medio de
lgica de propsito general. He atacado esta afirmacin con el argumento de que no se
aprecian que los algoritmos especializados combinan el conocimiento especializado con
razonamiento de propsito general.
Tras Sperber, Cara y Girotto (1995) y Stenning y van Lambalgen (2008), que sostuvo que la
discusin de los experimentos psicolgicos de razonamiento tampoco prestar especial atencin a
la primera etapa de la solucin este tipo de problemas, que es de traducirlas al lenguaje natural en
lgica formulario. Por otra parte, se produce un error en particular para tener en cuenta la
necesidad de que los formas lgicas que sean coherentes con otros objetivos y creencias del
lector.
Sin embargo, aun teniendo en cuenta estos argumentos, quedan
problemas asociados con la segunda etapa de razonamiento con la resultante
formas lgicas. Algunos de estos problemas, como se ilustra por tanto la supresin
tareas y los ejemplos de luz roja, tienen que ver con la relacin entre
condicionales y su inverso. Otros problemas ms difciles que tienen que hacer
con el razonamiento con la negacin. Ambos tipos de problemas, razonamiento con
conversa y razonamientos con la negacin, se examinarn en los captulos posteriores.
Pgina 54
53
En este captulo vamos a retomar la antigua fbula griega de la zorra y el cuervo, que
mostrar cmo el pensamiento proactivo de la zorra burla el pensamiento reactivo
el cuervo. En captulos posteriores, se forma el pensamiento reactivo y proactivo puede
ser combinados.
El zorro y el cuervo son una metfora para los diferentes tipos de personas. Algunos
las personas son proactivos, como el zorro en la historia. A ellos les gusta planificar el futuro,
prever los obstculos y llevar una vida ordenada. Otras personas son reactivas, como la
cuervo. Les gusta estar abierto a lo que est sucediendo alrededor de ellos, aprovechar
de nuevas oportunidades, y para ser espontneo. La mayora de las personas son tanto proactiva
y reactivas, en diferentes momentos y en diferentes grados.
El zorro y el cuervo
En esta versin de la historia, tenemos en cuenta el punto de vista del zorro. Para modelar la
forma proactiva de pensar, representamos sus metas y creencias en forma lgica:
Como puede ver, el zorro no es slo un lgico de las clases, sino tambin un aficionado
fsico. En particular, su creencia de estar cerca del queso si el cuervo
canta combina en una sola sentencia su conocimiento sobre su ubicacin
relativa al cuervo con su conocimiento de las leyes de la gravedad. Razonamiento
informalmente, la declaracin solo se puede derivar de otra ms fundamental
declaraciones de la siguiente manera:
El zorro sabe que si el cuervo canta,
entonces la lnea se abrir el pico
y el queso se caer al suelo bajo el rbol.
Por lo tanto, el zorro sabe que estar cerca del queso si el cuervo canta.
El zorro se sostiene esta creencia acerca de las condiciones en que se tendr un objeto como una
ley general, que se aplica universalmente a todos los animales ya cualquier objeto (aunque ella no
pareca saber que la ley tambin se aplica a los robots, a menos que las opiniones de los robots
como otra especie de animal). Tambin sabe bastante lgica para poder crear una instancia de la
ley general, es decir, a aplicarlo a casos especiales de los animales y los objetos, como el zorro y
el queso, respectivamente.
Creencias de la zorra que no slo la forma lgica, pero tambin tienen ms forma especializada de
los condicionales:
conclusin si condiciones.
Incluso los "hechos", que las observaciones de discos, como la creencia de que el cuervo tiene el
queso, puede ser visto como condicionales que tienen una conclusin, pero sin
condiciones:
conclusin si nada.
O en trminos ms lgicos:
conclusin de si es cierto.
Usted no llegara muy lejos con un lenguaje tan indeciso en el ejrcito, pero al
menos se evitara la necesidad de resolucin de conflictos. Sin embargo, no vamos a
preocuparse por estas lindezas por el momento, y volver a nuestra historia de la zorra y el
cuervo.
El zorro puede utilizar estos procedimientos (ya sea expresa imperativamente o como
recomendaciones), uno tras otro, para reducir la meta de nivel superior que tienen la
queso de los dos sub-objetivos de accin alabo al cuervo y Tomo el queso.
T unto, estas dos acciones constituyen un plan para alcanzar la meta de nivel superior.
Reduccin del zorro de su meta original de los dos sub-objetivos de accin puede ser
visualizada como la bsqueda de una solucin en el grfico de conexin que la une
objetivo de alto nivel a la web de sus creencias. Por supuesto, la totalidad de toda su
creencias est obligado a ser enorme, y la bsqueda sera como buscar una aguja
en un pajar. Sin embargo, la estrategia de razonamiento hacia atrs gua el
Pgina 59
58
bsqueda, por lo que debe tener en cuenta slo las creencias relevantes cuya conclusin
coincide con la meta.
A partir de la meta original, de alto nivel y siguiendo los enlaces en el grfico,
el zorro puede encontrar fcilmente un sub-grafo que conecta la meta ya sea para conocer
hechos, como el cuervo tiene el queso, o sub-objetivos de accin, tales como Alabo
el cuervo y Tomo el objeto, que se puede convertir en hechos mediante la ejecucin de
con xito en el mundo real. Este subgrafo es una prueba de que, si el
acciones en el plan de xito, y si las creencias del zorro son realmente verdad, entonces la
fox alcanzar su meta de nivel superior. La estrategia del zorro por la bsqueda de la
grfico, poniendo las conexiones juntos y la construccin de la prueba se llama un
procedimiento de prueba.
Yo tengo el queso.
coincide con la celebracin del condicional:
Pgina 60
59
Un animal tiene un objeto
si el animal est cerca del objeto y el animal toma el objeto.
creando instancias de los trminos generales del animal y el objeto con el especfico
trminos I y el queso, respectivamente.
La segunda de estas dos sub-objetivos es una accin, que coincide con el
conclusin de que no condicional en el grfico de conexin. Esto puede ser resuelto nicamente
por realizarla con xito. Sin embargo, la primera sub-objetivo se puede reducir a otra
sub-objetivos por otros tres pasos de razonamiento hacia atrs. El resultado final de
esta cadena de razonamiento hacia atrs es una prueba lgica de que el zorro tiene el queso
si ella alaba al cuervo y coge el queso.
En la lgica tradicional, es ms comn para presentar pruebas en el
Direccin de avance. En este caso, una prueba tradicional se vera ms como esto:
Yo alabo al cuervo.
Por lo tanto el cuervo canta.
Tomo el queso.
Por lo tanto Yo tengo el queso.
Aunque el razonamiento hacia adelante es una forma natural para presentar pruebas despus de
que hayan sido encontrado, el razonamiento hacia atrs es normalmente una forma ms eficiente
para encontrar ellos. Tanto el razonamiento hacia adelante y hacia atrs implica bsqueda, pero
teniendo en cuenta un objetivo que hay que resolver, hacia atrs razonamiento es dirigido a un
objetivo, y se centra la atencin en creencias que son relevantes para el objetivo.
El grfico de conexin representado arriba ilustra slo una fraccin de la
creencias que son potencialmente relevantes para el objetivo. Algunos de los enlaces, como el
que une el objetivo de primer nivel para la creencia de que un animal tiene un objeto si el
animales hace que el objeto no se cuentan en el plan que el zorro con el tiempo
encuentra para resolver su meta. La creencia es relevante para el objetivo, ya que su
conclusin coincide con la meta. Sin embargo, para simplificar, he ignorado, por ahora, el
posibilidad de que el zorro puede explorar esta forma alternativa de resolucin de su top-
meta de nivel.
En una representacin ms realista de la grfica, no habra muchos ms estos enlaces
potencialmente relevantes. Algunos de ellos podran llevar a otras soluciones,
por ejemplo, para la solucin en la que el zorro sube al rbol y arranca el queso del cuervo. Otros
podran dar lugar a intiles o incluso contraproducentes
Pgina 61
60
intentos de soluciones productivas, por ejemplo, para el zorro saltando en el cuervo,
pero le espantar en el proceso.
El zorro se necesita tanto una estrategia para orientar su bsqueda de soluciones y
estrategia de comparar soluciones y decidir entre ellos. Vamos a discutir la
problema de la bsqueda de soluciones en el Captulo 4, y el problema de decidir
entre las soluciones en los captulos posteriores.
Pero, en primer lugar, darse cuenta de que, adems de otros enlaces, que conducen a otras formas
de tratar de resolver la meta de nivel superior que tengo el queso, no hay otra manera de
tratar de resolver la meta, que ni siquiera lo hacen, como un enlace, en el grfico,
es decir, tratando de aprovechar el hecho de el cuervo tiene el queso. Recuerde este hecho
es en realidad una especie de degenerado condicional el cuervo tiene el queso si es cierto,
que se comporta como el procedimiento simple para comprobar que el cuervo tiene el queso,
no hacer nada. Este procedimiento se puede utilizar para tratar de resolver la meta de nivel
superior I tener el queso, tratando de identificar (partido o unificacin) los dos trminos
especficos
Yo y el cuervo. Si esta identificacin fuera posible, el razonamiento hacia atrs con
el hecho de que resolvera el objetivo de alto nivel en un solo paso.
Hemos estado utilizando la identificacin de trminos relacionados, la creacin de instancias,
juego y la unificacin de manera informal. Estos trminos tienen definiciones precisas,
que se presentan en el Captulo A3. Para los fines de este ejemplo, se
basta sealar que estas definiciones excluyen la posibilidad de identificar
diferentes trminos especficos entre s. As que, a menos que el zorro est teniendo un
crisis de identidad, no puede coincidir con la conclusin de la degenerada condicional
el cuervo tiene el queso si es cierto con su meta que tengo el queso. El
Grfico de la conexin no incluye un vnculo entre el hecho y el objetivo,
porque pre-calcula instancias unificadoras, y reconoce que la
la identificacin de los trminos especficos de I con el cuervo es imposible. Esta pre-
clculo es independiente de los diferentes efectos a los que dicho enlace
podra contribuir.
As, el razonamiento hacia atrs, grficos de conexin y una serie de otros
tcnicas desarrolladas en el campo de razonamiento automatizado en Artificial
Inteligencia reducir significativamente la cantidad de bsqueda que un agente necesita
llevar a cabo para resolver sus metas. Pero incluso con todas estas mejoras, el
problema de la bsqueda es ineludible, y volveremos a ella en el captulo 4, donde
se pone todo un captulo aparte.
El final de la historia de la zorra y el cuervo?
Por un extremista de la lgica, este sera el final de la historia. Para el extremista,
no hay diferencia entre el mundo de la zorra y las creencias de la zorra de la
mundo, y no hay diferencia entre el plan de la zorra para conseguir el queso y el
fox en realidad tenerlo.
Sin embargo, el sentido comn nos dice que hay ms en la vida que slo
pensando. Adems de pensar, un agente necesita para observar los cambios en el
mundo y para llevar a cabo acciones para cambiar el mundo a cambio. La lgica sirve
Pgina 62
61
estos efectos, proporcionando el agente con un medio de construccin simblica
representaciones del mundo y de procesar esas representaciones a la razn
sobre el mundo. Podemos representar esta relacin entre el mundo y la lgica
en la mente de un agente de la siguiente manera:
Representacin y significado
Esta relacin puede ser visto de diferentes maneras. Por una parte,
frases en forma lgica representan ciertos aspectos de la agente de
experiencia del mundo. Por otro lado, el mundo es una interpretacin,
lo que da sentido (o semntica) para frases que expresan el agente de
metas y creencias.
Esta nocin de significado, por cierto, es muy diferente del significado
que nos preocupaba antes, cuando entendimos que significa que el
pensamientos que las personas tratan de comunicarse por medio de oraciones en
lenguaje natural. All, el significado de una oracin pblica es una organizacin privada
frase en el idioma del comunicador del pensamiento. Aqu est el significado
de esa oracin privada en relacin con el mundo. Estas relaciones
entre los diferentes tipos de significado puede representarse as:
Pgina 63
62
Mientras que antes estbamos preocupados con el significado de la llamada del altavoz, aqu
nos preocupa significado lgico. Los lingistas y filsofos son tambin
preocupado por el significado lingstico, entendido en trminos de la relacin
entre las oraciones del lenguaje natural y el mundo. Pero en mi opinin,
comunicaciones ordinarias del lenguaje natural son demasiado imprecisos y demasiado torpe
a tener un significado que es independiente de la lgica de su significado
significado del hablante.
Podemos entender mejor el concepto de significado lgico si tenemos en cuenta que
en trminos generales, como una relacin entre oraciones en forma lgica y
interpretaciones (a veces tambin llamados modelos o mundos posibles), incluyendo
mundos artificiales e imaginario, como el mundo de la historia de la zorra y el
cuervo. Una interpretacin es simplemente una coleccin de individuos y relaciones
entre los individuos. Por simplicidad, tambin se consideran propiedades de los individuos
como relaciones.
Una interpretacin en la lgica tradicional normalmente corresponde a una sola,
estado esttico del mundo. Por ejemplo:
En la historia de la zorra y el cuervo, el zorro, cuervo, queso, rbol, planta
bajo el rbol, y el espacio areo entre el cuervo y el suelo puede ser
considerado como individuos, y que alguien tenga algo puede ser
considerarse como una relacin entre dos individuos. La frase "El
cuervo tiene el queso. "es cierto en la interpretacin al principio de
la historia y lo falso en la interpretacin al final de la historia.
La forma ms sencilla de representar a una interpretacin de forma simblica es
representarlo por el conjunto de todas las oraciones atmicas que son verdaderas en el
interpretacin. En este ejemplo, podemos representar a la interpretacin de la
a partir de la historia de las proposiciones atmicas:
Por lo tanto, con el fin de determinar si las sentencias arbitrarias son verdaderas
o falsa, no es necesario saber cules son las personas reales y
relaciones en una interpretacin. No basta simplemente saber qu
proposiciones atmicas son verdaderas y cules son falsas proposiciones atmicas.
Quiero cantar.
Pero si yo canto, entonces el zorro estar cerca del queso.
Si la zorra est cerca del queso y recoge el queso,
entonces la zorra tendr el queso.
Tal vez la zorra quiere tener el queso y por lo tanto recoger.
Pero no voy a tener el queso.
Desde que quieren tener el queso, no voy a cantar.
Esta lnea de razonamiento utiliza algunas de las mismas creencias que los utilizados por el zorro,
pero los usa hacia delante en lugar de hacia atrs. Vamos a investigar este doble
el uso de las creencias para razonar hacia atrs y hacia adelante en los prximos captulos. En
Captulo 4 Buscar
Es un punto de vista comn en algunos mbitos que la lgica tiene poco que ver con la
bsqueda. Para ejemplo, Paul Thagard (2005) en la mente: Introduccin a la Ciencia Cognitiva
afirma en la pgina 45: "En los sistemas basados en lgica, la operacin fundamental de la
pensamiento es la deduccin lgica, pero desde la perspectiva de los sistemas basados en reglas,
la operacin fundamental del pensamiento es la bsqueda ".
Del mismo modo, Jonathan Baron (2008) en su libro de texto de pensar y decidir
escribe en la pgina 6: "Pensar en acciones, creencias y metas personales puede todo
ser descrito en trminos de un marco comn, que afirma que el pensamiento
consta de bsqueda e inferencia. Buscamos para ciertos objetos y luego hacer
inferencias de y sobre los objetos que hemos encontrado. "En la pgina 97, Baron
seala que la lgica formal no es una teora completa de pensar, ya que
"Cubre slo la inferencia".
En este libro, vemos las reglas de inferencia de la lgica como la determinacin de la bsqueda
espacio de posibles soluciones de los objetivos y las estrategias de bsqueda como la
determinacin procedimientos de prueba para la bsqueda de soluciones de los objetivos. Pero al
igual que Baron, tambin vemosla necesidad de utilizar las reglas de inferencia de lgica para
inferir consecuencias de candidatosoluciones. Por otra parte, tambin nos
distinguimos pensamiento, que genera soluciones y deduce sus consecuencias, de decidir, que
evala las soluciones y Escoge entre ellos. En el captulo 8, veremos que los sistemas basados en
reglas, defendido por Thagard, tambin puede ser entendida en trminos lgicos.
Y-o los rboles se han utilizado ampliamente para la resolucin de problemas en Artificial
Inteligencia, especialmente para juegos de dos personas, como el ajedrez. En juego
jugando, o-arcos representan movimientos alternativos del primer jugador, y y arcos
representar todos los posibles reponses del segundo jugador. Para ganar el juego, el
primer jugador debe tener una medida que vence a todos los movimientos del segundo jugador.
En muy grandes juegos, como el ajedrez, es imposible que un jugador para buscar
el rbol por completo antes de decidir el prximo movimiento. Sin embargo, incluso en tales
juegos, a menudo es posible calcular una medida aproximada del valor de
un nodo, y usar esa medida para guiar la bsqueda de la mejor solucin
en el tiempo y otros recursos disponibles. La estrategia de bsqueda minimax,
por ejemplo, utiliza como una medida para elegir un movimiento que minimiza el valor
de los mejores movimientos para el otro jugador. Estrategias de bsqueda similares pueden ser
utilizados
ms general y, o rboles que corresponden a razonar hacia atrs en
grficos de conexin.
En los rboles convencionales y, o, los sub-objetivos asociados a la misma
alternativa son independientes el uno del otro. Pero en los grficos de conexin,
sub-objetivos son a menudo interdependientes. Por ejemplo, si usted es un animal y que
tratar de usar la creencia:
Pgina 68
67
un animal tiene un objeto
si el animal est cerca del objeto
y el animal toma el objeto.
tener un objeto, entonces usted tiene dos sub-objetivos, para encontrar un objeto que est cerca
de y para encontrar un objeto que se puede recoger. Pero el objeto que encuentre debe ser el
misma para ambos sub-objetivos. En teora, se podra resolver los dos sub-objetivos
independiente, la bsqueda de objetos cercanos y recogiendo objetos arbitrarios y
a continuacin, tratar de encontrar un objeto que pertenece a los dos conjuntos de soluciones
despus.
En la prctica, sin embargo, que sera mucho mejor encontrar primero un objeto cerca
usted, y luego tratar de recogerlo.
Debido a esta interdependencia entre los sub-objetivos, a menudo es ms
conveniente para representar el espacio de bsqueda para el razonamiento hacia atrs como un
simple
o-rbol, cuyos nodos son conjunciones de todos los sub-objetivos asociados con una
alternativa. Considerando que el e-o rbol y las representaciones grficas de conexin
mostrar los objetivos y creencias originales, la or-rbol muestra slo las metas y
subobjetivos generados por las creencias. Esto es lo que tal o rbol se parece a la
El objetivo de zorro de tener el queso de cuervo:
Pgina 69
68
El subobjetivo subrayado en cada nodo es el sub-objetivo seleccionado para el gol-
reduccin, lo que da lugar al siguiente nivel de los nudos inferiores en la bsqueda
espacio.
Debido a su simplicidad, es fcil ver cmo definir una variedad de
diferentes estrategias de bsqueda para la bsqueda o de rbol de espacios de bsqueda. El ms
ingenuo estrategia es la bsqueda primero en amplitud, nivel por nivel, generando primero todos
los nodos de un alejarse de la meta de nivel superior, a continuacin, todos los nodos a dos pasos,
etc
Si hay es una solucin a la meta de nivel superior, entonces la bsqueda en amplitud se garantiza
para encontrar la solucin ms corta. Pero la bsqueda en amplitud es combinatoria
explosivo. Si cada nodo tiene dos nodos sucesores alternativas, un nivel inferior
en el rbol, a continuacin, si la solucin ms corta implica dos meta-reducciones, los
estrategia de bsqueda debe generar slo 22 = 4 ramas. Si se trata de 10 goles
reducciones, que necesita para generar 210= 1.024 sucursales. Sin embargo, si necesita 50 meta-
reducciones, entonces tiene que generar 250 = 1.125.899.906.842.624 ramas.
No es de extraar que muchos crticos creen que la IA es imposible.
Hay dos maneras de evitar el problema. Una es usar una mejor bsqueda
estrategia. La otra es utilizar un mejor espacio de bsqueda. Vamos a volver a la
segunda manera ms tarde. Pero primero considerar la misma situacin que antes, en la que
cada nodo tiene dos sucesores, pero ahora supongamos que la mitad de las ramas
contener una solucin, por ejemplo, al mismo nivel de 50 pasos de la de nivel superior
gol. Luego, en promedio, bsqueda en profundidad necesita generar slo 100
nodos para encontrar la primera solucin.
Best-primera bsqueda
Best-primero las estrategias de bsqueda son tiles cuando las diferentes soluciones de un
problema tener valores diferentes. Por ejemplo, suponiendo que el zorro en nuestros jueces
historia
Pgina 72
71
que tiene el queso de cuervo es ms valioso que lo que su propia comida,
ella podra utilizar mejor primera bsqueda para guiar su bsqueda de la mejor solucin.
Para utilizar mejor primera bsqueda, debe ser capaz de evaluar y comparar diferentes
soluciones. Por ejemplo, si quieres ir de A a B, entonces podran preferir un plan de viaje que se
tarda menos tiempo, cuesta menos dinero o causa el menor dao para el medio ambiente. Ningn
plan es probable que sea mejor para todos estos atributos, por lo que puede tener que pesar y
cambiar un atributo contra el otro. Teniendo en cuenta los valores de pesos, se puede utilizar la
suma ponderada de los valores de los atributos como una nica medida del valor total de una
solucin.
A menudo es posible extender la medida del valor de una completa solucin a una medida del
valor de una solucin parcial. Por ejemplo, supongamos desea viajar de Bridgeport en
Connecticut a Petworth en Inglaterra, y usted est explorando un plan de viaje parcial que
consiste en volar desde Nueva York a Londres, pero no se han dado cuenta de que el resto del
plan. Usted sabe que el mejor costo de cualquier plan de viaje completo que se extiende el plan
parcial deber incluir el costo del vuelo. As que usted puede sumar el coste de la
vuelo con una estimacin para los mejores costes de cualquier recorrido adicional, para estimar
el coste de la mejor plan de viaje que incluye este plan parcial.
Best-primera bsqueda utiliza la medida del valor de las soluciones parciales dirigir la bsqueda
de soluciones completas. El primero en amplitud variante de primero el mejor
bsqueda hace cogiendo una rama que tiene en la actualidad una mayor calidad, y
la generacin de sus nodos sucesores. Bajo ciertas condiciones fcilmente satisfechos, el
primera solucin encontrada de esta manera se garantiza que sea la mejor solucin (ptima).
Aunque tal best-primera bsqueda es mejor que una simple bsqueda en amplitud,
que sufre de desventajas similares. Es tambin es computacionalmente explosivo, especialmente
cuando hay muchas soluciones que difieren nicamente uno de otro ligeramente en valor. Estas
desventajas se pueden evitar en cierta medida por un Profundidad-primera versin del best-
primera bsqueda, que al igual sencilla bsqueda en profundidad, explora slo una rama del
espacio de bsqueda a la vez.
La profundidad primera versin del best-primera bsqueda mantiene un registro de los mejores
solucin encontrada hasta el momento. Si la rama actual no es una solucin, y la rama
se puede ampliar, a continuacin, se extiende el poder mediante la generacin de un nodo sucesor
que tiene mayor valor estimado. Sin embargo, si el valor estimado de la rama extendida excede el
valor de la mejor solucin encontrada hasta el momento (si hay es uno), entonces la rama
extendida termina en fracaso y la estrategia de bsqueda da marcha atrs a una alternativa
anterior.
Si la rama actual es una nueva solucin, entonces la estrategia de bsqueda se compara
su valor con el valor de la mejor solucin encontrada hasta ahora (si hay uno), y
actualiza su registro de la actualidad mejor solucin. De esta manera, la bsqueda
estrategia puede ser interrumpida en cualquier momento, despus de haber generado la mejor
solucin que se pueden encontrar dentro de los recursos computacionales disponibles.
Ambas variantes del mejor primera bsqueda complementan el uso de la teora de la decisin
para la eleccin de la mejor solucin, una vez que se ha encontrado. La profundidad-primero
variante
Pgina 73
72
tiene la ventaja adicional de que se interpreta "mejor solucin" ms realista
como "la mejor solucin teniendo en cuenta los recursos computacionales disponibles". Adems,
que su medida del valor de las soluciones y de las soluciones parciales se puede extender
para incluir, no slo su utilidad, sino tambin la probabilidad de su realidad
el logro de sus resultados esperados. La medida resultante del valor como
utilidad esperada, la combinacin de utilidad y probabilidad, integra mejor primera bsqueda
en un marco de toma de terica clsica.
El grfico de la conexin de las metas y creencias de un agente tambin puede ayudar con ms
primera bsqueda, mediante la asociacin con los enlaces de informacin estadstica sobre el
grado a los que los enlaces han sido tiles en el pasado. Esta informacin puede ser
se utiliza para aumentar o disminuir la fuerza de las conexiones en el grfico.
Siempre que el agente resuelve un nuevo objetivo, que puede aumentar la fuerza de los enlaces
que han contribuido a la solucin, y disminuir la fuerza de los vnculos que
han llevado por el sendero del jardn. La fuerza de los vnculos se puede utilizar para ms
primera bsqueda, mediante la activacin de vnculos ms fuertes antes de vnculos ms dbiles.
La fuerza de los enlaces se puede combinar con los niveles de activacin asociados
con los objetivos y las observaciones actuales del agente. Los niveles de activacin se puede
propagarse a travs de la grfica de la proporcin a la fuerza de los enlaces, el razonamiento
bidireccional, tanto hacia atrs a partir de los objetivos y delanteros de la
observaciones. Cualquier accin subobjetivo candidato cuyo nivel de activacin excede
un cierto umbral puede ser ejecutado de forma automtica.
La ejecucin de la accin resultante combina una forma de best-primera bsqueda con un
forma de eleccin de decisiones terico de mejor accin, en un algoritmo que
se asemeja a un modelo conexionista del cerebro. Un modelo de agente de empleo de este
enfoque ha sido desarrollado por Pattie Maes (1990). El modelo no utiliza
lgicos o conexin grficas explcitamente, pero se puede entender de tal puramente
trminos lgicos.
Grficos de conexin tambin se pueden utilizar para combinar una bsqueda con la compilacin
objetivos de propsito general y creencias en forma ms eficiente para usos especiales.
Esto se debe a vnculos muy fuertes entre las metas y creencias se comportan como si
los vnculos eran metas y creencias en su propio derecho. La generacin de estos objetivos o
creencias explcitamente y aadirlos a la grfica cortocircuitos la necesidad de
activar los enlaces explcitamente en el futuro. Por ejemplo, el zorro de Specialized
creencia de que el cuervo canta si yo alabo al cuervo puede ser generada a partir de tales
creencias ms de uso general como:
Pgina 74
73
Voy a discutir ms adelante en el captulo 9, que este tipo de recopilacin de enlaces hacia nuevas
metas y las creencias se pueden ver en algunos casos como una especie de compilacin de la
conciencia pensamiento en pensamiento subconsciente.
Sin embargo, las estrategias de bsqueda eficientes y otros de uso general de resolucin de
problemas mtodos son slo la mitad de la historia de lo que se necesita para resolver los
problemas de manera eficiente. La otra mitad de la historia se refiere a la representacin del
conocimiento. En nuestra historia de la zorra y el cuervo, en particular, hemos empleado una
representacin simplificada, lo que simplifica enormemente sobre-el conocimiento
cuestiones de representacin involucrados.
Para empezar, la representacin ignora completamente temporal consideraciones. Es obvio que la
accin de un agente de recoger un objeto inicia la propiedad del agente que posee el objeto
despus. Este propiedad sigue manteniendo hasta que se termina por alguna otra accin o
evento, tales como el agente que da el objeto de distancia, perderlo o consumirlo.
Por lo tanto, para ser ms precisos, deberamos haber expresado la relacin entre recoger un
objeto y que lo posee de la misma familia:
De hecho, como veremos en el captulo 13, esta representacin se combina en una sola
creencia de una ley ms bsica de causa y efecto (es un estado de posesin es iniciado por recoger
un objeto) con una restriccin (es una condicin previa para recoger un objeto es estar cerca del
objeto).
La representacin de la causa y el efecto es lo suficientemente complejo que dar cuenta detallada
en el captulo 13. Pero, aun ignorando tales consideraciones, todava hay grandes problemas de
representacin del conocimiento en juego.
De hecho, bordeamos en torno a estos temas antes, cuando discutimos informalmente que
el zorro puede derivar la creencia estoy cerca del queso si el cuervo tiene el
el queso y el cuervo canta de las creencias ms bsicas sobre las leyes de la gravedad y su
ubicacin en relacin con otros objetos.
All, la principal motivacin era simplemente para hacer el ejemplo suficientemente simple, no te
agobies con absoluto detalle. Pero hay haba otra razn: Hay mucho conocimiento que podra ser
relevante para el El objetivo de zorro que sera difcil saber dnde parar. Si Quine tenan razn
acerca de la web de la creencia, de que cada creencia est conectado a todos los dems creencia,
un agente potencialmente podra tener en cuenta la totalidad de sus creencias, con el fin de
resolver cualquier objetivo que pueda surgir en su entorno. Es este conocimiento
problema de la representacin, ms que cualquier problema que ver con el uso general
Pgina 75
74
razonamiento, que es el principal cuello de botella en el desarrollo de la Inteligencia Artificial.
Posiblemente, tambin es el mayor problema para comprender y mejorar
la inteligencia humana. Para decirlo ms directamente, el conocimiento es ms importante
que el poder de resolucin de problemas en bruto.
Miras por la ventana y no ven ningn gotas de lluvia que caen del cielo. Usted concluye
que no est lloviendo.
Es justo antes de la hora de acostarse y la hora de un refrigerio a media noche, pero que
estn enuna dieta. Hace una pausa para controlar las sensaciones en su cuerpo. El no poder
sentir punzadas de hambre, decide que no tiene hambre, y se adhieren a su
------------------------------------------------------------------------------------------------------------- -------
2
Variables en la lgica simblica son similares a las variables en las matemticas, pero ms
preciso. En matemticas, es comn hacer ninguna distincin entre los diferentes
papel que desempea la variable x en las dos ecuaciones: 2x = 2, X + Y = Y + X. En el
primera ecuacin X es un desconocido, e implcitamente, la ecuacin representa la existencialmente
objetivo cuantificado de mostrar que existe un X tal que 2X = 2, a saber, el valor de X = 1. Sin embargo, en la segunda
ecuacin de X e Y son los nmeros arbitrarios, y
implcitamente la ecuacin representa la frase universalmente cuantificado expresando que
para cualquier par de nmeros de X e Y no importa en qu orden se agregan, el
resultado es el mismo.
Pgina 77
76
dieta. Tienes suerte esta vez. No slo tiene la obervation activa de la
estado de su cuerpo devuelve una respuesta negativa, pero no ha sido
atacado por no provocados, sentimientos "pasivos" del hambre.
Eres un robot en busca de vida en Marte, movindose un paso a la vez en
terreno incierto. Cada vez que se mueve hacia adelante un paso, observar
y grabar lo lejos que han llegado. Si su intento de avanzar ha fallado,
entonces usted ha observado que no se ha movido en absoluto.
Veremos ms adelante que las observaciones negativas pueden ser representados por medio de
limitaciones, que son objetivos condicionales con falsa conclusin. Pero en el
Mientras tanto aqu hay un par de ejemplos:
Tambin veremos que las observaciones negativas tambin se pueden derivar de positivo
observaciones, con limitaciones. Por ejemplo:
Si usted cree que sabe cmo sumar dos nmeros, que cada
par de nmeros tiene un solo fin, y que cuando se agrega 2 + 2 que
obtener 4, entonces se puede concluir que 2 + 2 una olla de oro.
Derivar una conclusin negativa de la incapacidad para resolver una meta positiva es
llamado negacin como fracaso en la programacin de la lgica:
para demostrar que la negacin de una frase positiva se mantiene,
muestran que la oracin positiva no se sostiene.
El uso de la negacin como fracaso para derivar una conclusin negativa se justifica por
la suposicin de mundo cerrado que tiene un conocimiento completo acerca de todos los
condiciones en que la conclusin positiva se mantiene. Podra ser mejor
llamado el supuesto cerrado mente, ya que las creencias de un agente no se llevan a cabo
externamente en el mundo, pero internamente en su mente. El supuesto puede ser
representada como una meta-creencia:
----------------------------------------------------------------------------------------------------
3
Lgica epistmica y meta-lgica son muy similares cuando se entiende de manera informal, pero
son muy diferentes cuando se formalizan. La relacin entre ellos se abord en captulos
posteriores, pero hasta cierto punto sigue siendo un tema de investigacin abierto.
Pgina 81
80
si yo no lo s (o creer) que la sentencia en s tiene.
Para ilustrar la negacin como regla fracaso (abreviado naf), supongamos que
estn tratando de decidir si debe o no ir a una fiesta y supone:
Supongamos que estamos interesados en saber si mary ir. Entonces podemos razonar
hacia atrs de la siguiente manera:
Supongamos: bob no ir
Razonamiento hacia adelante: john ir.
Razonamiento hacia adelante: mary ir.
Supongamos ahora que Bob decide ser difcil. Creyendo que Mara ir, l
decide ir tambin. Vamos a ver lo que piensa acerca de Mara que:
Fallo: no!
As que parece que Bob se va a la fiesta por su cuenta. La adicin de la nueva informacin
que bob ir derrota el argumento anterior de que mary ir. Es similar vence cualquier intento de
mostrar que Juan pueda.
Esta propiedad de la negacin como fracaso y la suposicin de mundo cerrado es
llamada anulabilidad o no monotonicidad.4 Visto de esta manera, la suposicin de mundo cerrado
no es tan de cerca importado, despus de todo, ya que cualquier conclusin obtenida con su ayuda
siempre sujetos a revisin. Es como si la celebracin tiene un extra, oculta auto-calificacin
epistmica, por lo que yo s, por ejemplo.:
Es una forma de razonamiento por defecto, en un agente que salta a una conclusin, pero luego
retira la conclusin dado nueva informacin que conduce a lo contrario de la conclusin.
El desarrollo de la lgica del razonamiento por defecto ha sido uno de los ms importantes logros
de la Inteligencia Artificial. La mayor parte de la investigacin ha ha preocupado por explorar
"semntica" alternativas de razonamiento por defecto y con el desarrollo de los procedimientos de
prueba eficientes. El supuesto mundo cerrado es una semntica informal, pero tiene que ser
refinado para hacer frente a ms dificultades casos, como en el siguiente ejemplo.
Supongamos que Bob est ahora fuera de la imagen, pero Mara y Juan son todava teniendo
problemas para decidir qu hacer:
------------------------------------------------------------------------------------------------------------- --
4
Monotona en matemticas significa que cuanto ms que usted pone en un sistema, mssalgas. La lgica clsica es
montona en este sentido. Razonamiento por defecto es no-montona, ya que poner en obtener ms informacin pueden
dar lugar a derivados previamente conclusiones estn retirando.
Pgina 83
82
mary pasar si Juan va a ir.
john pasar si Mara va a ir.
Ya que no se puede demostrar que Mara va a ir, se deduce del mundo cerrado
supuesto de que Mara no ir. Asimismo john no ir. Por lo que saber.
El ejemplo muestra que el razonamiento por defecto puede implicar la necesidad de razonar
con una cantidad infinita de recursos. Por esta razn, se dice que la semntica ser no-
constructiva. Sin embargo, en este como en muchos otros casos, el infinito cadena de
razonamiento necesaria para demostrar que una conclusin negativa tiene puede ser
detectado finito al notar que las mismas vuelve a subobjetivo como subobjetivo de
en s. Pero en el caso general, la insuficiencia infinito puede no ser detectado por finito
medios.
Este es un ejemplo del mismo fenmeno que subyace a Kurt Gdel (1931, 1951) la prueba del
teorema de incompletitud, que establece que existen oraciones verdaderas, pero no demostrable de
la aritmtica. Volveremos a este tema en los captulos 15, 17 y A2. Por otra parte, en el captulo
15, vamos a investigar un finita versin constructiva de la negacin como fracaso y discutir su
relacin con la prueba de aritmtica.
Reconozco que tendemos a ver el mundo en trminos positivos, y para derivar conclusiones
negativas de la falta de mostrar las conclusiones positivas, no seguimos que tenemos que tener
una mente cerrada de todo. Podemos
distinguir entre c losed predicados, de la que tenemos completa conocimiento, y abierto
predicados, de la que nuestro conocimiento es incompleto.
Predicados cerradas son apropiadas para los conceptos que utilizamos para organizar y
estructurar nuestros pensamientos y que no representan directamente a nuestras interacciones
con el mundo. Estos incluyen predicados que clasifican observaciones y acciones
en categoras ms abstractas, como emergencias y obtener ayuda, as como predicados ms
complejos, como ser elegibles para subsidio de vivienda y de ser un Ciudadano britnico.
Pero hay otros predicados sobre los que no tiene sentido creer que hemos completar
conocimientos. Estos son los predicados abiertos que describen estados de cosas en el mundo
externo sobre el que tenemos poca o ninguna experiencia. Llovi anoche en Puerto Moresb y en
Papua Nueva Guinea? En el caso de mi solicitud de naturalizacin como ciudadano britnico, ser
el Secretario de Estado considere conveniente para m un certificado de naturalizacin
conceder? Fue un
Pgina 84
83
nio encontrado abandonado en el Reino Unido nacidos a los padres al menos uno de los cuales
era un Ciudadano britnico? Usted tiene que estar seguro de s mismo hasta el punto de
imprudencia de creer que podra utilizar el supuesto de mundo cerrado de responder
todas estas preguntas.
Muchos de los beneficios de razonamiento con la suposicin de mundo cerrado puede haber
logrado ms modestamente sin asumir que sabemos todo, pero por el
el uso selectivo de las condiciones de la forma no se puede mostrar en lo dems normal
condicionales. Por ejemplo, la suposicin de mundo cerrado se puede aplicar
selectivamente a una nica frase en particular, la formalizacin de meta-creencia de un agente
que si la frase en particular fuera cierto, entonces el agente sabra (y
creer) que la frase en particular es cierto lo contrario, la oracin es falsa.
Esto se har constar en la misma forma que el mundo ms general cerrado
supuesto, pero limitada a la sola frase en particular en lugar de
aplicado a todas las proposiciones atmicas. Robert Moore (1985) da la siguiente
ejemplo de un supuesto mundo cerrado selectivo como:
Es evidente que hay otras condiciones, adems de no ser un testigo, que pueden
conduce a un agente para creer que una persona ha cometido un delito, por ejemplo ADN
pruebas de la implicacin de la persona en el crimen. Pero es difcil de identificar
y considerar todas estas otras posibilidades desde el principio. En la siguiente
seccin, vamos a ver cmo el razonamiento por defecto hace que sea ms fcil para hacer frente a
tales posibilidades adicionales incremental por aproximaciones sucesivas.
Sin embargo, dada la representacin simplificada anteriormente, negacin como fracaso
se puede utilizar para determinar si Bob es inocente. Aqu asumimos la
conocimiento taxonmico que robar un banco es un delito y un crimen es un acto:
La negacin como regla de inferencia insuficiencia muestra que Bob no se puede demostrar que
han robado el banco, pero sin asumir mundo cerrado, no lo hace
sigue que Bob realmente no robar el banco! No robar el banco, slo
as que lo que sabemos.
Pero supongamos que se nos da la informacin adicional:
Pero en lugar de revisar nuestra declaracin cuando se hace evidente que se trataba de un
simplificacin excesiva, que con mayor frecuencia nos corregimos en apariencia
, sendos comunicados contradictorios. Decimos, por ejemplo:
----------------------------------------------------------------------------------------------
5
Negacin fuerte fue introducido en la programacin lgica (Gelfond y Lifschitz,
1988).
Pgina 88
87
si ha estado distrado.
El nico problema con esta representacin compilada, tan simple como es, es que
tiene que ser cambiado cada vez que una nueva condicin que falta es identificado. La
formulacin es de menor nivel que la norma y las excepciones de nivel superior
formulacin. Requiere menos sofisticados recursos de resolucin de problemas, y es
por lo tanto ms eficiente. Pero la formulacin como una regla de nivel superior y
excepcin es ms fcil de desarrollar y mantener.
La relacin entre las dos formulaciones es otro ejemplo de la
relacin entre una representacin de nivel superior y de nivel inferior, que es un
tema recurrente en este libro. En este caso, la regla de nivel superior acta como un
sencilla primera aproximacin a la regla ms complicada.
En la mayora de los casos, cuando un concepto se encuentra en desarrollo, la regla complicada
ni siquiera existe, y la representacin de ms alto nivel como regla y
excepciones hace que sea ms fcil desarrollar la ms compleja representacin
aproximacin sucesiva. En otros casos, cuando una regla complicada ya
existe, por ejemplo, en el caso de la legislacin vigente, la regla y la excepcin
forma hace que sea ms fcil la comunicacin del Estado a otros agentes. Al aislar la
condiciones ms importantes de la norma, y destacando que en la poblacin general
regla general, las condiciones menos importantes pueden mencionarse por separado
correcciones / excepciones cuando y si la necesidad surge ms tarde. Pblico
comunicaciones de las regulaciones son un buen ejemplo. El ejemplo siguiente
es el sitio web de la oficina de asesoramiento ciudadano del Reino Unido:
Subsidio de Vivienda es un beneficio para las personas de bajos ingresos para ayudarles a
pagar el alquiler. Usted puede ser capaz de obtener la prestacin para vivienda si usted est
en otros beneficios, el trabajo a tiempo parcial o trabajo a tiempo completo en una renta
baja.
Pgina 89
88
La palabra "puede" en la segunda frase indica que hay otros
condiciones que tambin deben cumplirse para obtener la prestacin de vivienda, pero son
no lo suficientemente importantes para ser mencionados en la introduccin.
6
La oracin es una
simplificada regla est sujeta a excepciones no declaradas. Aqu hay una parcial
representacin de la lgica de las dos frases:
una persona recibe ayuda para pagar el alquiler si la persona que recibe el subsidio de vivienda.
si tratamos el predicado de una persona debe ser castigada como un predicado cerrado.
Las reglas pueden ser compilados decompilados en normas de mayor nivel y
excepciones en varias formas. Este es uno de esos representacin:
una persona debe ser castigada
si la persona es un ladrn
y no es el caso de que
la persona es una excepcin a la regla de castigo.
Tenga en cuenta que los predicados positivos de una persona es una excepcin a la pena
gobernar y una persona es una excepcin a la excepcin a la regla de castigo
No se puede escribir como los predicados ms evidentes de una persona no debe ser
castigado y una persona debe ser castigada, respectivamente. Si as fuera, entonces el
reglas de nivel superior tambin sera una excepcin a la excepcin, que no es lo
que se pretende.
Supongamos, por ejemplo, que Bob es un ladrn:
Estoy seguro de que usted puede averiguar por ti mismo lo que ocurre con Juan, que es un ladrn,
un menor de edad, violentos y propensos a ataques de celos.
Conclusiones
Los siguientes ejemplos de la BNA ilustran la representacin del tiempo, razonamiento por
defecto y razonamiento meta-nivel de la creencia.
El Ingls de esta clusula puede considerarse una variante informal de la forma CL,
incluso hasta el punto de expresar su conclusin antes (la mayor parte de) sus condiciones,
que es la sintaxis convencional para programas lgicos utilizados para razonar
hacia atrs. La mayor diferencia de la sintaxis CL es que se inserta la lgica
condiciones nacidos en el Reino Unido despus del comienzo hasta el centro
a su conclusin lgica, una persona debe ser un ciudadano britnico. sintcticamente,
estas condiciones son una forma abreviada de la clusula relativa restrictiva que es
nacido en el Reino Unido despus de la apertura.
Oraciones de relativo restrictivas son similares en sintaxis para no restrictiva relativa
clusulas, pero su semntica es completamente diferente. oraciones de relativo restrictivas
aadir condiciones adicionales para los condicionales. clusulas relativas no restrictivas aadir
conclusiones adicionales. Gramaticalmente, clusulas no restrictivas se supone que son
distinguen del resto de la oracin por comas, pero clusulas restrictivas
supone estar atado a la frase que califican sin comas. Pero lo ms
de las veces, parece que los escritores y los lectores ignoran las reglas de la gramtica, y
confiar en cambio en su conocimiento previo para determinar la intencin
significado.
Por ejemplo, las siguientes dos oraciones son interrumpidas correctamente. La
oracin de relativo es restrictiva en la primera frase, y no limitativo en el
segunda frase:
Pero en Ingls britnico, esta regla se ignora en gran medida en estos das. En cualquier caso, si se
es importante que sus lectores entiendan lo que escribes, entonces es mejor no
que depender de tales dispositivos gramaticales sutiles como la presencia o ausencia de
comas, y las supuestas diferencias de significado entre eso y que,
que pocos lectores saben o se preocupan. Es mejor para expresarse en un
Formulario de Ingls que se asemeja ms a la forma lgica del pensamiento que
desea transmitir. Por ejemplo, no escriba:
El uso de las oraciones de relativo es una forma en que la sintaxis del Ingls difiere
de la sintaxis de los condicionales en forma lgica. Otra diferencia es la forma
en el que se representan las variables. Las formas simblicas de los smbolos CL, como X
e Y para las variables, que van ms clases de individuos. Las variables son
distinta de constantes, que representan individuos nicos.
Ingls utiliza la combinacin de un artculo, como un y el, y un comn
sustantivo, como persona, animal, objeto y que, como una variable ordenados oa mquina. Lo
utiliza los artculos un y una, como en un animal y una persona, para la primera utilizacin de un
variable, y se utiliza el artculo de la, como en el animal y la persona, por
los usos posteriores de la misma variable. Utiliza los nombres propios, como Mara, Felix
y Venus, que por lo general se capitalizan, como constantes, para representar
individuos. Los individuos tambin pueden ser representados por las descripciones definidas,
como en
la frase el hombre ms fuerte del mundo.
Poniendo todas estas consideraciones sobre las oraciones de relativo y variables
en conjunto, y teniendo la libertad de introducir uno o dos otros refinamientos, que
Pgina 96
95
obtener la siguiente ms precisa, pero CL siendo relativamente informal
representacin de la subseccin 1.1 7:
X adquiere la nacionalidad britnica en el inciso 1.1 en el tiempo T
si X es una persona
y X es nacido en el Reino Unido en el tiempo T
y T es despus del comienzo
e Y es un padre de X
e Y es un ciudadano britnico en el tiempo T o
Y se estableci en el Reino Unido en el tiempo T
Observe que la condicin X es una persona que evita los gatos y perros de reclamar
Ciudadana britnica. Sin embargo, no es necesario aadir la condicin Y es un
persona, ya que si X es una persona, entonces cualquier padre de X es tambin una persona. Notar
tambin que la condicin Y es una matriz de X es corto para Y es una madre de X o Y es
padre de X.
Esta representacin usa la convencin de Prolog en que las palabras maysculas
o las letras, tales como X, Y y T, se destacan las variables, por lo que britnicos y el Reino Unido
se han escrito en minsculas. Esto es lo contrario del Ingls
convenio en el que se usa maysculas para los nombres y los nombres propios, y
se usan las minsculas para los nombres comunes. Slo para que conste, se trata de uno de los
formas en que un lgico matemtico acrrimos podran escribir 1.1:
X ( T ( y (b (X, uk, T) c (T) d (Y, X) (e (S, T) f (S, T))) a (X , 1.1, T))).
---------------------------------------------------------------------------------------------------
7
Tenga en cuenta que este tiene la forma de proposicin A si (B y C y D y (E o F)),
que es equivalente a dos condicionales separadas: A si B y C y D y E y
A si B y C y D y F.
Pgina 97
96
Esto debe recordarnos la relacin entre recoger un objeto y
que tiene el objeto en un momento posterior, que se mencion brevemente al final de
Captulo 4. En ambos casos, estas relaciones son instancias de una ms general,
relacin abstracta. Aqu est una declaracin de esa relacin en el caso de
clculo (Kowalski y Sergot, 1986):
Los diferentes casos especiales se pueden obtener mediante la adicin de informacin sobre
tipos especficos de eventos de iniciacin y terminacin de tipos especficos de datos. Para
ejemplo:
el caso de una persona que adquiere la ciudadana britnica inicia
el hecho de que la persona es un ciudadano britnico.
contiene una condicin adicional de que el animal est cerca del objeto a una
antes del tiempo. En el clculo de eventos, esta condicin adicional se puede expresar
como una restriccin por separado:
El segundo inciso del BNA tambin emplea la reificacin, en este caso para
materializar los efectos del prrafo 1.1:
Puede parecer un poco extrao para dedicar el segundo frase del BNA
a un caso raro esperar tal, cuando hay tantos ms simple y
casos ms comunes a tener en cuenta. Pero lo mejor, el lugar ms coherente es
all por una disposicin referente a la finalidad de la subseccin 1.1 que
inmediatamente despus de 1,1 a s misma? Algo ms difcil, desde nuestro punto de
vista, es que el inciso 1.2 combina muchas otras funciones lgicas complejas
en una sola regla que es difcil saber por dnde empezar en la seleccin de su lgica aparte.
Pgina 99
98
Tal vez el lugar ms fcil para empezar es con la idea de propsito. Est claro ello es slo otro
nombre para la meta. Pero en la programacin lgica, la conclusin de un condicional, que sirve
para razonar hacia atrs, se trata como un objetivo y sus condiciones son tratados como sub-
objetivos. En consecuencia, la conclusin de un condicional identifica su propsito. As, podemos
interpretar la frase del efectos de la subseccin (1) como una referencia a la conclusin lgica de
1.1, es decir, para adquirir la ciudadana britnica. La frase podra tener igualmente bien
ha expresado menos dramtica como la conclusin de la subseccin (1).
Por otra parte las frases 1.2.a y 1.2.b son exactamente las condiciones lgicas de
1.1. Por lo tanto, la traduccin de menos como si no, podemos parafrasear la subseccin 1.2
en la forma:
La oracin parafraseada combina en una sola frase el uso de meta- lenguaje para hablar acerca de
las conclusiones y las condiciones de frases con el objeto-lenguaje para hablar acerca de los
estados de cosas en el mundo. El uso de meta- lenguaje trata frases como individuos, y es otro
ejemplo de reificacin. Volveremos sobre el tema de la meta-lenguaje, tanto ms adelante en este
captulo y en el captulo 17.
La otra caracterstica notable de 1,2 es el uso de la frase a menos que el se
muestra contrario. Hemos visto el uso de la frase similar no puede ser muestra para el
razonamiento por defecto antes. La frase no puede ser mostrado tiene buen propiedades tericas,
pero, como hemos visto, que incluye la necesidad de gastar una cantidad potencialmente infinita
de recursos en tratar de demostrar que algo es el caso. La frase no se muestra es ms prctico,
porque se supone que slo una cantidad finita de esfuerzo se ha gastado, pero adolece de la
imprecisin de los No especifica qu cantidad se necesita esfuerzo. Por otra parte, no est pensado
para el posibilidad de que la informacin nueva o esfuerzo adicional podra permitir mostrar las
condiciones que no podan ser mostrados antes.
Haciendo caso omiso de estas preocupaciones y aprovechando el hecho de que al contrario de los
nacido en el Reino Unido es nacido fuera del Reino Unido, y al contrario de
nacidos despus comienzo es nacido en o antes de la apertura podemos reescribir 1.2 como:
Una persona que se encuentre recin nacido abandonado en el Reino Unido despus de la apertura
ser ciudadano britnico por el artculo 1.2
si no se muestra
que la persona naci fuera del Reino Unido
y que no se muestra que
la persona naci en o antes del inicio
y que no se muestra que
Pgina 100
99
ambos padres no eran ciudadanos britnicos en el momento del nacimiento
y que no se muestra que
ambos padres no fueron resueltos en el Reino Unido en el momento del nacimiento
Esto nos da dos parfrasis lgicas de la subseccin 1.2. Sin embargo, sospecho
que el lenguaje-objeto representacin metalenguaje combinado es probablemente
la ms fcil de entender.
Reglas y excepciones
Las frases no se muestran y no se pueden mostrar son formas de negacin que puede
ser implementadas por variantes de negacin como fracaso. El BNA tambin incluye la
el uso de la negacin para representar las reglas y excepciones. Por ejemplo:
40 -. (2) El Secretario de Estado podr, mediante orden de privar a una persona de una
estatus de ciudadana si el Secretario de Estado considere que la privacin es
para el bien pblico.
40 -. (4) El Secretario de Estado no puede dictar una orden en virtud del inciso (2)
si est convencido de que la orden sera aptrida.
Como vimos en el captulo sobre la negacin como fracaso, la excepcin puede ser
compilado en las condiciones de la regla:
40 -. (2) El Secretario de Estado podr, mediante orden de privar a una persona de una
estatus de ciudadana si el Secretario de Estado considere que la privacin es
propicio para el bien pblico,
y l no est convencido de que la orden sera aptrida.8
------------------------------------------------------------------------------------------------------------- ---------
8
La condicin que no est convencido de que la orden sera hacer que la persona
sin estado no es equivalente a la condicin posiblemente ms natural que est convencido de que
la orden de no hacer que la persona aptrida. La "condicin ms natural" es
equivalente a una versin ms fuerte de 40 - (4).:El Secretario de Estado no puede hacer una orden en virtud del inciso
(2), a menos que est convencido de que la orden no hara una persona aptrida.
Pgina 101
100
12 - (1) Si un ciudadano britnico de edad y con capacidad hace que en el
forma prescrita una declaracin de renuncia a la ciudadana britnica,
y sin perjuicio de los apartados (3) y (4), el Secretario de Estado deber causar
la declaracin de que se registre .........................................................
(3) Toda declaracin formulada por una persona de conformidad con la presente seccin no
se
Inscribirse a menos que el Secretario de Estado considere que la persona que
hecho que ser despus del registro tener o adquirir algn ciudadana o
nacionalidad distinta de la nacionalidad britnica; ..........................................
4) El Secretario de Estado puede retener el registro de cualquier declaracin
hecha en virtud de la presente seccin si se hace durante cualquier guerra en la que
Su Majestad se pueda desempear derecha del gobierno de Su Majestad en el
Reino Unido.
12.3 es una excepcin sencilla a 12,1, expresando en efecto una condicin
en virtud del cual el Secretario de Estado no puede causar una declaracin de
renuncia a registrar. 12.4 tambin es una excepcin, pero su efecto depende
de si el Secretario de Estado en realidad decide ejercer permiso para
retener el registro. Tomando la diferencia entre estas dos excepciones
en cuenta el significado que se quiere combinado de 12.1, 12.3 y 12.4 puede ser
compilado en una sola regla:
El Secretario de Estado har una declaracin de renuncia
de la ciudadana britnica a registrar
si la declaracin es hecha por un ciudadano britnico de edad y con capacidad
y la declaracin se har en la forma prescrita
y el Secretario de Estado est convencido de que despus de la inscripcin de la persona
tendr o adquirir algn ciudadana o nacionalidad distinta a la britnica
ciudadana;
y no es el caso de que
la declaracin se hace durante una guerra en la que se dedica a Su Majestad
en el derecho del Gobierno de Su Majestad en el Reino Unido
y el Secretario de Estado decide suspender la inscripcin.
6 -. (1) Si, en una solicitud de naturalizacin como ciudadano britnico realizado por un
mayor de edad y capacidad, el Secretario de Estado considere que la
solicitante cumple los requisitos del Anexo 1 para la naturalizacin como tal
ciudadano bajo esta sub-seccin, puede, si lo considera oportuno, podr conceder a l un
carta de naturaleza como tal un ciudadano.
Las dos primeras condiciones son condiciones simples a nivel de objeto sobre el
estado del mundo. Pero las dos ltimas condiciones son epistmica o meta-nivel
condiciones se refieren al secretario de estado de nimo del Estado. En teora, la ltima
condicin es totalmente inescrutable y slo se puede administrar como parte de la entrada para un
determinado caso. Sin embargo, en la prctica, un abogado experto podra ser capaz de predecir
con un alto grado de certeza cmo el Secretario decidir nuevos casos basado en el conocimiento
de los abogados de las decisiones anteriores, en casos similares anteriores.
La tercera condicin es ms interesante, porque el BNA incluye una especificacin de los
requisitos para la naturalizacin de que el solicitante debe cumplir a satisfaccin de la Secretara
de Estado. Si el estado de la Secretara de mente fuera del todo impenetrable, no habra ningn
punto en la especificacin de estos requisitos. El calendario es bastante larga, y es conveniente
por lo tanto, a Resumir su contenido:
El resultado es una declaracin explcita, aunque tediosa de lo que se necesita para satisfacer
el Secretario de Estado relativa a los requisitos para la naturalizacin. Nosotros
ver cmo derivar esta forma explcita en el captulo 17.
Como hemos visto, en comparacin con el Ingls comn, el idioma de la
BNA es extraordinaria, ya veces incluso dolorosamente precisa. Su precisin es
debido en gran parte a su uso de forma sintctica condicional, que ayuda a
eliminar la ambigedad.
Una expresin sintctica es ambigua cuando tiene varios distinta
significados identificables. Por ejemplo, la palabra es ambigua en el
despus de par de frases:
El Secretario de Estado priv a Bob Smith de su ciudadana britnica.
Estaba muy molesto al respecto.
Hay dos razones por las que puede no estar del todo satisfecho con esta
reescritura de la frase. En primer lugar, por qu querra la Universidad de restringir
s, en los casos en que se permite dar aviso de 24 horas, por lo que no es as
tener la facultad discrecional de dar aviso de 30 das en su lugar? Esta es probablemente una
error, debido a la compleja redaccin de la frase original, que incluso su
escritores no entienden completamente.
En segundo lugar, qu significa decir que la Universidad podr rescindir el presente
arrendamiento con un mximo de 24 horas previo aviso ? La palabra mximo aqu sugiere
que en tales casos la Universidad podr rescindir el contrato de arrendamiento con menos de 24
horas de anticipacin. Sin duda, con toda justicia, el estudiante merece una mnimo
de 24 horas para conseguir sus cosas y para desalojar su habitacin.
Entonces, cmo podran los abogados que redactaron el contrato de arrendamiento hacer un error
tan grande?
Tal vez quiere decir que, al recibir la notificacin, el estudiante tendra
un mximo de 24 horas para desalojar los pasillos de la residencia. Si es as, la intencin
se podra haber logrado ms correctamente y ms simplemente mediante la expresin de la
conclusin en forma paralela a la conclusin alternativa que la Universidad
podr dar por terminado un contrato de arrendamiento con un 30 das de antelacin. La forma
paralela mencionara ni el plazo mximo ni mnimo :
Resumen
Behaviorismo
libre a proa.
libre a proa.
obstculos por delante.
libre a proa y cansado.
Hacer: parar.
Para imaginar lo que un sistema de produccin con la memoria podra ser as, supongamos
que su vida como un piojo ha expirado y, como premio a sus esfuerzos anteriores,
se le ha reencarnado en un robot enviado en una misin para buscar vida en
Marte.
Afortunadamente, su vida anterior como un piojo le da una buena idea de cmo llegar
comenzado. Por otra parte, porque usted es un robot, que nunca se cansa y nunca
-----------------------------------------------------------------------------------------------------
9
Ms en general y para mejorar la eficiencia, normas parcialmente activadas pueden ser tratados como nuevas reglas
que se pueden activar an ms por futuras actualizaciones.
Pgina 115
114
que descansar. Sin embargo, hay dos nuevos problemas que hay que afrontar:
Cmo reconocer la vida cuando lo ves, y cmo evitar ir
en crculos?
Para el primer problema, los diseadores que han dotado de una vida
mdulo de reconocimiento, lo que le permite reconocer los signos de la vida, y con un
transmisor para informar a la misin de control de cualquier descubrimiento. Para el segundo
problema, tiene una base de datos interna de recordar si ha sido
a un lugar antes, as que usted puede evitar ir al mismo lugar.
Por supuesto, los problemas que afectan a un robot de la vida real son mucho ms complejas que
que. Estos incluyen problemas muy difciles de construir representaciones mentales
de las observaciones y de la conversin de las representaciones mentales de las acciones en
controles de motores fsicos. Pero para que el ejemplo tractible, ignoraremos
estos problemas de interfaz y tambin simplifican el conocimiento asociado
cuestiones de representacin.
Teniendo en cuenta estas simplificaciones, un sistema de produccin con la memoria, que es una
perfeccionamiento del sistema de produccin de un piojo, podra ser algo como
esto:
Si el lugar por delante est claro
y no he ido al lugar antes,
luego ir al lugar.
la vida en (2, 1)
claro en (1, 0)
claro en (2, 0)
obstculo en (3, 0)
obstculo en (2, -1)
obstculo en (2, 1).
Supongamos tambin que se puede ver slo un paso por delante. Por lo tanto, cuando se inicia el
Lo nico que sabemos sobre el mundo, en su base de datos interna, es que su
ubicacin actual es (0, 0) y lo nico que se puede observar es que est claro
en (1, 0), que es el lugar justo delante de usted.
Supongamos tambin que, a pesar de que es su misin para buscar vida, usted es el
Lo nico que se mueve. As que esta descripcin del estado inicial del mundo se
tambin se aplican a todos los estados futuros del mundo que te encuentres.
Con estos supuestos, el comportamiento es completamente predeterminado:
2. Si hay un trmino en X en el lado derecho, luego restarlo de ambos lados y recoger trminos.
3. Si hay un trmino numrico en el lado de la mano izquierda, luego restarlo de ambos lados, y
recoger los trminos.
4. Si la ecuacin tiene la forma NX = M, N 0, luego dividir ambos lados por N.
-------------------------------------------------------------------------
10
Dejo al lector a trabajar en lo que sucede despus, y me disculpo por cualquier complicaciones
de antelacin.
Pgina 118
117
Para resolver la ecuacin, tanto la ecuacin inicial y una copia adicional de la ecuacin se ponen
en la base de datos inicial. Las acciones de las reglas cambian el copia de la ecuacin hasta que
est en la forma correcta para la aplicacin del artculo 1, cuando la solucin tiene que ser
sustituido en la ecuacin original. La ciclo del sistema de produccin ejecuta los siguientes pasos:
Ecuacin inicial: 7X + 6 + 12 = 4X
Utilice 2 para obtener: 3x + 6 = 12
Utilice 3 para obtener: 3X = 6
Utilice 4 para obtener: X=2
Utilice 1 para detener y comprobar: 7 2 + 6 = 4 2 + 12.
Tenga en cuenta que no hay una representacin explcita de la meta de nivel superior de la
solucin la ecuacin original. Tampoco hay ninguna representacin de lo implcito
sub-objetivos intermedios de la combinacin de todas las ocurrencias de la variable en una
ocurrencia y de aislar la variable. La primera subobjetivo es el propsito de regla 2, y el segundo
subobjetivo es el propsito de las reglas 3 y 4.
El objetivo de nivel superior y su relacin con los sub-objetivos intermedios podra ser explcita
por medio del condicional (Bundy et al, 1979):
Si X madre de Y
a continuacin, aadir X antepasado de Y.
Si X padre de Y
a continuacin, aadir X antepasado de Y.
Si X ancestro de Y
e Y ancestro de Z
a continuacin, aadir X ancestro de Z.
Supongamos que la nica solucin de los conflictos que se realiza es evitar disparar
la misma regla que coincide con los mismos hechos en la base de datos ms de una vez
(Llamado refraccin en el sistema de produccin de la literatura). A continuacin, el inicial
base de datos se actualiza sucesivamente, hasta que no se puedan aadir datos nuevos:
Las acciones de esta estrategia general, son una secuencia de un subobjetivo seguido por
una accin. Sin embargo, los sistemas de produccin normalmente acomodar slo las acciones
que
se puede realizar en la misma iteracin de un ciclo.
Para hacer frente a los problemas de este tipo, los sistemas de produccin se elevan y
ACT-R emplean una estructura diferente de objetivos y subobjetivos de lo que hacen para
hechos ordinarios. Almacenan goles en una pila. Cuando un objetivo se reduce a un
subobjetivo, el nuevo subobjetivo se pone (o empujado) en la parte superior de la pila. Cuando un
objetivo
se resuelve, se despega (o aparecido) desde la parte superior de la pila. Slo el objetivo
en la parte superior de la pila puede contribuir a la activacin de una regla de produccin.
La pila de objetivo se puede utilizar para reducir el objetivo de tener un objeto a la
sub-objetivos de conseguirse y el objeto cerca entre s y de recoger
el objeto hacia arriba, por ejemplo de la siguiente manera:
Las conclusiones de dichos planes reactivos pueden ser una coleccin de sub-objetivos a ser
logrado y de las acciones que se deben realizar durante varios ciclos agente. La
condicin de activacin puede ser o bien una observacin o un objetivo. Por lo tanto, hacia
adelante
encadenamiento con las normas puede llevar a cabo un objetivo de reduccin, sin la restriccin
de sistemas de produccin que todas las acciones en la conclusin de una regla tienen que
llevarse a cabo en un solo ciclo.
La alternativa a la realizacin de objetivos de reduccin de encadenamiento hacia adelante,
si las normas de produccin simples o con planes reactivos, es llevar a cabo
objetivo de reduccin mediante el razonamiento hacia atrs con condicionales lgicos. La
ventaja de la alternativa lgica es que representa al mismo tiempo tanto el procedimiento de
reduccin de metas y la creencia que justifica el procedimiento.
Sin embargo, los sistemas de produccin tienen una caracterstica fundamental que la lgica es
falta - el ciclo del sistema de produccin, que es el antepasado intelectual de
el ciclo del agente. El ciclo del agente juega un papel crtico en el agente basado en la lgica
modelo de este libro, que une los pensamientos de un agente en forma lgica a los cambios en
ambiente que rodea al agente.
Conclusiones
En el prximo captulo veremos como pueden ser los sistemas lgicos y produccin
reconciliado en un marco ms general, que utiliza la lgica para un agente de
pensamientos, y utiliza un ciclo de agente para incrustar el agente en una estructura semntica,
lo que da sentido a los pensamientos del agente.
Pgina 124
123
Captulo 8 Objetivos de mantenimiento como la conduccin
Fuerza de la Vida
La formulacin del imperativo se asemeja a una regla de condicin-accin, con excepcin del
conclusin de conseguir algo de comida no es una accin simple. Ms en general, reactiva
reglas de condicin-accin puede entenderse como el caso especial de mantenimiento
objetivos en los que la conclusin es una accin o un conjunto de acciones, todas
que se va a realizar en la misma iteracin del ciclo del agente.
Es comn en los lenguajes naturales para expresar los objetivos, ya sean
las metas de logro, metas o limitaciones de mantenimiento, imperativamente como
comandos, en formas tales como hacer esto, si esto entonces hacer eso, y no lo hacen.
Pero en la lgica, es ms simple de expresar objetivos declarativa, con tal
expresiones, ya que ser el caso, cada vez que este es el caso, que ser
el caso, y que no ser el caso.
La ventaja de la representacin declarativa, lgica de objetivos,
en comparacin con la formulacin imperativo, es que la misma nocin semntica
de verdad que relaciona las creencias de un agente en el mundo tambin se aplica a la
relacin entre los objetivos del agente y el mundo. La principal diferencia
siendo que las creencias representan frases sobre el mundo que est fuera del
el control del agente, mientras que los objetivos representan frases sobre el mundo que la
agente puede tratar de controlar mediante la realizacin de acciones para hacerlas realidad.
Para ver como objetivo el logro de la zorra que tengo el queso se relaciona con la
meta de mantenimiento, supongamos que el cuerpo del zorro le dice que acaba de
tener hambre. Desde que su cuerpo es una parte del mundo, ella se da cuenta de
su hambre por medio de una observacin:
Pgina 128
127
Observacin: Me convierto hambre.
Por lo tanto, el objetivo verdadero logro no es especficamente para tener el queso de cuervo,
pero ms en general a tener algn ejemplo de los alimentos. Y tener la comida es slo
mitad de la historia. El zorro tambin tiene que comer la comida. En cuanto al nivel superior
meta de mantenimiento se refiere, tener comida sin comer es intil.
Para conectar la meta de logro con el resto de la historia, el zorro debe
tener el conocimiento taxonmico que el queso es un tipo de comida y que la comida
es un tipo de objeto. Este conocimiento puede ser representado en un nmero de
diferentes maneras, y hay incluso lgicas especializadas para tal fin, los
cuyos detalles no son importantes aqu. Baste decir que, de una u
otra, es necesario este conocimiento taxonmico para crear instancias de la consecucin
objetivo, sustituyendo el queso de cuervo para el "desconocido" existencialmente
cuantificado variables un poco de comida.
El factor de tiempo
Aqu existe una similitud evidente, tanto con el ciclo del agente, en general, y
con el foco en el mantenimiento de las relaciones entre las percepciones y acciones.
Los juicios de valor son un asunto para el componente de toma de decisiones del
ciclo del agente, que se investiga en el captulo 11.
Meta: si quedo con hambre, entonces yo tengo una comida y comer la comida.
La segunda iteracin. El nico pensamiento que el zorro puede hacer en este ciclo es
razonar hacia atrs, para reducir el subobjetivo de tener comida a la subobjetivo de
estar cerca de la comida y recoger. Este razonamiento implica la taxonmico
razonamiento del juego "comida" por "objeto".
No observacin.
Razonamiento hacia atrs, nuevos sub-objetivos: Soy comida cerca y recojo la comida
y comer la comida.
Ninguna accin candidato.
No observacin.
Nueva sub-objetivos: el cuervo canta y recoger el queso
y yo como el queso.
Ninguna accin candidato.
La quinta iteracin. El zorro reduce el sub-objetivo de hacer que el cuervo cante a el sub-objetivo
de alabar al cuervo. Ella ahora tiene un plan de acciones, que se puede comenzar a ejecutar. En
esta representacin de las acciones sin tiempo, hay nada que indique el orden en que se deben
realizar las acciones. As ella hace trampa, sabiendo que en una representacin explcita con el
tiempo, sera obvio que la nueva accin alabo al cuervo se debe realizar en primer lugar.
No observacin.
Razonamiento hacia atrs, nuevos sub-objetivos: Te alabo al cuervo y recojo el queso
y yo como el queso.
Accin: Yo alabo al cuervo.
La observacin negativa que no recojo el queso puede ser considerado como un respuesta
negativa a la accin recojo el queso, visto como una consulta que hacer recoger el queso? del
zorro al mundo.
En general, los intentos de las acciones de un agente pueden ser considerados como las consultas
planteadas al mundo. En el caso ms simple e ideal, el mundo slo responde de la afirmativa, lo
que confirma que la accin ha tenido xito. En el peor de los casos, la mundo responde que la
accin ha fallado. Pero en el caso general, la accin puede contener una variable cuantificada
existencialmente lo que representa un desconocido, ejemplo, para indicar hasta qu punto la
accin de avanzar un paso ms en realidad tiene xito. En tal caso, el mundo responde creando
una instancia de la variable, dar informacin sobre el resultado de la accin.
En nuestra semntica, en la que el mundo se describe nicamente por medio de hechos positivos,
una observacin negativa puede entenderse como una respuesta negativa del mundo a un intento
de accin o para una observacin activa por el agente.
La novena iteracin. La observacin del desempeo exitoso del accin resuelve el ltimo de los
sub-objetivos de accin. Sin embargo, la meta de mantenimiento sigue siendo, que se activar en
otras, ocasiones futuras.
Podemos imaginar que esta combinacin de razonamiento hacia adelante y hacia atrs como
esto:
Pgina 136
135
Prohibiciones
La prevencin puede ser visto como una forma voluntaria de la prohibicin. Dada la
obligacin de hacer una meta de mantenimiento verdad, un agente tiene una opcin: o
subordinar la celebracin cierto cuando las condiciones llegan a ser verdad, o que la
condiciones falsas, evitando las condiciones que se convierta en realidad. Con autntica
prohibiciones no hay otra opcin: Hacer las condiciones falsas.
La prohibicin puede ser considerado como un tipo especial de meta de mantenimiento
cuya conclusin es literalmente falso. Por ejemplo:
Restricciones
Las prohibiciones son restricciones sobre las acciones que puede realizar. Pero no puede
tambin haber restricciones sobre lo que estn dispuestos a creer. Las limitaciones de este
segundo tipo son familiares en el contexto de bases de datos informticas, donde
mantener la integridad de la base de datos, y por esta razn se denominan integridad
limitaciones.
Pgina 139
138
Por ejemplo, una base de datos de la familia puede contener tales restricciones de integridad
como:
si X es la madre de Y y X es el padre de la Z a continuacin, falsa.
es decir, No es una madre y un padre.
si X es un antepasado de X, entonces falsa.
es decir, Nadie es su propio ancestro.
Las restricciones de integridad se utilizan para rechazar una actualizacin de la base de datos que
hace una restriccin de integridad falsa. Por ejemplo, el segundo de los dos integridad
limitaciones anteriores, rechazaran la siguiente actualizacin de la base de datos dada por:
Actualizar: Enoc padre de Adam
Base de datos: Eva la madre de Can
Eva madre de Abel
Adam padre de Can
Adam padre de Abel
Can, padre de Enoc
Enoc padre de Irad
X ancestro de Y si X madre de Y.
X ancestro de Y si X padre de Y.
X antepasado de Z si X antepasado de Y e Y ancestro de Z.
El patrn de razonamiento para comprobar la integridad de la actualizacin es el mismo que
el patrn de asimilacin de observaciones:
Hemos visto que el razonamiento hacia adelante con las metas de mantenimiento generaliza
reglas de condicin-accin, metas de logro generalizar las acciones de condicin-
reglas de accin y razonamiento hacia atrs con las creencias genera planes de accin.
En los captulos siguientes, veremos cmo el razonamiento hacia atrs tambin se puede utilizar
para explicar las observaciones (abduccin) y la forma hacia adelante razonamiento tambin se
puede utilizar para inferir consecuencias de ambas explicaciones candidatos y acciones
candidatos.
Tambin veremos cmo este uso del razonamiento hacia adelante de candidato
explicaciones y acciones de ayuda a informar a la prxima etapa, la toma de decisiones en
el ciclo, por lo que los diferentes candidatos se pueden comparar, y mejor informado
se pueden tomar decisiones.
Pero en primer lugar, en el prximo captulo, veremos que gran parte de este sofisticado
razonamiento a menudo puede ser compilado en ms eficiente, estmulo-de nivel inferior
asociaciones de respuesta.
Pgina 142
141
Captulo 9. El sentido de la vida
De hecho, es incluso peor de lo que carece de sentido. Sin comida el piojo morir,
y sin hijos los genes del piojo desaparecern. Cul es el punto de
simplemente pasear si el piojo no se molesta en comer y tener hijos?
Parte del problema es que el cuerpo del piojo no est dando las seales adecuadas
- No lo que es hambre cuando se est quedando sin energa, y no por lo que es
desear a un compaero cuando debera estar teniendo hijos. Tambin tiene que ser capaz de
reconocer los alimentos y comer, y de reconocer los potenciales compaeros y propagar.
De dnde viene el piojo ir desde aqu? Si lleg aqu por la evolucin natural,
a continuacin, no tiene a dnde ir y est en vas de extincin.
Pero si se le debe su vida a alguna Gran Diseador, entonces puede suplicarle
que empezar todo de nuevo, esta vez trabajando de arriba hacia abajo. El Gran
Diseador tendra que replantearse los objetivos de alto nivel del piojo, decidir cmo
reducirlos a sub-objetivos, y obtener una nueva especificacin, ms eficaz de
comportamiento de la entrada-salida del piojo.
Supongamos que el Gran Diseador identifica estos como de nivel superior del piojo
objetivos:
Objetivos de nivel superior: el piojo se mantiene con vida el mayor tiempo posible y
el piojo tiene tantos nios como sea posible.
Por supuesto, un crtico podra preguntarse: Para qu sirven estas metas, y
por qu estos objetivos y no otros? Quizs mantenerse con vida es slo un sub-objetivo de
tener hijos. Y tal vez los nios son slo una forma de promover
la supervivencia de los genes de uno. Pero con el tiempo el crtico tendra que parar.
De lo contrario, podra seguir preguntando estas preguntas siempre.
Para reducir los objetivos de alto nivel del piojo de sub-objetivos, el diseador debe
usar sus creencias sobre el mundo, incluyendo sus creencias acerca del cuerpo del piojo
capacidades. Por otra parte, se puede construir sobre su diseo anterior, en la que el
piojo movido sin rumbo, y dar a sus movimientos con un propsito. Ella poda
utilizar esas creencias como:
Creencias: el piojo se mantiene con vida el mayor tiempo posible,
si cada vez que tiene hambre, entonces busca comida
Pgina 143
142
y cuando hay comida antes que se lo come,
y cuando se cans, entonces descansa,
y cada vez que est en peligro de ataque y luego se defiende.
La comida es un objeto.
una pareja es un objeto.
Si el piojo eran tan inteligentes como el diseador, el diseador podra simplemente
entregar estas creencias y la meta de nivel superior directamente sobre el propio piojo. La
piojo podra entonces razonar hacia adelante y hacia atrs, en caso de necesidad, y que
Puede estar seguro de alcanzar sus objetivos, siempre y creencias del diseador son en realidad
cierto.
Pero el piojo posee ni atractivos fsicos obvios del diseador,
ni su intelecto superior y la educacin superior. El diseador, por lo tanto, no se
slo tiene que identificar las necesidades del piojo, pero tiene que derivar de una entrada-
representacin de salida, que puede ser implementado en el piojo, usando su limitada
capacidades fsicas y mentales.
Una forma para que el diseador para hacer su trabajo es hacer el razonamiento necesario para
el piojo de antemano. Se puede empezar por el razonamiento hacia atrs desde el piojo de
objetivos de alto nivel, para generar un nivel superior, inferior de sub-objetivos:
Subobjetivos: cada vez que el piojo est hambriento, entonces busca comida
y cuando hay comida antes que se lo come, y
cada vez que el piojo est cansado entonces descansa, y
cada vez que el piojo es amenazado con un ataque y luego se defiende y
cada vez que el piojo desea una pareja de lo que parece a un compaero
y cuando hay un compaero por delante que trata de hacer bebs.
Las palabras inglesas "siempre" y "cuando" son diferentes formas de decir "si",
pero llevan una, dimensin temporal adicional11. Sera una distraccin
--------------------------------------------------------------------------------------------------------------------------------------------------
11
Es interesante que tanto las interpretaciones temporales y lgicas del ambigua
Ingls palabra "entonces" es significativa aqu.
Pgina 144
143
para hacer frente a tales problemas temporales aqu. Por esa razn, es til
reformular los sub-objetivos en trminos lgicos ms convencionales. Al mismo
tiempo, se puede tomar ventaja de la reformulacin de eliminar la ambigedad
asociado con el alcance de las palabras "y cuando":
Desafortunadamente, el trabajo del diseador no est hecho todava. Algunas de las conclusiones
de los sub-objetivos incluyen otros objetivos (como en busca de comida, la defensa de s mismo,
y en busca de un compaero) que tenga que ser reducida a todava sub-objetivos de nivel inferior
12
.
Afortunadamente, para el diseador, este es un trabajo fcil. Slo hace falta un poco ms
razonar hacia atrs y cierta simplificacin lgica13, Para derivar una especificacin
que un conductista estara orgulloso de:
Nuevas Metas:
Si el piojo est hambriento y est claro por delante
entonces el piojo se mueve adelante.
Las nuevas metas especifican el comportamiento entrada-salida del piojo y pueden ser
implementado directamente como un sistema de produccin y sin memoria. Sin embargo, la
nuevas metas son potencialmente incompatibles. Si el piojo desea aparearse y est hambriento
al mismo tiempo, entonces se puede encontrar en una situacin, por ejemplo, donde se
tiene tanto para parar y comer y gire a la derecha y buscar un compaero de forma simultnea.
Para evitar este tipo de inconsistencias, necesitara el piojo de realizar conflicto
resolucin.
Pero si es demasiado esperar que el piojo de razonar lgicamente, es probablemente
Tambin demasiado esperar que el piojo de realizar la resolucin de conflictos. Y es
sin duda demasiado para esperar que se aplica la Teora de Decisiones para sopesar los
ventajas relativas de satisfacer su hambre en comparacin con las de satisfacer
su anhelo de una pareja. La solucin ms simple es que el diseador para hacer estos
decisiones para el piojo, y para incorporarlos en el pliego de condiciones:
El problema cuerpo-mente
En general, el trabajo de un diseador termina cuando se ha construido una declarativa
descripcin de la conducta de entrada-salida de su objeto. Cmo es que el comportamiento
implementado dentro del objeto no es su preocupacin.
En informtica, este desacoplamiento del diseo de un objeto de su aplicacin se
denomina encapsulacin. La aplicacin se encapsula dentro del objeto. Los objetos pueden
interactuar con otros objetos, teniendo slo su conducta de entrada-salida en cuenta.
La nocin de encapsulamiento justifica parcialmente el punto de la conductista
ver. No slo es imposible en muchos casos para determinar lo que sucede en el interior
otro objeto, pero para muchos propsitos, tambin es innecesario e incluso indeseable.
Nuestro piojo no es una excepcin. Sera fcil, dada la entrada-salida especificacin, para
implementar el comportamiento del piojo utilizando una produccin primitiva
sistema sin memoria y sin solucin de conflictos. Pero, el piojo necesita tener una cuenta en
absoluto - para representar conceptos tales como el hambre y la comida y
para derivar representaciones simblicas de sus acciones? Necesita realmente el piojo
llevar todo este bagaje mental, cuando sea necesario, instintiva comportamiento puede ser
cableado, como una coleccin de las asociaciones de entrada-salida, directamente en el cuerpo del
piojo en lugar 14 ?
Del mismo modo, como vimos en el captulo 7, un diseador puede especificar un termostato en
trminos simblicos. Pero esto no significa que el termostato debe manipular expresiones
simblicas para generar su comportamiento. La mayora de la gente estara perfectamente feliz si
el diseo se llevaron a cabo con un simple mecnico o dispositivo electrnico.
------------------------------------------------------------------------------------
14
Este argumento se ha hecho, entre otros, por Rodney Brooks en el MIT, que tiene
implementado varias generaciones de robots sin mente, piojos, como las que se muestran
impresionante comportamiento inteligente.
Pgina 147
146
De la misma manera que el comportamiento de un termostato se puede ver externamente en
, trminos simblicos lgicos, sin que ello implique que el propio termostato
manipula expresiones simblicas, el comportamiento de nuestro piojo tambin pueden ser
implementado como una coleccin de las asociaciones de entrada-salida instintivos en un cuerpo
sin mente.
Teoras de proceso dual de intuitivo y deliberativa
pensamiento
En nuestro ejemplo imaginario, el Gran Diseador tiene un conocimiento de alto nivel de
metas del piojo y tiene creencias que explican cmo ayuda a la conducta del piojo
el piojo de alcanzar sus metas. Pero el piojo slo tiene bajo nivel, instintiva
asociaciones de entrada-salida, sin darse cuenta de su propsito.
Pero la gente es diferente. Aunque gran parte de nuestro comportamiento humano es
intuitiva, instintiva e incluso a veces sin sentido, a menudo podemos dar un paso atrs
de nuestros juicios intuitivos, consciente deliberado acerca de su implcita
objetivos y controlar nuestro comportamiento para lograr un mejor esas metas. Es como si
podramos ser a la vez un piojo y un diseador piojo al mismo tiempo.
Esta combinacin de pensamiento intuitivo y de deliberacin es el foco de
teoras de proceso dual del pensamiento humano. Como Kahneman y Frederick (2002)
lo puso, el, nivel subconsciente intuitiva "propone rpidamente las respuestas intuitivas a
problemas de juicio, ya que se plantean ", mientras que el, nivel consciente deliberacin
"Controla la calidad de las propuestas, que se puede apoyar, corregir o
reemplazar ".
En Lgica Computacional, teoras duales de proceso tienen tanto un clculo
y la interpretacin lgica. La interpretacin computacional es que, cuando un
agente es de deliberacin, su comportamiento es controlado por un programa de alto nivel,
que manipula smbolos que tienen interpretaciones significativas en la
medio ambiente. Sin embargo, cuando el agente es intuitiva, su comportamiento es generada por
un programa de nivel bajo o dispositivo fsico, cuya estructura est determinada en gran medida
por las caractersticas fsicas del cuerpo del agente.
La interpretacin lgica de las teoras duales de proceso es que, cuando un agente es
deliberativa, su comportamiento es generado por razonar con objetivos de alto nivel
y creencias. Cuando el agente es intuitiva, su comportamiento se determina por la baja-
asociaciones de entrada-salida de nivel, aunque estas asociaciones tambin pueden ser
representado en forma lgica.
Dos tipos de pensamiento en el metro
El ejemplo del metro de Londres ilustra los dos tipos de pensamiento
y la relacin entre ellos. La representacin de alto nivel contiene un
representacin explcita de la meta, y las creencias de apoyo:
Pgina 148
147
Meta: si hay una emergencia entonces puedo obtener ayuda.
El pasajero puede utilizar el objetivo de alto nivel y las creencias de forma explcita, el
razonamiento hacia delante a partir de observaciones de reconocer que hay una emergencia y
derivar el objetivo de conseguir ayuda, y luego razonar hacia atrs, para obtener ayuda pulsando
el botn de la seal de alarma.
Sin embargo, el mismo comportamiento se puede generar de manera ms eficiente, con menos
pensamiento, mediante el uso de una representacin de bajo nivel en la forma de entrada y salida
asociaciones o reglas de condicin-accin. Esta representacin tambin puede ser
expresado en la forma lgica de los objetivos de mantenimiento, que necesitan slo un paso
de razonamiento hacia adelante para generar acciones de salida a partir de observaciones de
entrada.
Esta relacin entre los programas de alto nivel y de bajo nivel en Informtica
tiene similitudes con la relacin entre intuitiva y deliberativa
pensando en las personas.
Compilar un programa de alto nivel en un programa de bajo nivel en Informtica
es similar a la migracin de la deliberacin de pensamiento intuitivo que toma
lugar, por ejemplo, cuando una persona aprende a usar un teclado, jugar un musical
instrumento o conducir un coche. En informtica, la compilacin de un programa o de alto nivel
especificacin se realiza normalmente mediante el razonamiento de antemano, antes de que el
ms se implementa programa de eficiencia. Pero en el pensamiento humano, es ms comn
para colapsar una representacin explcita de alto nivel en un acceso directo de nivel inferior
despus de un perodo prolongado de uso repetido.
Pgina 150
149
Descompilar un programa de bajo nivel en un programa de alto nivel es similar
para el proceso de reflexin sobre el conocimiento subconsciente y lo representa en
trminos conscientes - por ejemplo, cuando un lingista construye una gramtica formal
de un lenguaje natural. Mientras que un hablante nativo de la lengua podra saber
la gramtica slo tcita e inconscientemente, el lingista formula una
modelo explcito de la gramtica consciente y deliberativa. No nativa
altavoces pueden aprender la gramtica explcita, y con la prctica suficiente
finalmente compilar la gramtica en la forma ms eficiente y espontnea.
Conclusiones
----------------------------------------------------------------------------------------------
15
Tenga en cuenta que el tratamiento de las observaciones que los objetivos se extiende la nocin de objetivo,
ms all de que representa el mundo como el agente le gustara que fuera en el futuro, para explicar la mundo
como el agente realmente ve. Esto se debe a que los dos tipos de razonamiento, la bsqueda de acciones para
lograr un objetivo y la bsqueda de hiptesis para explicar una observacin, puede tanto verse como casos
especiales del problema ms abstracto de encontrar supuestos a deductivamente derivan conclusiones. Vase,
por ejemplo, (Kakas et al, 1998).
Pgina 154
153
Aqu el csped est mojado es un predicado cerrado, y llovi y que la regadera estaba
en predicados son abiertas.
En lugar de no resolver el objetivo, porque no hay evidencia directa de que cualquiera de los dos
sub-objetivos se mantienen, el secuestro por el razonamiento hacia atrs identifica los dos
posibles causas como explicaciones hipotticas alternativas de la observacin.
Sera posible slo para dejar las cosas as: o llova o el rociador
estaba en. Pero para estar en el lado seguro, puede pagar para pasar un poco ms mental
energa y perseguir las consecuencias lgicas de las alternativas. Si llova
ayer por la noche, y luego la ropa en el tendedero exterior se moja, y
no ser capaz de hacer la tabla de lo planeado para esta maana. Si el aspersor
Fue, entonces la factura del agua se va a ir por las nubes, y es mejor que
Desconecte el rociador en caso de que decida que se encienda de nuevo esta noche.
Suponga que usted es demasiado perezoso o demasiado inteligente como para hacer lo que es
obvio y slo tiene que ir
fuera y comprobar la ropa en el tendedero o comprobar el estado de la
rociadores. En cambio, es posible que simplemente sentarse en su sala de estar silln y la razn
de la siguiente manera: Si llovi anoche, entonces habr gotas de agua en la
vivir claraboya habitacin. Hay gotas de agua en la claraboya. As que es probable que
que llovi la noche anterior, debido a la suposicin de que llovi explica dos
observaciones independientes, en comparacin con el supuesto de que el aspersor
estaba en marcha, lo que explica nico. La combinacin de atrs y adelante
razonamiento implicado en este ejemplo se puede representar as:
Por el momento, dejar de lado la posibilidad de que algn bromista podra tener
conseguido una manguera y apunt a la claraboya, slo para hacerle perder el derecho
explicacin.
Pgina 155
154
As, el razonamiento hacia adelante desde explicaciones alternativas a veces puede
derivar consecuencias adicionales que pueden ser confirmadas por el pasado o el futuro
observaciones. Cuanto mayor es el nmero de tales observaciones adicionales un
hiptesis explica, mejor ser la explicacin. Veremos en la prxima
captulo que el razonamiento hacia adelante de los planes alternativos de accin tambin puede
ayudar para decidir entre los planes alternativos. Cuanto mayor sea el nmero de adicionales
objetivos de un plan logra, el mejor plan.
Del mismo modo, es ms natural para representar las causas alternativas de humo por
condicionales separados en efecto si forma causa:
Hiptesis: llovi
Razonamiento hacia adelante: la ropa exterior estn mojadas
Razonamiento Adelante con la restriccin: si la ropa fuera estn secos despus falsa
Razonamiento hacia adelante: falso
Como vimos en el captulo 5, muchos conceptos se presentan como pares de contrarios positivo
conceptos, como hmedo y seco, alto y bajo, grande y pequeo, y el bien y el mal.
A menudo estos contrarios se expresan como negaciones de unos a otros, como en el no mojado
en vez de seco y se seca en vez de hmeda. Este uso de la negacin es a veces
llamado negacin fuerte. Visto como una forma de negacin, tiene el valor de verdad
propiedad brecha que puede haber casos de un predicado que no son ni verdadera
ni falsas. Por ejemplo, si la ropa no son ms hmedas, puede ser que los considero
como ni mojada ni seca.
El uso de pares de predicados contrarios con lagunas verdad es una forma natural de
representar conceptos vagos. Casos positivos del concepto pueden ser
representado por un predicado de la pareja, y casos negativos de la
concepto por el otro predicado. Los casos que no son ni claramente positivo ni
claramente negativo, simplemente se puede dejar indeterminado.
As, el razonamiento con la negacin fuerte en forma de contrarios positivos
no requiere la extensin de las reglas de inferencia de la lgica computacional, si por
cada par de predicados contrarios, tenemos limitaciones de la forma:
si predicado y contraria-predicado devuelve false.
Conclusiones
Pgina 160
159
Supongamos que, en su desesperacin por hacerse rico tan pronto como sea posible, se tiene en
cuenta las distintas alternativas, inferir sus posibles consecuencias y decidir que el
mejor alternativa es robar el banco local. Puedes contratar tu mejor amigo, John,
bien conocido por su meticulosa atencin al detalle, para ayudarle a planificar y llevar a
a cabo el crimen. Gracias a sus esfuerzos conjuntos, a tener xito en irrumpir en el
banco en el medio de la noche, la apertura de la caja fuerte, y hacer que su escapada
con una carcasa milln de libras (unos 1,65 millones de dlares - y la cada -
en el momento de la escritura) en el maletero (bal) de su coche.
Por desgracia, los aos de pobreza y abandono han dejado su coche en un estado de
mal estado general y que son detenidos por la polica por conducir por la noche con
slo uno de los faros. En el curso de una investigacin de rutina, descubren el
maleta con las frescas milln de libras en el arranque. Usted alegar ignorancia de cualquier
hacer el mal, pero que detener a los dos modos de la sospecha de robo.
Sin testigos y sin la confesin, la polica puede condenarte
y su nico amigo de un delito menor de posesin de propiedad robada,
que conlleva una pena de un ao de crcel. Sin embargo, si uno de ustedes se convierte
testifican contra el otro, y el otro no, el primero ser
liberado de forma gratuita, y la segunda se llevar toda la culpa y ser
condenado a seis aos de crcel. Si ambos enciende testigo, entonces usted va a compartir el
culpable y ser condenado a tres aos de crcel cada uno.
Este es un ejemplo del dilema del prisionero clsico, estudi en
teora de la decisin y de la teora de juegos. En teora de la decisin, el problema general de
decidir entre alternativas de accin a menudo se representa como una tabla de decisin,
en la que las filas representan las acciones, las columnas representan el estado de la
mundo, y las entradas representan el resultado resultante. En este caso, su
tabla de decisiones se ve as:
------------------------------------------------------------------------------------------------------------
16
Para hacer la conexin entre la observacin y la condicin de la meta, es
necesario unificar la polica con un agente y gire testimonio a realizar una accin.
En una implementacin de equipo, esta unificacin tendra que ser hecho mecnicamente.
Para este fin, sera necesario reconocer a su vez testigo como forma abreviada de
realizar a su vez testigo.
Pgina 163
162
Razonamiento hacia atrs, otra accin candidato:
Me niego a volverse testigo
Razonamiento hacia adelante , consecuencias:
Tengo 6 aos de crcel si John confiesa
Tengo 1 ao en la crcel si John se niega a volverse testigo
si me vuelvo testigo
y John confiesa con una probabilidad del 10%
luego me pongo 3 aos en la crcel, con una probabilidad del 10%.
Creencias: Salgo.
Yo llevo un paraguas si tomo el paraguas.
Me quedo seco si tomo el paraguas.
Me quedo seco si no llueve.
Me mojo si me voy sin paraguas y llueve.
Si las utilidades esperadas de las acciones alternativas son la misma, entonces tiene
ninguna diferencia, medida en barras de chocolate, si usted toma un paraguas o no.
Este es el caso cuando:
-10 P + 2 = 1
es decir, P = 0,1
Pgina 166
165
Por lo tanto, si la probabilidad de lluvia es mayor al 10%, entonces usted debe tomar
un paraguas, y si es inferior al 10%, entonces usted debe dejar sus paraguas
en el hogar.
El uso de la teora de la decisin es un ideal normativo. En la vida real, tendemos a
aproximarse a este ideal, mediante la compilacin de decisiones rutinarias directamente en los
objetivos y creencias. Por ejemplo:
En todos estos casos, usted puede controlar sus propias acciones, pero no puede
controlar por completo las acciones de otros o el estado del mundo. A lo sumo,
podra ser capaz de juzgar la probabilidad exacta de que el mundo va a estar en una
Estado en particular. En el peor, usted podra suponer que las probabilidades de su ser o
No estar en el estado son simplemente iguales.
Sin embargo, supongamos que en el caso del dilema del prisionero, usted decide
hacer un poco de lgebra en la secundaria. Vamos:
la utilidad de sus aos en la crcel N consiguiendo ser - N.
la probabilidad de que Juan se vuelve testigo sea P.
Por lo tanto, la probabilidad de que John se niega a su vez testigo es (1 - P).
Estas utilidades y probabilidades se pueden agregar a la tabla de decisin:
Pero -. 6-4P-2, para todos los valores de P Por lo tanto, no importa lo que la probabilidad
P que Juan se vuelve testigo contra vosotros, nunca hay ninguna ventaja en su
girando testimonio contra l. Por otra parte, si Juan tiene las mismas creencias, metas
y los servicios pblicos como usted, entonces sern igualmente decidir no dar testimonio contra
que, en este caso a los dos para obtener un determinado 1 ao en la crcel.
Pero es probable que sea poco realista esperar que valora por igual tanto lo
sucede a John y lo que sucede a ti mismo. Para ser ms realista, suponga
en cambio, que usted valora lo que sucede con John slo la mitad de lo que usted valora
lo que sucede a ti mismo:
Accin Estado del mundo Esperado utilidad
Estas reglas no son muy sutiles, pero es evidente que puede ser refinado, tanto por
aadiendo reglas adicionales para hacer frente a otros casos, y aadiendo condiciones adicionales
para acomodar las calificaciones adicionales.
Opciones inteligentes
Si estas pautas parecen familiares, es porque se basan en las cuestiones que se repiten a lo largo
de este libro. Pero si que suena un poco extrao, es porque yo los he parafraseado a la manera de
Hammond, Keeney y (1999) Las opciones inteligentes de Raiffa - Una gua prctica para la toma
de mejores decisiones.
Las directrices de la libreta de decisiones inteligentes se basan en una slida investigacin en
la ciencia de decisiones y en la amplia experiencia prctica. Ellos apelan a la lgica
y el sentido comn, sino de la variedad familiar, informal. En este libro, tratamos con problemas
similares, sino que ponemos dentro de una Lgica Computacional y Ajuste de la Inteligencia
Artificial.
Conclusiones
Consecuencias No S No S
En Lgica Computacional, las acciones estn motivadas por objetivos de logro, que
son generados por los objetivos de mantenimiento, que se activan por las observaciones de
cambios en el mundo. La decisin sobre qu acciones alternativas para ejecutar es
informados por la evaluacin de las posibles consecuencias de las acciones, incluyendo el
metas de rendimiento, lo que motiv las acciones, para empezar. Esta decisin
puede ser asistido mediante el empleo de las tcnicas de la teora de la decisin, o puede ser
compilado en metas ms pragmticamente tiles y creencias, en la que el
Evaluacin de las motivaciones y consecuencias es emergente ms que explcito.
Sin embargo, en el caso del espectador lanzando el hombre fuerte en el seguimiento, la accin de
lanzar al hombre a la pista es moralmente malo en s, incluso aunque ayuda a lograr el bien moral
objetivo de salvar a cinco personas. De acuerdo con el consecuencialismo, ambos casos tienen la
misma posicin moral; y de acuerdo con el utilitarismo, que sostiene que lo mejor es hacer lo que
la mayora beneficia al mayor nmero de personas, ambos casos son moralmente justificables y
preferible a no hacer nada.
Suponiendo que la gente subconciously aplicar el principio de doble efecto para juzgar la
moralidad de las acciones puede explicar juicios intuitivos en carro problemas y similares. Pero
eso no explica por qu las personas utilizan el principio de doble efecto, en lugar de la teora de
decisin sencilla. Voy a proponer tal explicacin - es decir, que la materia motivaciones - despus
de que primero investigar una representacin lgica del problema carro fuera de control.
En una formulacin ms precisa, utilizando el clculo de eventos, por ejemplo, que lo hara
se indic que el acto de pulsar el botn sidetrack termina el estado de
el tren a toda velocidad por la pista actual y se inicia un estado en el que el
tren se est acelerando a lo largo del camino lateral.
Creencias: usted responde al riesgo de una persona de ser asesinado por el tren
si se ignora el peligro.
usted responde al peligro de una persona que est siendo asesinado por el tren
si guarda la persona de ser asesinado por el tren.
Dado que los tres agentes tienen conocimiento de la situacin actual y
asumiendo por simplicidad que tratan las cinco personas en el maintrack como
persona, entonces los tres agentes sera igualmente concluir:
Razonamiento hacia adelante: cinco personas que estn en peligro de ser asesinado por el tren
Mara puede salvar a las cinco personas al desviar el tren, empujando el sidetrack
botn. Bob puede salvar a las cinco personas al detener el tren, mediante la colocacin de una
pesada objeto en la parte delantera del tren, lanzando Juan en frente del tren. Afortunadamente
para Bob, John no puede guardar de manera similar a las cinco personas por tirar Bob delante
del tren, porque no tiene ninguna razn para creer que Bob es un objeto pesado.
Adems, convenientemente para Juan, hemos dejado de lado la posibilidad de que se puede
ahorrar
Pgina 177
176
las cinco personas simplemente por arrojarse frente a la orla de su propia
voluntad. Thefore slo Mara y Bob tienen que elegir entre los dos
sub-objetivos alternativos.
Mara tiene que decidir si desea guardar las cinco personas empujando el
botn desviar. Dada la urgencia de la situacin, que puede o no tener
el tiempo para contemplar todas las posibles consecuencias de la accin. Si ella
no tiene compostura suficiente tiempo y suficiente, entonces se concluir que
la nica persona en el camino lateral ser asesinado por el tren si no se guarda el
persona. Pero salvar a cinco personas con seguridad en comparacin con el certtainty cerca de
una persona de morir es mejor que no hacer nada.
Si Mara no tiene el tiempo para pensar en las consecuencias, a continuacin,
simplemente puede juzgar que el ahorro de cinco personas es mejor que no hacer nada, en
cuyo caso simplemente pulse el botn, sean cuales sean las consecuencias. En
cualquiera de los casos, su comportamiento est moralmente justificado, porque sus intenciones
son
buenos, y los efectos secundarios negativos posibles son a la vez deseado y superado
por los beneficios.
Bob, por su parte, tiene que decidir si desea guardar las cinco personas por
tirar John delante del tren. Suponiendo que Bob tiene tiempo suficiente para
genera este plan, que puede muy bien tener el tiempo suficiente para darse cuenta de que si se tira
Juan en parte delantera del tren, entonces no slo ser John ser muertos como consecuencia,
pero que va a matar a John como un medio para el fin.
Por supuesto, Bob podra utilizar la teora de la decisin, para decidir si vale la pena:
Cinco personas guardan en comparacin con una persona muerta. El clculo argumenta en
favor de matar a John. Pero si Bob llega a la conclusin de que, como consecuencia de matar
John podra estar cometiendo un delito, entonces el clculo no es tan fcil.
En estos casos, la toma de decisiones es mucho ms fcil si no son claras y
reglas simples (o limitaciones) que se pueden seguir, como:
si un agente mata a una persona
y la persona no est en peligro la vida de otra persona
entonces falsa.
Si Bob no tiene esa regla, entonces l puede decidir lanzar John en la pista,
con la buena intencin de ms alto nivel de ahorro de cinco personas. Sin embargo, nos
puede juzgar que su accin es moralmente inaceptable. Nuestro juicio sera
justificada por la preocupacin acerca de la falta de coaccin moral de Bob. A pesar de su falta
de apremio podra conducir a un exceso de todos buena consecuencia, en esta ocasin, se
podra dar lugar a consecuencias muy malas en otras ocasiones.
Si Bob tiene esa restriccin, pero an as decide lanzar a John
la pista, debe ser porque no tiene tiempo suficiente para generar el plan, pero no
tiempo suficiente para activar y ejercitar la restriccin. O por lo que un abogado podra
discutir, si el caso nunca lleg a los tribunales.
El caso de clculo de restricciones morales
Pgina 178
177
Se podra argumentar a favor de restricciones morales por motivos religiosos. Pero tambin se
puede argumentan a favor de ellos sobre la base de clculo que hay muchas situaciones en
que las personas no tienen el tiempo o los conocimientos para tomar decisiones ptimas en
conformidad con las normas de la teora de la decisin. Incluso si lo hicieran, sera
razonable esperar que todos se adhieren al principio puramente utilitario
que sus propios intereses personales o los intereses de su familia y amigos
valen ms que los intereses de su peor enemigo o rival ms grande.
Si todo el mundo utiliza la teora de decisin sin ningn tipo de limitaciones, habra
caos. Algunas personas podran usar la libertad para emplear la utilidad arbitraria
medidas para satisfacer sus propios intereses y para pisotear los intereses de
otros. Para protegerse contra las consecuencias antisociales del ejercicio de tales
desenfrenados intereses propios, las sociedades imponen restricciones sobre el comportamiento de
individuos. Pero para ser eficaces, estas limitaciones deben ser simple y fcil
de aplicar, incluso cuando el tiempo y los conocimientos son escasos.
En nuestra representacin del problema carro, la restriccin era un cualificado
versin del sexto mandamiento, no matars, y la nica manera de
matar a una persona fue a tirar a la persona delante de un tren. Este fue un
simplificacin excesiva. Se emplea una definicin muy especfica de matar a una persona,
que se aplica convenientemente a Bob, pero no a Mara. Se podra argumentar que
una definicin alternativa, ms realista, como:
En la mayora de los casos, la determinacin de si una accin se inicia la muerte de una persona
que toma slo un paso de la inferencia deductiva, que todos los agentes de edad y
Pgina 179
178
capacidad debe ser capaz de realizar. La inferencia se puede hacer an ms sencillo
mediante la compilacin de la definicin de matar a la restriccin:
si un agente realiza una accin
y la accin inicia la muerte de una persona
y la persona no est en peligro la vida de otra persona
entonces falsa.
Por el contrario, la determinacin de si una accin causa la muerte de una persona puede
requiere un nmero ilimitado de inferencias a travs de una cadena de longitud arbitraria
de acciones. Cuanto mayor es el nmero de inferencias, la menos razonable es a
esperar a un agente para poder realizarlas.
El uso de restricciones simples en acciones que inician malas consecuencias
hace que el ejercicio de limitaciones mucho ms fcil, pero no resuelve todos los
problemas que pueden surgir. Siempre habr casos difciles donde el directos
efecto de las acciones de un agente depende tambin de la situacin del mundo - para
ejemplo, si la muerte de una persona es iniciada por un agente est conduciendo demasiado rpido
y la coche va fuera de control.
Los casos difciles como estos son el sustento de la profesin legal, y son
ms all del alcance de este libro. Pero, antes de dejar este tema, hay una
an mayor problema con restricciones.
El problema de las restricciones es que las personas que violan. Se les violan,
y, o bien se salgan con la suya o que pagan la pena: No presione el
alarma botn de seal correctamente. Pero si lo hace, entonces preprate para pagar un 50
bien.
Lgicamente no tiene sentido. La formulacin de una restriccin como un condicional
con la conclusin falsa , supuestamente impide que las condiciones de la restriccin
se convierta en realidad . No tiene sentido tener restricciones adicionales que
aplicar nicamente cuando la conclusin falsa se ha derivado.
Este problema se ha estudiado en la lgica filosfica en forma de
La paradoja de Chisholm (Chisholm, 1963). La paradoja se formula por lo general en
algn tipo de lgica dentica, pero puede ser tambin formulada en trminos de
limitaciones. Aqu est una declaracin informal de la paradoja:
Casi todas las lgicas denticas son lgicas modales, en el cual deber ser es una lgica
conectivo con el mismo estado lgico como y , o , si y no . Pero en
programacin lgica abductiva (ALP), que es la base de la Computacional
La lgica que usamos en este libro, se representan las obligaciones y prohibiciones
mediante restricciones de integridad, que incluyen metas de mantenimiento y
limitaciones. He aqu una representacin de la paradoja en trminos ALP:
Conclusiones
El dilema del prisionero demuestra que se paga por un agente de valorar los intereses
de otros agentes, e incluir esos intereses en sus sentencias de la utilidad
de sus acciones. En trminos ms generales, el dilema del prisionero y los ejemplos similares
muestran que las decisiones de un agente pueden ser juzgados no slo por sus consecuencias
para el agente, sino para el bien de la sociedad en su conjunto. Tal preocupacin para los
el bien general de la sociedad parece ser la base de intuiciones humanas sobre
moralidad.
En el dilema del prisionero, los valores morales pueden ser atendidas relativamente
simplemente mediante la inclusin de los intereses de otros agentes en los juicios de utilidad. Y
de acuerdo con el consecuencialismo y el utilitarismo, estos juicios son
suficiente para determinar el estado moral de las decisiones de un agente en general.
Sin embargo, segn los defensores del principio de doble efecto, que
no se tengan plenamente en cuenta las intuiciones morales humanos, ni de la funcin normativa
de distinciones entre los fines, los medios y los efectos secundarios en el campo del derecho.
Los estudios psicolgicos de intuiciones morales sobre problemas trolley muestran que
gente instintivamente juzgar las acciones de un agente tanto para sus motivaciones y
por sus consecuencias. Hemos visto que la lgica computacional proporciona un
modelo de la agencia en la que tales intuiciones morales pueden ser explicadas. El modelo
muestra que, en situaciones donde el conocimiento y el tiempo son limitados, un agente puede
No ser capaz de juzgar y comparar las utilidades esperadas de toda la informacin relevante
consecuencias de sus acciones candidatos alternativos. En casos como estos, la
agente puede utilizar restricciones para evitar acciones que se consideren moralmente
inaceptable.
La aplicacin de la lgica computacional a la Moralidad Computacional en general y al problema
carro en particular, ha sido investigado por Luis Pereira (Pereira y Saptawijaya, 2007, 2009,
2010). Aunque en este captulo hemos utilizado Lgica Computacional para justificar intuiciones
morales sobre la principio del doble efecto, no se sigue que la lgica computacional es restringido
a modelar o justificar slo una teora moral, o para modelar
Pgina 182
181
Este punto de vista del cambio se formaliza en las posibles semntica mundo de modal
lgica. En la lgica modal , las oraciones se les da un valor de verdad con respecto a una esttica
mundo posible integrado en un conjunto de mundos posibles vinculados con una
otra por una relacin de accesibilidad.
En las lgicas modales de tiempo, un mundo posible es accesible desde otro si
que se puede llegar desde el otro por un evento estatal transformadora. Sintctico
expresiones como "en el pasado", "en el futuro", "despus de", "desde" y "hasta"
son tratados como operadores modales , que son conectores lgicos, como "y",
"O", "si", "no" y "todos".
Pgina 184
183
El valor de verdad de las oraciones que contienen operadores modales se define, como para
la lgica clsica ordinaria, en funcin de los valores de verdad de las oraciones simples.
Sin embargo, mientras que en la verdad lgica clsica es en relacin con una interpretacin (o
mundo posible), la verdad en lgica modal es relativa a un mundo posible en un
coleccin de mundos posibles. Por ejemplo:
Una frase de la forma en el futuro P es verdadera
en un mundo posible W en una coleccin de mundos C
si no es posible mundo W ' en C
que se puede llegar desde W por una secuencia de acontecimientos por el estado de
transformacin
y la sentencia P es verdadera en W '.
Por ejemplo, en la lgica modal, es posible expresar la frase
En el futuro, el cuervo tiene el queso.
El clculo de situaciones
La situacin clculo comparte con la lgica modal la misma vista del cambio como
transformando un estado del mundo a otro, pero reifica acciones y
estados (o situaciones) como individuos. En efecto, se trata de la accesibilidad
relacin de la lgica modal como una relacin de primera clase, junto con otras relaciones,
como el zorro tiene el queso , entre los objetos materiales ordinarios.
Por ejemplo, en el clculo de situaciones, en la historia de la zorra y el
cuervo, slo hay una estructura semntica relevante y que contiene, adems
a las personas ordinarias, las personas que son las acciones y las personas que son
estados globales. Es posible expresar frases como:
el cuervo tiene el queso en el estado en el comienzo de la historia.
Pgina 185
184
el cuervo tiene el queso en el estado
despus de la zorra toma el queso,
despus canta el gallo,
despus de la zorra alaba al cuervo,
despus de que el estado en el comienzo de la historia.
Aqu el canto del gallo es tratada como un evento de accin / que es causada por el
accin / evento de alabar al cuervo. Esta relacin causal puede ser visto como
otro ejemplo de la pauta general:
Subobjetivos: no hay el otro evento termina el hecho de que el cuervo tiene el queso.
otro evento que ocurre entre 0 y 9 y
xito: s!
Tenga en cuenta que, a diferencia de la solucin del mismo problema en el clculo de situaciones,
la longitud de la solucin no depende de la cantidad de estados, acciones o
eventos entre el tiempo de -1 a la que empieza a llover y el tiempo de 9 bajo
consideracin. En el clculo evento, la longitud depende slo del nmero
de lluvia relevante la iniciacin y terminacin de los acontecimientos, y su tiempo de
ocurrencia.
El clculo de eventos para la generacin de planes
Para representar este tipo de eventos parcialmente ordenados, tenemos una manera diferente de
nombrar los puntos de tiempo, y de determinar cundo un punto de tiempo se presenta ante
otra. Por ejemplo:
el cuervo recoge el queso en el momento crow-pickup.
Pgina 194
193
la zorra alaba al cuervo en el momento alabanza.
el cuervo canta en el momento cantar.
la zorra toma el queso en el momento fox-pickup.
el lobo entra en escena en el momento entrar.
el lobo se come al zorro en el momento comer.
Entonces sera un asunto fcil para usted para determinar no slo que Tejecutar debera
ser antes Tcomida pero que Tejecutar debe ser el siguiente momento en el tiempo.
Pgina 196
195
Sera lo mismo si te atacaron despus de ser hambre, pero
antes de que tuvo xito en la obtencin de alimentos. Usted tendra que ejecutar de inmediato,
y reanudar en busca de comida slo despus (y si) que ha escapado de los ataques.
Reglas generales dan una decisin rpida y fcil, lo que no siempre es
ptima. Si se ejecuta lejos de ataque y notado una pieza de
queso en el suelo, un clculo normativo podra determinar que usted tiene
tiempo suficiente tanto para recoger el queso y volver a correr y escapar
de los ataques. Reglas generales, que estn diseados para hacer frente a los ms
casos que ocurren comnmente, son menos propensos a reconocer esta posibilidad.
Nuestro modelo de agente es neutral con respecto a la forma en que se toman las decisiones. Lo
es compatible, en particular, con el uso de la teora de la decisin, el uso de
reglas heursticas de pulgar y cualquier combinacin de los dos.
Encapsulacin
Un objeto consiste en un estado local , que es una coleccin de los actuales valores de
del objeto de atributos , y una coleccin de mtodos , que el objeto utiliza a
responder a los mensajes o para calcular los valores de sus atributos. Ambos son
encapsulados dentro del objeto, oculto a otros objetos.
Pgina 199
198
La encapsulacin de los mtodos de un objeto es una propiedad inherente de la
mundo natural, ya que ningn objeto puede decir a ciencia cierta lo que sucede dentro de otro
objeto. En teora, si se puede conseguir dentro de otro objeto, puede descubrir
que es igual que t. Cada objeto - oso, rbol, ro, montaa o de piedra -
podra tener un espritu, que es su estado mental interno. Por el contrario, es posible que
descubrir que no hay ningn objeto, que no sea usted, tiene algn estado interno en absoluto.
La encapsulacin de los mtodos es una propiedad til para la construccin artificial
mundos. Reduce la complejidad de la combinacin de los objetos individuales en
sistemas complejos de objetos, ya que el ingeniero solo tiene que tener en
teniendo en cuenta el comportamiento externo de los componentes. Por otra parte, en caso de una
de los componentes de un sistema de funcionamiento es defectuoso u obsoleto, que
puede ser reemplazado por un nuevo componente que tiene el mismo comportamiento externo,
sin afectar el comportamiento del sistema en general.
OO es ms moderado que el conductismo. Adems de combinar
objetos encapsulados existentes, el ingeniero puede crear nuevos objetos
inicializacin de los valores de sus atributos y aplicar sus mtodos.
Mtodos
Los lenguajes orientados a objetos comunes utilizados para los mtodos de ejecucin son
tpicamente lenguas de procedimiento con una sintaxis heredada de programacin pre-OO
idiomas y sin la semntica declarativa del conocimiento basado en la lgica
lenguajes de representacin.
Sin embargo, aun cuando los mtodos orientados a objetos estn implementadas en los
procedimientos
lenguajes de programacin, es natural de expresar sus especificaciones en lgica
formulario. Estas especificaciones tienen a menudo la forma de reglas de condicin-accin en
modo declarativo:
OO hace que sea fcil para el ingeniero para crear nuevos objetos creando instancias ms
clases generales de los objetos.
Por ejemplo, un ingeniero puede crear un nuevo zorro mediante la creacin de un nuevo
instancia de la clase general de todos los zorros. La clase de los zorros en su conjunto podra
disponer de mtodos generales para hacer frente a ese tipo de mensajes como la vista de otro
animal que tiene alimento y la aparicin de los alimentos a su alcance. Se podra tambin
tienen valores tpicos para tales atributos como el color de su piel y la forma de
su cola. El nuevo zorro heredara estos mtodos y valores de atributos con
poca o ninguna modificacin, posiblemente con la adicin de ciertos mtodos especiales
y atribuye nica en s misma.
Las clases se organizan en jerarquas taxonmicas. As, por ejemplo, la clase
de todos los zorros puedan heredar la mayor parte de sus mtodos y atributos de la clase de
todos los animales. La clase de todos los animales podra heredar ellos, a su vez, de la
clase de todos los seres animados, la clase de todos los seres animados podra hereditaria
de la clase de todos los objetos materiales, y la clase de todos los objetos materiales
pueden heredar desde la clase de todas las cosas.
Las redes semnticas son como las estructuras semnticas del Captulo A2, que son
slo conjuntos de oraciones atmicas. De hecho, las conexiones de red semntica de la
forma:
Por supuesto, tambin podemos agrupar las mismas penas por medio de otros objetos:
En este caso, las dos frases tienen el mismo tema. Sin embargo, la segunda frase
ahora se expresa en la voz pasiva. A pesar de ello, ya pesar de su ir
contra de una interpretacin ingenua de las directrices de buen estilo de escritura, la mayora
personas encuentran esta segunda frases par ms fcil de entender. Esto parece
sugieren que las personas tienen una fuerte preferencia por la organizacin de sus pensamientos
en forma orientada a objetos, que es ms fuerte que su preferencia por los activos
sobre la voz pasiva.
La orientacin a objetos no es la nica forma de estructurar y ordenar
frases. En ambos de los dos pares de oraciones anteriores, las frases son
ordenado por la secuencia temporal de los acontecimientos.
Consideremos ahora la siguiente secuencia de oraciones:
Aqu, las frases estn clasificadas por secuencia temporal. Frases individuales
estn estructurados y no por objeto, sino por el agente, tal como se refleja en el uso de la sustancia
activa voz.
Conclusiones
De la misma manera que hay muchos sistemas de la lgica, hay muchas formas
de orientacin a objetos. En las formas extremas de OO, no hay distincin entre
objetos activos y pasivos, y toda la interaccin entre los objetos se reduce a
enviar y recibir mensajes.
Pgina 206
205
Extreme OO tiene la igualdad de los objetos demasiado lejos. En lugar de tratar a todos
objetos como iguales, sera ms natural para distinguir entre activos y
objetos pasivos. Objetos activos, que han encapsulados mtodos, son como
Los agentes, que tienen metas y creencias internas. Objetos pasivos, que no tienen
estructura interna, slo participan en las relaciones externas con otras
objetos.
La lgica se ocupa de representar conocimiento, mientras OO tiene que ver con la estructuracin
de los conocimientos representaciones. Sera interesante ver cmo los conceptos de OO stucturing
podra aplicarse a la coleccin de frases que componen este libro.
Pgina 207
206
Captulo 15. Bicondicionales
Condiciones Si conclusin .
una persona va a ir
si y slo si la persona es idntica a Mara y Juan se ir
o la persona que es idntica a juan y bob no ir.
La interpretacin a nivel de objeto de slo-si fue utilizado originalmente por Clark (1979)
como una semntica para la negacin como finita fracaso. Pero tambin se puede utilizar en su
propio
derecho como base de un procedimiento de la prueba de nivel de objeto, en el que bicondicionales
se utilizan como equivalencias , para reemplazar frmulas atmicas que coincidan con su
conclusiones por sus condiciones definitorias (Fung y Kowalski, 1997). Uso
bicondicionales de esta manera es una forma de razonamiento hacia atrs, que se comporta
como casi exactamente el razonamiento hacia atrs con condicionales normales. Por otra parte,
cuando se aplica a una frmula atmica dentro de negacin, se comporta casi exactamente
como negacin como fracaso. De hecho, en el razonamiento informal de todos los das, puede ser
difcil distinguir entre el razonamiento hacia atrs ordinario y razonar con
equivalencias.
Supongamos, por ejemplo, que queremos determinar si Mara
ir a la fiesta, pero esta vez usando bicondicionales para representar el supuesto
que los condicionales son las nicas maneras de mostrar sus conclusiones:
mary pasar si y slo si Juan va a ir.
John ir si y slo si no es el caso de que Bob ir.
bob pasar si y slo si es falso.
Supongamos ahora que Bob est fuera de la imagen, y tratamos de mostrar mary no ir
con las creencias:
mary pasar si y slo juan ir.
john pasar si y slo si Mara va a ir.
Pgina 210
209
Objetivo inicial: no es el caso que Mara ir.
Subobjetivo equivalente: no es el caso de que john ir.
Subobjetivo equivalente: no es el caso de que mary ir.
Subobjetivo equivalente: no es el caso de que john ir.
Indefinidamente : ................
Reconsiderar la creencia de que una persona es inocente hasta que se pruebe lo contrario. Vamos
a ver qu pasa si reemplazamos la negacin meta-nivel que no se puede demostrar
por la negacin a nivel de objeto no es el caso que nos y reemplazar
condicionales por bicondicionales17 :
------------------------------------------------------------------------------------------------------------- ----
utiliza el razonamiento hacia adelante desde el tomo al derivar falsa y para unir falsa al tomo.
En ambos casos, la simplificacin lgica (del tipo descrito en el Captulo A6) transforma
el tomo y su conjuncin con falsa .
Pgina 212
211
Subobjetivo equivalente: no es el caso de que otra persona
testigo de bob compromiso robar el banco
Subobjetivo equivalente: no es el caso que la verdadera.
Subobjetivo equivalente: falsa.
Sorprendentemente, no slo dos pruebas reflejan la bsqueda de pruebas que utilizan
negacin como fracaso, sino que simulan el carcter autoepistemic de la negacin
como fracaso. Esto es debido a que cualquier conclusin derivada utilizando el bicondicional
representacin tiene una suposicin autoepistemic mundial implcita de que el
conclusin es por lo que yo s .
Secuestro o deduccin?
De manera similar a la forma en que el razonamiento con bicondicionales proporciona una
forma alternativa de realizar el razonamiento por defecto, sino que tambin proporciona una
forma alternativa de explicar las observaciones por deduccin y no por
secuestro. Por ejemplo, para explicar la observacin de que el csped est mojado , se
utiliza bicondicionales como equivalencias para sustituir los predicados cerrados por su
definiciones, dejando predicados abiertos como hiptesis posibles:
Aqu el predicado el csped est mojado est cerrado, mientras que los predicados llovi
y la regadera estaba prendido estn abiertos y servir como hiptesis para explicar la
observacin.
Tenga en cuenta que, con deduccin de bicondicionales, la disyuncin o es
expresada en el lenguaje objeto. En contraste, el uso de secuestro con
condicionales, la misma disyuntiva se expresaran en el meta-lenguaje
diciendo que el csped est mojado , ya que llova o el csped est mojado , ya
la regadera estaba prendido .
De la misma manera que el razonamiento hacia adelante se puede utilizar para deducir
consecuencias de las hiptesis derivadas por el secuestro, el razonamiento puede reenviar
tambin se puede utilizar para deducir consecuencias de hiptesis derivadas por medio de
bicondicionales. Por ejemplo, si ha llovido la noche anterior, y luego la ropa fuera
ser mojada. Si marca la ropa, y observar que se sequen, entonces se puede
eliminar la posibilidad de que llovi (utilizando el hecho de que en hmedo y en seco son
contrarios). Este razonamiento se puede expresar con mayor precisin en el siguiente
manera:
Restriccin: si la ropa fuera son secos y las prendas exteriores estn mojadas
entonces falsa.
Aqu se representa el hecho de que en hmedo y en seco son contrarios como una limitacin ,
que escribimos (y el uso) de la misma manera como objetivos de mantenimiento, pero con
conclusin falsa .
La observacin y la meta inicial: la hierba est mojada
Equivalente (razonando hacia atrs): llovi o el aspersor estaba en marcha.
Equivalente (razonando hacia adelante):
( llovi y la ropa exterior estn mojados) o el aspersor estaba en marcha.
Equivalente (razonando hacia adelante):
( llovi y la ropa exterior estn mojados
y (si la ropa fuera estn secos a continuacin, false)) o la regadera estaba prendido.
Equivalente (razonando hacia atrs):
( llovi y la ropa exterior estn mojados y falso)
o el aspersor estaba en marcha.
Equivalente: falsa o la regadera estaba prendido.
Equivalente: la regadera estaba prendido.
Aqu el tomo est subrayado si se sustituye por su definicin hacia atrs utilizando
razonamiento, o si se utiliza para el razonamiento hacia adelante.
Esta condicin se deriva de fuego como la causa del humo por defecto, evitando tanto
la conclusin disyuntiva completamente informativo y excesivamente
conclusin probabilstica informativo.
Una vez ms, tenemos un caso de diferentes niveles de representacin. El efecto si
causa la representacin es de nivel superior. Pero necesita secuestro de explicar
observaciones y criterios tales como la probabilidad relativa y el poder explicativo
para ayudar a decidir entre hiptesis alternativas. La causa si el efecto
representacin es de nivel inferior. Da resultados similares, pero lo hace ms
eficientemente, utilizando la deduccin en lugar de secuestro.
Las dos interpretaciones de la negacin como fracaso, las dos formas de entender la
explicaciones, y las dos formas de representar la relacin entre
causa y efecto estn relacionadas con la diferencia entre la verdad y la prueba en
aritmtica.
Podra decirse que la interpretacin meta-lgica de la negacin como fracaso, la
comprensin abductiva de las explicaciones, y la representacin de la causa y el
efecto en el formulario de efecto si la causa son todas ms fundamental que su objeto-
nivel, deductivo, y si causa efectos alternativas. Del mismo modo, la verdad en la aritmtica
es ms fundamental que la prueba.
Pgina 215
214
Por simplicidad en la lgica matemtica, se representan los nmeros naturales
por la adicin de 1 a varias veces el nmero 0, de modo que X 1 es el nmero
inmediatamente despus de X . Por ejemplo, los nmeros 0, 1, 2, 3, ... vienen a buscar
le recomendamos:
Con esta representacin, la aritmtica es simplemente el conjunto de todas las propiedades de los
suma y la multiplicacin, que se define por las condicionales:
0 + Y = Y. (X+1) + Y = (Z+ 1) si X + Y = Z.
0 X = 0. (X+1) Y = V si X Y = U and U+Y=V
XY=YxX
algoritmo especializado =
conocimiento especializado + razonamiento de propsito general.
Supongamos que un agente se ha dicho que una sentencia que tiene la forma lgica:
si P entonces Q.
debe ser cierto, pero podra ser falso. Supongamos, adems, que P y Q estn abiertas
predicados que son directamente observables. La forma de resumen de la tarea de seleccin
Pgina 219
218
es determinar cmo el agente debe responder a las diversas observaciones de la
valores de verdad de estos predicados.
Voy a argumentar que esta es una forma natural de la presentacin de la tarea de seleccin de un
agente en el contexto del ciclo del agente. Debido a que el agente cree que el
deber ser condicionada para ser verdad, es natural que el agente a utilizar el condicional para
asimilar observaciones derivando sus consecuencias. Pero debido a que el agente
cree que la condicin podra ser falsa, es tambin natural que el agente
observar activamente si las consecuencias que debe ser cierto si el condicional
es cierto son realmente ciertas.
En nuestro modelo de agente, la respuesta del agente depende de si el agente
interpreta el condicional como un objetivo o como una creencia. Si el agente lo interpreta como
una meta, entonces la posibilidad de que el objetivo podra ser false significa que el estado de
el mundo no podr cumplir con la meta. Sin embargo, si el agente lo interpreta como una
creencia, a continuacin, la posibilidad de que la creencia podra ser false significa que la creencia
no pueden adaptarse a la situacin del mundo.
Pero la lgica clsica no distingue entre las metas y creencias.
De acuerdo con la lgica clsica, las respuestas correctas son:
Sin embargo, la mayora de la gente hace esta inferencia slo en raras ocasiones.
El reto es explicar por qu la mayora de la gente razonar correctamente en algunos
casos, y aparentemente incorrectamente en otros casos. Parte del problema, por supuesto,
es que las pruebas psicolgicas asumir que los sujetos tienen un concepto claro de
inferencia deductiva. Pero hemos visto que incluso Sherlock Holmes tena problemas
deduccin distinguir la abduccin. Y tambin hemos visto que hay
buena razn para este problema, ya que el secuestro puede ser realizada por
deduccin si condicionales se entienden como bicondicionales. Esto explica por qu
mayora de los sujetos cometen la falacia deductiva de afirmacin del consecuente,
lo cual no es una falacia en absoluto, si se tienen en cuenta estas consideraciones.
Voy a argumentar que, dada la forma abstracta por encima de la tarea de seleccin:
Page 220
219
Modus ponens (modus operandi )es fcil, no importa si la condicin es
interpretado como un objetivo o como una creencia, porque en ambos casos, hacia adelante
razonamiento Q se deriva de una observacin de P.
Afirmacin del consecuente es una inferencia correcta si el condicional
se interpreta como la nica creencia que implica su conclusin. Es
justificada, ya sea por secuestro aunque slo se interpreta en el meta-
idioma, y por la formulacin de la bicondicional condicional si
slo se interpreta en el idioma objeto. Sin embargo, no se justifica
si la condicin se interpreta como una meta.
Modus Tollens es difcil si la condicin es interpretado como una creencia,
sobre todo porque es necesario conectar una observacin positiva Q '
con la negacin no Q de la conclusin de la condicional si P entonces
P. En muchos casos, esta conexin debe ser hecha a travs de un
tcita restriccin fondo si Q y Q ', entonces falsa.
En tales casos, modus tollens es ms fcil si el condicional es
interpretado como una meta, porque entonces es natural que la razn por adelantado
de obervations y compilar la condicional y la restriccin en
el formulario si P y Q ', entonces falsa. Representado en esta forma, el
condicional puede derivar fcilmente si P entonces falsa, es decir, no P de la
observacin Q '.
Negacin del antecedente es una posibilidad terica si el condicional
se interpreta como la nica condicin que implica su conclusin, pero es
hecha ms difcil por la necesidad de derivar la conclusin negativa no P
de una observacin algo positivo P '. Podra decirse que la necesidad tanto de interpretar
el condicional como la nica condicional y para derivar un negativo
conclusin hace que la negacin del antecedente ms duro y por lo tanto menos
probables.
Por EJEMPLO:
X es idntica a X.
Por EJEMPLO:
-------------------------------------------------------------
19
En matemticas esto significa que la relacin X tiene el valor V de la propiedad q es un
relacin funcional, en la que normalmente por escrito q(X) = V, donde q es ahora una funcin
Smbolo.
Pgina 222
221
Si un agente de la condicional entiende como una creencia, y tiene razones para dudar
la creencia, entonces el agente puede probar la creencia mediante la comprobacin de sus
consecuencias. Si estas consecuencias no son ya derivable de otras creencias, y si se
son observables, entonces el agente puede intentar observar las consecuencias a
confirmar o refutar la creencia. Por ejemplo, en la versin de la tarjeta de la seleccin
tarea, si el agente observa lo que est en un lado de una tarjeta y concluye lo
debe o no debe estar en el otro lado de la tarjeta, entonces el agente puede resultar
a la tarjeta de observar activamente si la conclusin es realmente cierto.
La situacin es similar a aquella en la que una observacin puede ser
explica por una hiptesis. El agente puede poner a prueba la hiptesis mediante la comprobacin
de su Consecuencias. Observando que una consecuencia es cierto aade al peso de
evidencia a favor de la hiptesis. Sin embargo, la observacin de que es una consecuencia
falsa refuta la hiptesis de una vez por todas, y lo excluye de ms
consideracion.
Por lo tanto, si la validez de la creencia condicional est en duda, luego hacia adelante
razonamiento a partir de una verdadera observacin de las consecuencias de la creencia y la
observacin que una consecuencia es cierto aumenta la confianza en la creencia. Pero en el caso
de los
una creencia condicional con variables cuantificadas universalmente, una verdadera consecuencia
no valida la creencia, ya otras instancias de la creencia puede ser falsa.
Por otra parte, la observacin de un solo falso consecuencia refuta la
creencia de siempre. En versiones concretas de la tarea de seleccin, es habitual
formular las instrucciones para alentar a las observaciones de las consecuencias que pueden
falsificar la condicional, y desalentar las observaciones que slo puede confirmar
que una instancia de la condicional es verdadero.
-------------------------------------------------------------------------------------
20
Una observacin negativa tambin se puede obtener a partir de la falta de hacer un positivo
Observacion. Sin embargo, los ejemplos de tareas de seleccin utilizados consisten nico positivo
observaciones de las cuales tienen que ser derivados antes operandi "observaciones negativas"
Tollens se pueden aplicar.
Page 224
223
Razonamiento Adelante con la observacin:
la cuarta carta tiene el nmero 7 en el lado del nmero.
desplazamiento hacia delante Razn para que coincida con una observacin con una condicin
de un objetivo.
Motivo revs para verificar las otras condiciones.
desplazamiento hacia delante Razn para derivar la conclusin.
Motivo atrs para resolver el Conclusin
Page 225
224
La derivacin tambin se puede ver como la activacin de los enlaces en una grfica la conexin
de limitacin y creencias:
Podra decirse que, visto en estos trminos, la derivacin es difcil debido a que el
conexin entre la observacin positiva y las necesidades de creencias condicionales
que hacerse a travs de un objetivo restriccin / que slo vagamente relacionado con el
planteamiento del problema. Voy a discutir en la siguiente seccin que cuando el condicional es
interpretarse como un objetivo, la conexin es tpicamente ms fuerte y la derivacin
Ms Fcil.
Consideramos el problema de modus tollens en el caso concreto de la
versin original de la tarjeta de la tarea. Sin embargo, consideraciones similares se aplican en
otros casos en los que se interpreta el condicional como una creencia. En general la
ms un agente tiene que trabajar para derivar una conclusin, menos probable es que
el agente ser capaz de hacerlo.
Es mucho ms fcil de reconocer una solucin de lo que es la generacin, porque
la generacin de una solucin requiere seach, pero reconociendo la solucin no lo hace.
Esto explicara por qu muchas personas no aplican modus tollens en el
tarea de seleccin, pero an as reconocer su correcta aplicacin cuando lo ven.
es natural para entender el condicional como una limitacin social. Un agente puede
utilizar la restriccin para controlar los estados del mundo observando si
instancias de la restriccin son verdaderas o falsas. Observaciones de casos falsos
violar la meta / restriccin. Observaciones de los verdaderos casos cumplen con la
objetivo / restriccin.
En las sociedades bien regulados, los agentes normalmente se ajustan a las normas y
violacines son excepcionales. Por lo tanto, en las formulaciones de hormign de la seleccin
tarea, en situaciones en que el contexto deja claro que la condicin es ser
interpretarse como un objetivo, no es necesario hacer hincapi en que la tarea es detectar
violacines, ya que la prevencin de violacines es el objetivo normal de esos objetivos.
En Informtica, restricciones de integridad realizan una funcin similar en el monitoreo
actualizaciones de base de datos.
Voy a argumentar que, cuando un agente interpets la tarea de seleccin como una de
supervisar el cumplimiento de un objetivo condicional, entonces las inferencias que son
fcil en Computacin Lgica son los que tambin son correctas de acuerdo con el
las normas de la lgica clsica. Los dos problemas principales son para explicar por qu
Pgina 227
226
afirmacin del consecuente no se aplica y por qu modus tollens es fcil.
Pero primero tenemos que comprobar que el modus ponens es fcil.
Modus Tollens. Sostuve antes que los modus tollens es difcil cuando el
condicional se interpreta como una creencia, sobre todo porque es difcil obtener
conclusiones negativas. Ahora voy a argumentar que la derivacin de la negativa
conclusiones normalmente es ms fcil cuando la condicin se interpreta como una meta.
El argumento es apoyada por la experiencia con el problema de la comprobacin
restricciones de integridad en Informtica.
En Informtica, comprobacin de la integridad es una operacin costosa, que necesita
a realizar cada vez que la base de datos se actualiza. Debido a que muchos diferentes
restricciones de integridad pueden ser afectados por una sola actualizacin, que es comn a
optimizar las limitaciones haciendo la mayor cantidad de razonamiento con antelacin. Para
este propsito, una optimizacin comn es la de convertir las reglas de condicin-accin en
reglas de eventos de condicin-accin. La optimizacin es tan comn, de hecho, que
muchos sistemas, incluyendo bases de datos activas (Widom y Ceri, 1996), permiten
reglas slo en forma de eventos de condicin-accin.
Pgina 228
227
Sin embargo, la conversin ms general de objetivos condicionales en el evento-
formulario condicin conclusin puede realizarse mecnicamente mediante el razonamiento en
Avanzar. Por ejemplo, la meta de mantenimiento:
En esta forma, una observacin que Q ' es verdadera desencadena el objetivo compilado, el cual
inicia una observacin activa del valor de P . Si P es verdadera entonces Q ' viola
el objetivo condicional. Si P es falsa entonces Q ' cumple el objetivo condicional. Es
no bastante simples modus tollens , pero es el comportamiento asociado modus
Tollens , es decir, observando activamente el valor de verdad de P , dada una observacin
de lo contrario de Q .
Por ejemplo, en la versin de la barra de la tarea de seleccin:
Pgina 229
228
Objetivo Condicional: si una persona X est bebiendo alcohol en un bar
Entonces la persona X tiene edad menor de 18 aos de edad
Negacin del antecedente. Dado que slo las creencias, y no metas, se utilizan para
explicar las observaciones, no es posible concluir no Q de una observacin
de no P. En particular, no existe ninguna relacin entre:
integridad de propsito general comprobar monitores observaciones que coinciden con uno de los
las condiciones de la restriccin. Teniendo en cuenta la observacin de una persona que bebe
el alcohol, el agente puede intentar observar activamente la edad de la persona, y si
edad de la persona menor de dieciocho aos de edad, entonces el agente puede inferir que hay
ha habido violacin de la portera. Del mismo modo, dada una observacin de una persona
que es menor de dieciocho aos de edad, el agente puede comprobar activamente si el
persona est bebiendo alcohol, y si lo es, entonces el agente puede inferir de manera similar a
violacin.
para el caso especial en el que R es simplemente falsa . Esta regla de inferencia es lo contrario de
la negacin regla de reescritura del Captulo A6.
Lo que el ejemplo muestra medida de seguridad es que las reglas de inferencia de
Necesita Lgica Computacional ser refinado para tratar ciertos casos de
negacin, pero en su forma actual son bastante cerca de lo que se necesita en
problemas como la tarea de seleccin.
Conclusiones
La tarea de seleccin es un desafo digno para cualquier teora del razonamiento humano.
En este captulo, he argumentado que, con ciertas calificaciones Lgica Computacional
incorporado como componente pensando en el ciclo agente es capaz de reunin
ese desafo. Lgica Computacional explica dos casos en los que gente de la razn
aparentemente incorrecta de acuerdo a las normas de la lgica y los casos clsicos
donde razonar correctamente. Tambin explica por qu las personas podran ser capaces de
Pgina 232
231
Sin embargo, en este libro usamos meta-lgica , no slo para estudiar Lgica Computacional,
pero para hacerlo por s Lgica Computacional. En otra Es decir, el lenguaje de la meta-lgica, tal
como se entiende en este libro, es tambin Lgica Computacional. As, parafraseando el primer
prrafo de este captulo, si quieres ser ms inteligente, usted debe usar la lgica computacional
como meta-lgica para pensar sobre el pensamiento.
De hecho, incluso si estn satisfechos con su nivel de inteligencia, que puede utilizar meta-lgica
para simular el pensamiento de los otros agentes, ya sea que creen que son ms o menos
inteligente que t. Por ejemplo, una inteligente zorro podra utilizar meta-lgica para simular la
forma de pensar de un cuervo estpido.
Ya nos hemos referido a algunas de las aplicaciones de la meta-lgica Ya en el captulo 3, en el
que usamos para representar a la definicin de la verdad. Nosotros Tambin se utiliza en el
captulo 6, para representar los efectos del prrafo 1.1 y la sub-objetivo de satisfacer al Secretario
de Estado, y en el captulo 13, para representar el clculo de situaciones y clculo evento. En este
captulo, nos centraremos en su utilizar para representar y razonar sobre el razonamiento. He aqu
un ejemplo simple, en que los trminos meta-lenguaje P, (P si Q), Q y (P y Q) Nombre de objeto
sentencias del lenguaje. Los parntesis se utilizan para evitar ambigedades:
El ejemplo puede parecer bastante intil, pero es una base slida sobre la que otros ejemplos ms
elaborados se pueden construir. Pero incluso en este caso simple, la ejemplo ilustra cmo un
agente puede ser consciente de su propio pensamiento, aunque que el pensamiento no puede ser
muy emocionante. Variantes ms elaboradas de este ejemplo tienen amplia difusin-, su uso
prctico en Computing, para poner en prctica los meta-intrpretes , que son los programas de
ordenador escrito en un meta-lenguaje para implementar un lenguaje-objeto. Tpicamente, la
lenguaje-objeto implementado de esta manera ofrece algunas caractersticas deseables
falta del propio metalenguaje.
Pgina 234
233
En Ingls, es comn el uso de las comillas para distinguir oraciones
y otras entidades sintcticas de sus nombres. As, por ejemplo, "Mara" es la
Nombre de Mara, y "Mara es un agente inteligente" es el nombre de la frase
dentro de las comillas. Sin embargo, en muchas aplicaciones prcticas en Informtica, se
resulta que las comillas y otros dispositivos de nombres no son necesarios,
porque el contexto deja claro si una expresin pertenece a la
lenguaje-objeto y el metalenguaje.
Aqu es un ejemplo del uso de meta-lgica para poner en prctica a nivel de objeto
razonamiento con disyuncin (P o Q), sin necesidad de utilizar disyuncin en el meta-
idioma.
meta3 : un agente cree P
si el agente cree (P o Q) y el agente cree (no Q).
Los trminos o y no en este meta-frase no son conectivas lgicas en la
meta-lenguaje, pero son nombres de conectivas lgicas en el lenguaje-objeto.
Usaremos meta3 para resolver el rompecabezas de hombre sabio ms adelante en este
captulo. Nosotros tambin tendr que razonar que si un agente observa si un hecho es cierto,
a continuacin, el agente cree que el resultado de la observacin. En la solucin de la
rompecabezas de hombre sabio, es necesario este razonamiento slo para el caso de una negativa
observacin, que es una instancia de la negacin como fracaso:
La semntica de la creencia
mary cree ((una persona est bien criado si la persona habla Ingls de la reina
y la persona que tiene un noble personaje) es vlido para todas las personas).
Ahora, siempre y cuando est hecho, una persona, entonces esta conclusin es la que
buscbamos.
segundo2: una persona cumple los requisitos de la Lista 1 para la naturalizacin en un 6,1
si la persona cumple con los requisitos de residencia del prrafo 1.1.2
y la persona que es de buen carcter
y la persona tiene suficiente conocimiento de Ingls,
gals o galico escocs
y la persona que tiene conocimientos suficientes sobre la vida en el Reino Unido
y la persona tiene la intencin de hacer de su vivienda habitual en el Reino Unido
en caso de ser concedida la naturalizacin.
Para resolver el problema remanente del captulo sobre cmo ser un britnico ciudadano, basta
con sustituir el trmino cree en la frase est convencido de que .
Una forma ms flexible para satisfacer la Secretara de Estado
No te culpara si no encontr estos argumentos totalmente convencer. Se podra pensar, por
ejemplo, que el Secretario de Estado debe ser ms flexibles, lo que permite, por ejemplo, una
fuerte creencia de que una persona tiene una buena carcter para compensar una creencia dbil
que la persona tiene suficiente conocimiento de Ingls, galico gals o escocs. Afortunadamente,
meta-lgica
Pgina 241
240
permite representar tales formas ms flexibles de juzgar si una
conjuncin de condiciones implica una conclusin. Por ejemplo, podramos
reemplazar los dos meta-creencia meta1 y meta 2 por:
Si est familiarizado con las redes neuronales del cerebro, ver una parecido entre dichas redes y
meta1'Y meta2. La condicin S> T es similar a la exigencia de que, para una neurona al fuego, la
fuerza de la entradas a la neurona debe superar un cierto umbral t. La suma SP+ SQ= S
corresponde a la suma de los puntos fuertes de todas las entradas de una neurona. La
analoga red neuronal podra llevarse a cabo ms all, mediante la asociacin con los pesos
las condiciones de P y Q . As, por ejemplo, tener buen carcter puede tener
un peso mayor que la capacidad de hablar uno de los idiomas nativos britnicos.
A primera vista, meta1'Y meta2 "Puede parecer un largo camino desde un represention
de Lgica Computacional como la lengua de los pensamientos de un agente. Pero tenga en
importa que una implementacin del procedimiento de la prueba grfico de conexin necesita un
estrategia para la activacin de los enlaces. Meta1 'Y meta2
"Puede ser considerado como un representacin aproximada de los mejor primera estrategia
esbozada en los captulos 4 y A5. Pero en cualquier caso, que muestran el poder de un meta-
lgica sin un nocin explcita de la fuerza de la creencia para representar una lgica a nivel de
objeto en el que la fuerza de la creencia es explcito.
Los dos sabios
meta4': sabio se cree (no sabia de dos hombres tiene barro en la cara)
si no es sabio dos tiene barro en su rostro.
La segunda sub-etapa, que activa el enlace entre meta3 'Y meta4, Es una
tipo de razonamiento hacia adelante con una suposicin:
resultado del paso 1: sabio uno cree sabio uno tiene barro en la cara
si no es sabio dos tiene barro en su rostro.
Paso 2 conecta el resultado del razonamiento en el paso 1 con una sabia del hombre
afirmacin de que l no sabe si tiene barro en su rostro. Expresado en
trminos de creencia, esta afirmacin tiene dos subpartes: No creo que l tiene
barro en la cara, y que no cree que l no tiene barro en su
cara. Slo la primera subparte es relevante para la solucin:
resultado del paso 1: sabio uno cree sabio uno tiene barro en la cara
si no es sabio dos tiene barro en su rostro.
resultado del paso 2: si no sabio dos tiene barro en la cara y luego falso.
sabio0: si el hombre sabio se cree sabio uno tiene barro en la cara y luego falso.
como punto de partida, ahora tenemos que derivar la conclusin negativa sabio0
de la observacin positiva sabio- 1 el uso de una restriccin adecuada (similar
a la derivacin en la tarea de seleccin en el captulo 16).
Intuitivamente, el hombre sabio dos se justifica en la obtencin de la conclusin negativa
de la observacin positiva, si el hombre sabio dos cree que el hombre sabio es
asssertion se puede confiar. Esta creencia se puede representar en diferentes niveles de
abstraccin. Aqu es una representacin bastante concreta de la creencia de que sabia
el hombre es digno de confianza:
Obviamente, esta creencia podra ser derivado de creencias ms generales, para los
ejemplo de una creencia ms general de que todos los sabios son dignos de confianza.
Ahora podemos presentar la solucin del problema de los dos hombre sabio como un especial
caso del patrn general:
Razonamiento hacia atrs con la meta3 para verificar la otra condicin de sabia-2:
Pgina 245
244
if ((hombre sabio se cree sabio uno tiene barro en la cara) o Q)
y el sabio se cree (no Q), entonces falsa.
Esta solucin es un ejemplo de la pauta general, no se utiliza para derivar un plan de acciones
para resolver una meta de logro, generada por la activacin de una meta de mantenimiento, pero
para generar una explicacin de una observacin. En instancia de este, el patrn general genera
sabio dos tiene barro en la cara como una explicacin de la observacin de un hombre sabio
afirma que no s si (hombre sabio se tiene barro en la cara).
combina una conclusin a nivel de objeto con una condicin meta-nivel. Este combinacin lo
convierte en un lenguaje mucho ms expresivo que un objeto o meta-lenguaje solo. Se hace
mucho ms simple mediante el uso de una sintaxis ambivalente. Sin embargo, no todas las
aplicaciones de meta-lgica pueden beneficiarse de las simplificaciones de la sintaxis
ambivalente. Algunas aplicaciones de la meta-lgica slo tienen sentido si el
distincin entre el uso de oraciones y mencionarlas se hace explcito en
la sintaxis. La forma habitual de hacer esto en Ingls es el uso de comillas.
Este proceso de utilizacin de los casos para generar y modificar las reglas es el bsico
tcnica de la programacin lgica inductiva (Muggleton y De Raedt, 1994),
que es una rama de la mquina de aprendizaje en Inteligencia Artificial. Donald Gillies (1996)
argumenta que los logros de la programacin lgica inductiva en aplicaciones tales como la
generacin de sistemas expertos y el descubrimiento de las leyes de la estructura de la protena
tienen implicaciones significativas para el problema de la induccin de la Filosofa de la Ciencia.
Por desgracia, he descuidado este aspecto de la Lgica Computacional, as como otras reas
importantes. En particular, aunque me he referido a la necesidad de integrar los juicios de
incertidumbre en el componente de toma de decisiones del ciclo del agente, no he explorado las
relaciones ms amplias entre Computacin Lgica y Teora de la Probabilidad. Gran parte del
trabajo en esta rea combina el razonamiento probabilstico con la programacin lgica inductiva.
(De Raedt et al., 2008) contiene un estudio de obra representativa de esta activa rea de
Investigacin.
La otra rea importante que he descuidado es la relacin entre Lgica Computacional, redes
neuronales y otros modelos conexionistas del cerebro. Aunque he sugerido una interpretacin
conexionista de grficos de conexin, la mayor parte del trabajo en esta rea ha afectado la
relacin entre la programacin lgica y redes neuronales, a partir de (Hlldobler y Kalinke, 1994)
y que incluye (d'Avila Garcez, Broda y Gabbay, 2001) y (Stenning y van Lambalgen, 2008). Una
buena visin general de los retos en esta rea se puede encontrar en (Bader, Hitzler y Hlldobler,
2006).
La lista de estos temas contina por ms tiempo de lo que puedo continuar, y tiene que parar en
algn lugar. Pero antes de terminar, me gustara mencionar brevemente un rea de ms, lo que es
demasiado importante para dejar de lado, y donde la lgica computacional puede ser capaz de
contribuir.
Pgina 250
249
Resolucin de conflictos
Hemos visto que los conflictos pueden surgir cuando un agente tiene que hacer una eleccin entre
dos o ms acciones o metas: El cuervo quiere comer el queso y cantar al mismo tiempo. El piojo
quiere comer y buscar una pareja.
Bob quiere seguir siendo amigos con John, pero permanecer fuera de la crcel. Este tipo de
Conflicto dentro de un solo agente es la fuente de resolucin de conflictos en los sistemas de
produccin y el pan y la mantequilla de la teora de la decisin.
Resolucin de confictos es lo suficientemente importante cuando slo hay una persona
involucrada, pero puede ser mucho ms importante cuando se trata de dos o ms agentes: El
hombre de la mochila quiere volar el tren, pero los pasajeros que quieren seguir con vida. La zorra
quiere tener el queso de cuervo, pero el cuervo quiere comer por s mismo. Bob quiere quedarse
fuera de la crcel, girando testigo en contra de John, y John se quiere quedar fuera de la crcel,
girando testigo
contra Bob.
Hemos visto en el ejemplo del dilema del prisionero que los conflictos
entre varios agentes puede ser tratado como un conflicto por un nico agente que se preocupa
tanto de otros agentes como ella se preocupa por s misma. La Aplicacin de los
teora de la decisin de este caso es una forma de utilitarismo: el mayor bien para
El Mayor numero de personajes.
Pero el utilitarismo desenfrenado no hace nada para proteger a un agente individual o
una minora de agentes cuyos intereses estn dominados por la mayora. La
proteccin de los derechos individuales y de las minoras requiere restricciones, que
evitar que la maximizacin de la utilidad de salir de la mano. Vimos cmo
tales restricciones pueden operar en el ejemplo del carro fuera de control en
Captulo 12.
El modelo de agente Lgica Computacional combina tanto las limitaciones en
acciones individuales y resolucin de conflictos para decidir entre alternativas
Acciones. Pero tambin ofrece oportunidades para la resolucin de conflictos en el
de mayor nivel de la jerarqua de un agente de las metas. Si el conflicto no puede ser resuelto
a nivel de la accin, puede ser posible para resolver el conflicto mediante la bsqueda de un
forma alternativa de la solucin de los objetivos a un nivel superior, y de reducir esos objetivos
a las nuevas alternativas de accin que ya no cree un conflicto. Cuanto mayor sea la
nmero de niveles en la jerarqua y el mayor nmero de alternativas
formas de reducir metas a sub-objetivos, ms oportunidades hay para evitar
y resolver los posibles conflictos.
Esta jerarqua de objetivos y subobjetivos est determinada por las creencias del agente.
Independientemente de si estas creencias realmente ayudar al agente a alcanzar sus metas
depende de si son o no verdad. Cuanto mayor es el nmero de la verdadera creencias, mayor ser
el nmero de formas alternativas el agente puede intentar lograr sus objetivos y evitar conflictos
con otros agentes. Un agente obtiene sus creencias de diferentes fuentes. Algunas de estas
creencias pueden ser programados en el agente desde el nacimiento, pero otros, quizs la mayora,
son obtenida a travs de la experiencia personal y de comunicacin con los dems
Pgina 251
250
agentes. Pero diferentes agentes tienen diferentes experiencias, que conducen a
diferentes creencias, que pueden conducir a conflictos entre los agentes, incluso cuando el
los agentes tienen los mismos objetivos de alto nivel. Por lo tanto, los conflictos pueden ser a
menudo reconciliado mediante la conciliacin de las diferentes creencias, reconociendo que puede
explicar las diferentes experiencias.
Atomos
Smbolos de predicado
Smbolos de predicado puede tener cero, uno o ms argumentos. Frmulas atmicas
cuyo predicado smbolo tiene cero argumentos son a veces llamados
frmulas proposicionales. Esto incluye los dos tomos especiales verdadero y lo falso.
El caso particular de la lgica simblica, en el que todos los tomos son proposicional
frmulas se llama lgica proposicional. El caso ms general, en la que
smbolos de predicados pueden tener cualquier nmero de argumentos, se llama predicado
lgica.
Frmulas proposicionales son frases que denotan proposiciones. Predicado smbolos con un
argumento denotan propiedades de los individuos, y predicado smbolos con ms de un
argumento denotan las relaciones entre los individuos. Esta distincin entre proposiciones,
propiedades y relaciones es significativo en lenguaje natural corriente, sino que es un innecesario
y no deseado complicacin en matemticas. Es ms simple y ms conveniente para referirse a
todos tres nociones como las relaciones, que pueden contener entre cero, uno o ms
Pgina 254
253
individuos. As, con esta terminologa, podemos decir simplemente que predicado
denotan (o representar) las relaciones.
Sin embargo, no necesitan ser representados por smbolos de predicado todas las relaciones.
Relaciones tambin pueden ser representados por predicados que son compuesto sintctica
expresiones construidas a partir de las expresiones ms simples por unirse a ellos con
conectivas lgicas como "y", "o", "no" y "si". Por EJEMPLO, la
propiedad de ser alto y guapo se denota con un predicado, por ejemplo
alto (X) y guapo (X), que no necesita ser expresada por una separada
smbolo de predicado. A menudo nos encontramos que es conveniente hablar de tales
predicados, sin que ello implique que se expresan mediante smbolos de predicado.
La denotacin es una relacin semntica entre smbolos y los objetos
esos smbolos representan. Es uno de los grandes logros de Symbolic
Lgica, envidiado incluso por muchos de sus crticos, que tiene una semntica adecuada. Pero
antes de discutir la semntica, que necesitamos para completar nuestro anlisis de la sintaxis.
Condiciones
El tipo ms simple de trmino es una constante, al igual que 007, lo que representa un
individual, decir que la persona nacida el 1 de abril de 2000 y los padres Mary Smith y
John Smith en Petworth, Inglaterra. Sin embargo, los trminos tambin incluyen variables que
presentarse a clases enteras de individuos. Es comn en Symbolic Logic utilizar
cartas, como X e Y para las variables, como en la frmula algebraica:
X+Y=Y+X
que vale para todos los nmeros de X e Y. En este libro, se utiliza la convencin,
tomado de la lgica de programacin Prolog lenguaje, que las variables comienzan
con una letra mayscula, como X o Y, y las constantes y smbolos de predicado
comenzar con una letra minscula.
Las condiciones ms complejas se pueden construir a partir de los trminos ms simples, como la
madre
de X, escrita madre (X), o 2 + 3, escrito + (2, 3), donde la madre y + son
smbolos de funcin. Sin embargo, las funciones son un caso especial de las relaciones, y
por lo tanto, smbolos de funcin son, estrictamente hablando, innecesario. En Lugar De
escribir, por ejemplo:
madre (can) = eve
+ (2, 3) = 5
podemos escribir:
madre (can, vspera)
+ (2, 3, 5)
En representacin de funciones como las relaciones tiene la ventaja de que los smbolos de
function se puede reservar para la construccin de nombres de personas. Smbolos de funcin
utilizados
Pgina 255
254
de esta manera, a veces se llaman funciones de Skolem, en honor del lgico
Thoralf Skolem.
Utilizado para nomenclatura, smbolos de funcin permiten nombrar un infinito
nmero de individuos con un vocabulario finito. Por ejemplo, en matemtica
lgica, es comn para nombrar los nmeros naturales 0, 1, 2, ... por los trminos 0,
s (0), s (s (0)), .... donde el smbolo de la funcin s se llama la funcin sucesor.
El trmino s (X) es equivalente a X + 1. Uso de la funcin sucesor y
que representa la funcin de suma como una relacin, podemos representar 2 + 3 = 5
Por:
+ (S (s (0)), s (s (s (0))), s (s (s (s (s (0))))))
No es muy bonito, pero ms adecuado para los estudios tericos que el uso de tales
sistemas alternativos como nmeros decimales, binarios o nmeros romanos.
Los trminos que no contienen variables se denominan trminos de tierra. Desempean ONU
papel especial en la semntica, ya que son la piscina de la que los nombres
de las personas se sienten atrados.
Condicionales
Estrictamente hablando, un condicional es una sentencia de la forma A B, donde A y
B son oraciones. Sin embargo, se utiliza el trmino condicional ms libremente para referirse
a penas que pueden contener variables. Por otra parte, en su mayor parte, nos
restringir la atencin a los condicionantes que se pueden escribir en cualquiera de los dos
formas equivalentes:
C1 ... Cn D1 ... Dm E
es Decir, si C1 y ... y Cn y no D1 y ... y no Dm entonces E
E C1 ... Cn D1 ... Dm
es Decir, E si C1 y ... y Cn y no D1 y ... y no Dm
cuando la celebracin E es una frmula atmica, las condiciones C1 son formulas atmica
y las condiciones Dj son las negaciones de frmulas atmicas. Tal
condicionales tambin son a veces llamadas clusulas y juegos de condicionales son
tambin llamado programas lgicos.
Como es comn con definiciones matemticas, el nmero de positivos
condiciones y n el nmero de condiciones negativo m pueden ser 0. Si m es 0, entonces
el condicional se llama una clusula definida.
Clusulas positivas son importantes por dos razones. En primer lugar, son adecuados para
representa cualquier predicado computable. En segundo lugar, como veremos en el Captulo A2,
Tienen una semntica simple en trminos de modelos mnimos.
Pgina 256
255
Si el nmero de las condiciones de n + m es 0, entonces el degenerada condicional E
(o E) es en efecto slo una frase atmica, que normalmente est escrito
sin la flecha, simplemente como E.
La flecha hacia atrs se lee si, y la flecha hacia adelante se lee con
el mismo significado, pero en la direccin opuesta. El smbolo se utiliza para la
conector lgico y. Las expresiones conectadas por se llaman conjunciones.
Smbolos de predicado y smbolos constantes que aparecen en las distintas clusulas son
el pegamento externa que une diferentes clusulas juntos. Las variables son otra
tipo de pegamento interno clusulas. Por ejemplo, la variable X en la clusula:
tiene el efecto de la expresin de que cualquier cosa que pueda volar es increble. Por el contrario,
las dos variables en la clusula:
increble (X) poder-volar (Y)
tener el efecto de expresar que si algo puede volar entonces todo es increble!
Variables en clusulas consiguiente se dice que son cuantificados universalmente
dentro del alcance de la clusula en el que aparecen. En la Lgica Simblica
cuantificacin de las variables est normalmente explcitamente escrito con smbolos
de pie para todos y de pie para no existe, y el alcance de la
cuantificadores se indica entre parntesis. As, los dos condicionales anteriores
se escribira:
Debido a que todas las variables que aparecen en las clusulas son universalmente cuantificados y
su mbito es toda la clusula, no hay ambigedad si se omiten los cuantificadores.
Debido condicionales pueden tener ninguna condicin, oraciones atmicas tambin puede
contener variables universalmente cuantificados. He aqu un ejemplo imaginario:
Las oraciones atmicas que no contienen tales variables se llaman tambin hechos.
En las versiones ms simples de la lgica simblica, variables tales como X e Y pueden referirse
a cualquier tipo de individuo. As, por ejemplo, la clusula increble (X) puede -
volar (X) implica que si una piedra puede volar entonces la roca es increble. Del Mismo Modo la
ecuacin matemtica X + Y = Y + X, si estuviera escrito en notacin lgica,
que implicara que se podra aadir dos piedras juntas en cualquier orden y la
resultado sera el mismo.
Pgina 257
256
Para superar el uso natural de las variables restringidas, clasificadas oa mquina
lgicas se han desarrollado, en el que estn restringidas las variables, de modo que se
referirse nicamente a los individuos en clases designadas, que se llaman clases o tipos.
Un efecto similar se puede obtener ms prolijamente en la lgica clasificar por
incluyendo para cada variable en una clusula de una condicin adicional cuyo predicado
expresa el tipo de esa variable.
Por ejemplo, para indicar que cualquier animal que puede volar es increble, lo haramos
tiene que escribir en la lgica sin clasificar, decir:
Para concluir que cualquier persona que pueda volar es increble, necesitaramos una clusula
expresando que todas las personas son animales:
O como los seguidores de la orientacin a objetos en Informtica (vase el Captulo 14) sera
nosotros preferimos decir, la clase de todas las personas heredan la propiedad de volar desde el
ms clase abstracta de todos los animales.
En la versin informal de la Lgica Computacional que usamos en este libro,
No slo omitimos cuantificadores universales, pero tambin a veces expresamos
Las variables no clasificados por palabras como cualquier cosa y todo y las variables ordenados
por los nombres comunes, como un animal, una estacin o un pjaro. La virtud de este
uso informal es que es neutral con respecto a si se formaliza en
alguna versin de la lgica ordenada y formalizada en la lgica sin clasificar con explcita
predicados de tipo. As, por ejemplo, en lugar de escribir:
definiciones recursivas
Los condicionales se utilizan a menudo para definir los predicados. Por ejemplo, aqu hay una
definicin del predicado de nmeros naturales:
Pgina 258
257
-nmero natural (0).
-nmero natural (s (X)) natural nmero (X).
La definicin se dice que es recursivo, porque el predicado-nmero natural
definido en la conclusin de la segunda frase se repite en las condiciones (y
viceversa). La capacidad de expresar las definiciones recursivas da condicionales del
todo el poder de un lenguaje de programacin de propsito general.
He aqu una definicin recursiva de la adicin:
+ (0, Y, Y).
+ (s (X), Y, s (Z)) + (X, Y, Z).
clusulas Meta
En Lgica Computacional, utilizamos condicionales (incluidos los hechos y otras
proposiciones atmicas) para representar las creencias, todas cuyas variables son universalmente
cuantificado. Adems, utilizamos las conjunciones para representar objetivos cuya
las variables son todas existencialmente cuantificados.
En general, una clusula de meta es una conjuncin existencialmente cuantificada de
tomos y las negaciones de tomos:
Condicionales, utilizados para representar las creencias, y las clusulas de meta, utilizados para
representar
las metas de logro, tienen una sintaxis muy simple. Sin embargo, son condicionales
lgicamente equivalente a oraciones ms complejas en la sintaxis de los clsicos
lgica. Estos son algunos ejemplos de tales equivalencias:
X Y (increble (X) can-fly (Y)).
es equivalente a:
X (increble (X) Y can-fly (Y)).
increble (X) se marcha (X).
increble (X) estrella de cine (X).
son equivalentes a: increble (X) (se marcha (X) estrella de cine (X)).
C1 ... Cn
es decir, C1o ... o Cn
Pgina 260
259
Ms adelante veremos que, adems de permitir el uso de cuantificadores existenciales y
disyunciones, es til para ampliar la sintaxis de la lgica condicional a representan nicamente
metas y creencias ms complejas. En particular, es til incluir cuantificadores existenciales y
separaciones en las conclusiones de mantenimiento objetivos. Por ejemplo:
Cuantificadores existenciales en las conclusiones de los objetivos condicionales son tan comunes,
que es conveniente omitir ellos, con la convencin de que las variables de la conclusin de un
objetivo condicional que no estn en las condiciones de la meta son existencialmente
cuantificadas, con el alcance de la conclusin de la meta. Por ejemplo:
Negacin
Pgina 261
260
En la lgica clsica, frases positivas y negativas tienen el mismo estatus. Ser
o no ser - no hay ninguna razn para preferir una a la otra. Pero en
Lgica Computacional, frases positivas son ms bsicos que negativo
frases y oraciones negativas normalmente slo tiene que rellenar los huecos entre
frases positivas. Este estado ms bsico de frases positivas se refleja en
la sintaxis de los condicionales, que normalmente tienen slo conclusiones positivas,
pero pueden tener condiciones negativas C (tambin escrito no C ), por ejemplo:
incluso (0).
incluso (s (s (X))) par (X).
impar (X) ni siquiera (X).
Debido a que no puede demostrarse que incluso (s (0) , se deduce de estas clusulas y
negacin como fracaso que impar (s (0)).
Adems de las condiciones negativas interpretadas por negacin como fracaso,
frases negativas pueden tener la forma de restricciones , que son condicionales
objetivos con la conclusin falsa . Por ejemplo, en el contexto de un agente
seguimiento de sus acciones candidatos, la restriccin:
X = X.
Esta representacin, de funciones como las relaciones y de la igualdad como identidad,
funciona bien slo si los individuos tienen nombres nicos. As, por ejemplo, no es
lo suficientemente bueno para decir bob detiene el tren si misma persona tambin se le
llama robert
y si ms de una persona tambin se le llama bob . Tenemos que dar bob un nico
nombre, 007 por ejemplo, y decir algo como:
Consideraciones similares se aplican al nombre del tren, por supuesto, y tal vez para
el nombre del evento, como hemos visto anteriormente en esta seccin.
La definicin de la igualdad como identidad, significa que dos individuos son
idnticos si y slo si tienen el mismo nombre nico. Estos contrastes con
la nocin ms convencional de la igualdad, en la que el mismo individuo puede
tener varios nombres. Por ejemplo:
la estrella de la maana = la estrella de la tarde
Doctor Jekyll = mster Hyde
Pgina 263
262
Para razonar con igualdades de este tipo, es normal usar axiomas adicionales,
tales como las clusulas positivas:
X=X
f (X1 , ..., Xn ) = F (Y1 , ..., Yn ) X1 = Y1 ... Xn= Yn
p (X1, ..., Xn) p (Y1, ..., Yn) X1 = Y1 ... Xn= Yn
Lgica Clsica
La sintaxis de la lgica clsica es una extensin de la sintaxis de la condicional
forma de la lgica utilizada en este libro. Trminos y frmulas atmicas en lgica clsica
son los mismos que en la lgica de los condicionales. Sin embargo, las penas no atmicas
puede ser construido usando combinaciones arbitrarias de la conectivas lgico ,
, y , y los cuantificadores y .
La lgica clsica es menos bien estructurado de la forma condicional de la lgica.
Por ejemplo, en forma condicional, no es la nica manera de expresar que todas las aves
puede volar y John es un pjaro , a saber:
Pero en la lgica clsica, las mismas creencias pueden expresarse en muchos lgicamente
formas equivalentes, incluyendo:
reemplazar X A por XA
reemplazar A B (A B)
sustituir A B por A B
C1 ... Cn D1 ... Dm
X1 Xm(C1 Cn )
C1 ... Cn
C1 Cn D1 Dm E
Pgina 266
265
o E C1 Cn D1 D m
de creencias. Como se mencion anteriormente, las conclusiones de los objetivos (pero no de las
creencias)
puede contener dos disyunciones y variables existencialmente cuantificadas.
Algo confusamente, como es comn en la literatura, yo uso el trmino
clusula que se refiere tanto a las clusulas escritas como condicionales, a las clusulas escritas
disyunciones oa clusulas de programacin lgica. Tal vez an ms
confusamente, utilizo el trmino condicional tanto de las clusulas escritas
condicionales con conclusiones disyuntivas y las clusulas de programacin lgica.
Tambin llamo la combinacin resultante de los dos tipos de condicionales los
forma condicional de la lgica , as como la forma de la lgica computacional utilizado en
este libro . Ojal que en la mayora de los casos, el contexto hace que el significado que se quiere
obvia.
Conclusiones y referencias
Este viaje relmpago de la sintaxis de la forma condicional de la lgica y de su
relacin tanto con las formas estndar y oracional de la lgica clsica tiene
cubierto mucho terreno, pero slo tocar la superficie.
La forma condicional de la lgica es tan poderoso como, pero ms simple que el
forma no estructurada de las sentencias de la lgica clsica. Las reglas de inferencia de la
forma condicional tambin estn tanto, ms sencillo. Las reglas de inferencia de
lgica clsica son ms complejos, ya que en efecto, adems de las normas
necesario razonar con condicionales, tambin incluyen reglas para traducir
sentencias de la lgica clsica en el equivalente de forma condicional.
Esta distincin entre los dos tipos de reglas de inferencia de la lgica clsica
corresponde a la distincin entre dos tipos de razonamiento natural,
idioma. Las reglas de inferencia necesarios para traducir la lgica clsica en
condicionales se corresponde con el razonamiento necesario para traducir naturales
lengua a la LOT, y las reglas de inferencia necesarias para razonar con
condicionales se corresponde con el razonamiento necesario en la LOT.
Me han apoyado en esta vista de la relacin entre lo clsico
la lgica y la lgica condicional y entre lenguaje natural y la suerte por el
pautas para un buen estilo de escritura que figuran en libros tales como William (1990,
1995). Estas directrices, abogando por la claridad, la sencillez y la coherencia, pueden ser
visto como fomentar un estilo de escritura que minimiza la diferencia entre
la sintaxis de la comunicacin en lenguaje natural y la representacin de su
significados en el aparcamiento.
La forma condicional de la lgica evolucin de la forma oracional de la lgica, y la
forma oracional de la lgica se desarroll de la lgica clsica estndar. Uno de los
primeros usos de forma oracional fue por Martin Davis y Hillary Putnam (1960)
en uno de los primeros procedimientos de prueba mecnicos para la lgica clsica. Tambin era
utilizado para la regla de resolucin elaborado por Alan Robinson (1965a).
Pgina 267
266
incluso (0).
incluso (s (s (X))) par (X).
ni siquiera (s (s (s (0))))
X (incluso (s (s (X))) par (X))
son a la vez cierto en el modelo mnimo M de E , pero no son lgico consecuencias de correo . La
primera frase es verdadera en M , ya que la atmica condena incluso (s (s (s (0)))) no
es verdadera en M . Sin embargo, no es una lgica consecuencia de E , debido a que no es cierto ,
por ejemplo, en el modelo de mximo de E .
La segunda frase X (incluso (s (s (X))) par (X)) es verdadero en M , por para todos los
trminos de tierra t que puede ser construido a partir de la constante de 0 y el funcin de
smbolo s :
si incluso (s (s (t))) es verdadera en M , entonces debe haber sido derivado por delante
razonamiento mediante la instancia de planta , incluso (s (s (t))) par (t) del condicional
en E.Pero entonces la condicin de par (t) de esta instancia de tierra tambin debe
ser cierto en M.
Verdad en la aritmtica
El caso para la visualizacin de los modelos mnimos como modelos destinados con el apoyo de
la hecho de que el modelo estndar de la aritmtica es el modelo mnimo de un determinado
programa clusula. Aqu es una representacin clusula definida de adicin y multiplicacin en
trminos de relaciones, junto con una ms convencional representacin en trminos de funciones
de la derecha:
Razonamiento Forward
Forward razonamiento puede aplicarse si las variables se pueden crear instancias de tal
de manera que el hecho y una de las condiciones de la condicional se convierten
idntica. Si esta instancia es posible, entonces el razonamiento hacia adelante
instancia el condicional:
gustos (bob, X)
gustos (X, Y) da (X, Y, Z) generosa-a (X, Z)
proposicin atmica
Condiciones conclusin
Las variables en La clusula meta hijo existencialmente cuantificados. Pero si Una Instancia de
clusula meta es Cierto, 'entonces' la clusula de meta En Si es Cierto, PORQUE UN
existencialmente Sentencia cuantificada es Cierto Si Una Instancia es Cierto.
Habiendo Instancia la clusula de meta y el condicional, HACIA Atrs
Razonamiento Contina MEDIANTE la sustitucin del tomo de Objetivo porcin las
Condiciones de los condicionales, como sub-objetivos:
Aqu las variables X e Y son existencialmente cuantificados. (Para encontrar a alguien que
es generoso a Mara, basta con encontrar a alguien que le da algo que l / ella
le gusta a Mara. l / ella no tiene que dar todo lo que l / ella le gusta a Mara).
Si los sub-objetivos y el condicional es verdadero, entonces la meta original tambin es cierto
en la misma interpretacin.
En general, a partir de un objetivo seleccionado atmica en una clusula inicial objetivo
y un condicional:
seleccionado -objetivos otra-objetivos
Condiciones conclusin
intentos de razonamiento hacia atrs para unificar el objetivo seleccionado con la conclusin
del condicional. Si la unificacin es posible, entonces el unificador se aplica a
dos frases:
Paso 1, la creacin de instancias: seleccionado -objetivos ' otra-objetivos "
condiciones ' seleccionado -objetivos '
La solidez del razonamiento hacia atrs con versiones anteriores se puede convertir en ordinarias
solidez si el objetivo clusulas G se convirti en negaciones G falso, y si la solucin
una clusula de objetivo se entiende como una derivacin verdadera falso, lo que equivale a
falsa.23
Esta forma de ver el razonamiento hacia atrs hace que sea ms fcil de ver que
hacia atrs y hacia adelante razonamiento son casos especiales de la regla de resolucin,
presentado en el Captulo A5. Tambin hace que sea ms fcil de obtener por completitud
medios de impugnacin integridad:
Sea C cualquier sentencia de la lgica clsica,
y S cualquier conjunto de enunciados de la lgica clsica.
Entonces C es una consecuencia lgica de S
si (y slo si) las frases S y C falsa tiene ningn modelo;
si (y slo si) S y C falsa implican lgicamente falsa.
-------------------------------------------------------------------------------------
23
Tenga en cuenta que la negacin de una clusula de meta ( X1 ... Xm (C1 ... C n)) es equivalente a una
restriccin condicional X1 ... Xm (C 1 .. Cn false).
Pgina 284
283
Por lo tanto, un conjunto de reglas de inferencia es una refutacin completa
si (y slo si) cuando C es una consecuencia lgica de S,
entonces existe una derivacin (llamada una refutacin)
por medio de las reglas de inferencia, de falsa de S y C falsa.
Tanto hacia adelante y razonar hacia atrs son una refutacin completa de Hornos
clusulas. Si G es una clusula determinada meta sin negacin y S es un claro
programa clusula, a continuacin, los siguientes son equivalentes:
Conclusiones
En este captulo, vimos que el razonamiento hacia adelante y hacia atrs son tanto el sonido
y completa refutacin para clusulas de Horn. En el Captulo A4, vamos a ver cmo
extender el razonamiento con clusulas de Horn a travs de la negacin como fracaso. En
Captulo A5, vamos a ver cmo se extiende hacia adelante y hacia atrs razonamiento para
la regla de resolucin, que es slida y completa refutacin para el oracional
forma de la lgica clsica completo.
Pgina 285
284
Captulo A4. Modelos mnimos y la negacin
Para una primera aproximacin, la negacin como regla fracaso de inferencia es recta-
Adelante. Su nombre lo dice todo:
bob ir No (X irn).
se cuantifica universalmente con alcance a toda la condicional:
X (bob ir No (X ir))
es Decir, bob ir X no (X pasar)
es Decir, bob ir No X (X ir)
es Decir, bob pasar si no todo el mundo va a ir.
bob ir No X (X ir)
Naf: X ir
Subobjetivo: no X ' irn (donde X = bob)
De hecho, la negacin como regla de inferencia fracaso puede entenderse simplemente como
razonamiento hacia atrs con la definicin de la verdad, para demostrar que no es cierto en p
M, al mostrar que p no es cierto en M.
Recuerde que el simple definida clusula programa E:
inclus (0).
inclus (s (s (X))) par (X).
con su infinita Herbrand modelo M que consiste en las oraciones atmicas:
inclus (0), inclus (s (s (0))), inclus (s (s (s (s (0))))), ..... Indefinidamente.
inclus (0).
inclus (s (s (X))) par (X).
impar (X) ni Siquiera (X).
Haciendo caso omiso, en primer lugar, la definicin de extrao, deje el conjunto de todas en la
planta negaciones que son verdaderas en el modelo mnimo del Cuerno clusula programa E,
es decir, dejar que el conjunto:
El nico tomo de suelo que puede ser construido a partir del vocabulario de B es el
tomo bob ira. Sin embargo, el idioma en que se expresa la sentencia
podra contener otras constantes para otros individuos y objetos no mencionados
en la frase. Podemos ignorar esta pequea complicacin, porque no tiene
impacto en el siguiente argumento.
El problema es determinar si existe un modelo estable y si
bob ir es verdadero o falso en este modelo. Supongamos que hay un modelo tan estable
M, Que es el modelo mnimo de alguna extensin B de B. Ahora considere
si la sentencia negativa no ir bob est en :
A BC
Resolucin fue definido originalmente por Robinson (1965a) las clusulas que
disyunciones se representan como conjuntos de literales, en un literal es un tomo o
la negacin de un tomo. Por ejemplo, el condicional D B E C, donde
A A es equivalente a A
A B es equivalente a B A
A (B C) es equivalente a (A B) C.
Unificacin y factorizacin
A2 B C
Pgina 293
292
tal que A1 y A2 son unifiable, el resolutivo es:
D ' B' E ' C'
Estas dos clusulas tienen cuatro resolventes (dos de los cuales son duplicados):
D E A1 A2
o A1 A2 B C
D ' E' A
o A B ' C'
Una vez ms podemos activar estos vnculos. Razonamiento hacia adelante con la disyuncin este
tiempo, eligiendo el vnculo con el unificador X = bob, la clusula resolutiva reemplaza
tanto sus padres de nuevo:
Activar el vnculo entre las dos instancias del tomo de trabajo (bob),
se obtiene:
Pgina 296
295
Los dos enlaces restantes se pueden activar en cualquier orden, e incluso en paralelo.
De cualquier manera, la clusula falso se deriva en dos pasos, y el resto de la
Grfico de la conexin est vaca. La persona feliz que estamos buscando es U = bob
o U = john.
Una clusula recursiva, como + (s (X), Y, s (Z)) + (X, Y, Z), se puede resolver con una
copia de s mismo, dando en este caso el resolvente + (s (s (X)), y, s (s (Z))) + (X,
Y, Z). Auto-resolver clusulas dan lugar a enlaces internos dentro de la misma clusula,
de pie para los enlaces entre dos copias diferentes de la clusula. In cuentos Casos,
se aplican reglas similares sobre la eliminacin y la herencia de los enlaces. Aqu Hay Un
Grfico de la conexin para el clculo de la suma de 2 + 2:
En teora, cualquier enlace, incluyendo el enlace interno podra ser seleccionado para
activation. Sin embargo, la estrategia de ejecucin del programa estndar se activa enlaces
hacia atrs de la portera. La aplicacin de esta estrategia da lugar a sistemticamente
la siguiente secuencia de grficos de conexin, las variables de cambio de nombre en el
clusula recursiva, para evitar confusiones:
Pgina 297
296
Esta visin imaginativa de los grficos de conexin, como una especie de conexionista
modelo de la mente, con el apoyo de su similitud con Maes '(1990)
la difusin de redes de activacin. Al igual que en las redes de activacin, diferentes niveles de
la fuerza puede estar asociada con diferentes objetivos iniciales, lo que refleja su relativa
importancia. Los diferentes niveles de fuerza tambin pueden estar asociados con diferentes
observaciones, lo que refleja tal vez algn juicio instintivo de su importancia. Como en las redes
de activacin, estos niveles de activacin pueden ser
transmitido de clusula clusula como eslabones de la grfica de conexin.
Tales niveles de activacin son similares a las medidas de utilidad en la teora de la decisin;
y, como medidas de utilidad, pueden ser ponderados por medidas de incertidumbre.
En el caso de grficos de conexin, estos pesos podran reflejar la frecuencia con la que la
activacin de un enlace ha contribuido a los resultados exitosos en el Pasado. El nivel resultante
de la activacin ponderado por la probabilidad de conducir a un resultado til se puede utilizar
para seleccionar un enlace espera que tenga el mejor resultado en la situacin actual sobre la base
de la experiencia pasada.
Pgina 298
297
Grficos de conexin como el lenguaje de un agente de pensamiento
La implementacin grfica de conexin de la resolucin muestra cun diferente es la
la sintaxis de las oraciones en el lote puede ser de la sintaxis lineal de la lgica tradicional
y de las lenguas naturales como el Ingls.
Una de la caracterstica ms importante de los grficos de conexin, heredado
de la resolucin, es que el orden de las frases y de las condiciones dentro de
oraciones, no importa. As, por ejemplo, las dos frases en ingls:
subsuncin
El procedimiento de prueba Grfico de la conexin es slo uno entre un gran nmero de
refinamientos de resolucin que se han desarrollado para mejorar la eficiencia
de razonamiento automatizado. Otra mejora de este tipo, que es compatible
Pgina 299
298
con grficos de conexin, es la supresin de las clusulas subsumidas. esto mejora
la eficiencia, ya que si existe una refutacin utilizando una clusula subsumido, a continuacin,
existe una refutacin an ms corto utilizando la clusula de subsuncin. heno
no hay necesidad de mantener las dos clusulas, ya que la clusula de subsuncin es tanto ms
informativo y ms eficiente que la clusula subsumido. Siempre que se hace
cuidadosamente, la supresin de las clusulas subsumidas no afecta a la solidez o
Integridad.
Supongamos, por ejemplo, que yo creo:
Mara va a la fiesta
Mara va a la fiesta X va a la fiesta
Voy a la fiesta me quedare en Casa
De las dos primeras clusulas, puedo deducir que todo el mundo (o todo) va
a la fiesta:
X va a la fiesta
Paraconsistencia
Conclusiones
La regla de resolucin en un elegante y poderosa regla de inferencia, que
incluye razonamiento hacia adelante y hacia atrs como casos especiales. Cuando lleg la primera
inventado (o descubierto?) por su autor, Alan Robinson (1965a), fue
presentado como un principio inferencia mquina orientada, conveniente para el ordenador
aplicacin, pero no para el uso humano. En mi libro de 1979, sostuve, en el
contrario, que los casos especiales de resolucin tienen una interpretacin natural en
trminos orientados a los usuarios.
Estos dos puntos de vista opuestos de resolucin son de hecho complementarias y
se apoyan en teoras doble proceso de razonamiento humano. Por Otra Parte, la
conexin de la aplicacin de la resolucin grfica es compatible con la vista
Pgina 301
300
que la mente humana es como una mquina. Su software es la forma oracional de
lgica, y su hardware es el principio de resolucin. Razonamiento en relacin
grficos es el sonido, porque la resolucin es el sonido. Sin embargo, a pesar de que muchos
los intentos de demostrar integridad (Siekmann y Wrightson, 2002), no es
sabe si es o no es completa.
A B C.
donde A es un tomo de abierto (es decir, un tomo con un predicado abierto en O), y B
y C son conjunciones de tomos25El problema consiste en resolver un terreno Cuerno objetivo
las reglas evento-condicin-accin de bases de datos activas (Widom y Ceri, 1996).
El tomo A es como un evento que no est definido por la base de datos.
El problema es resolver un cuerno objetivo G0 clusula de suelo, que es una conjuncin de tomos
de variable libres.
---------------------------------------------------------------------
25
Tenga en cuenta que el tomo de A puede ocurrir en cualquier lugar en las condiciones de la restriccin. Nota tambin
que si no hay B, a continuacin, esto es equivalente a B es verdadero. Si no hay C, luego esto es equivalente a C es
falsa.
Pgina 305
304
F2: Delantero razonamiento tambin se puede utilizar con un tomo de A y abierta seleccionada
un condicional en Gi . Supongamos que Gi tiene la forma (A B C) A G.
Entonces Gi+1 es (B C) A g.
B2:Razonamiento hacia atrs con un tomo de C seleccionado en una condicional en Gi que tiene
la forma (C B H) G. Supongamos que C D1 ........C Dm todas las clusulas en P que
tiene conclusin C.
Entonces Gi+1 es (D1 B H) .... (Dm B H) G.
S: Simplificacin lgica:
Reemplace verdadera C de C.
Reemplace verdadera C de C.
Reemplace falsa C por falsa.
G0 A
G1 (C false) A por F1
G2 (C false) A por B2
Indefinidamente.... por B2
Una derivacin abductiva G0, G1, ... GN es una derivacin con xito de un conjunto
de tomos abiertas si y slo si:
GN No es falso,
GN tiene la forma (B1 C1 ) ... (Bm Cm) A1 ... A n , M 0, n 0,
donde cada Ai es un tomo de abierto,
no hay otras aplicaciones de las reglas de inferencia se pueden realizar en la Ai,
= {A1, ..., A n} y
Pgina 307
306
las condiciones Bi de los residuos que no son ciertas
en el modelo mnimo de P .
Aplicacin del requisito de que las condiciones de los residuos no son verdaderas
en P se puede hacer al tratar de demostrar que las condiciones se cumplen y
En Su Defecto. Sin embargo, como muestra el ejemplo anterior, esto requiere el reconocimiento
insuficiencia infinita. Esto es imposible en general, pero puede ser resuelto con eficacia en
muchos casos (como el caso del suelo) por el uso de las mesas (Sagonas, Swift
y Warren, 1994).
Con la nueva definicin, las reglas de inferencia se completan en el siguiente
sentido:
Es importante tener en cuenta que hay como muchos de estos rboles de bsqueda, ya que hay
formas de aplicar una regla de simplificacin o factoring en el paso S / hecho y de
seleccionando un tomo en el paso Seleccionar. Es necesario explorar slo uno de tales
rbol de bsqueda en el intento de generar una derivacin xito. ESTO HACE Que sea
vale la pena poner un poco de esfuerzo en decidir que los tomos para seleccionar, hacer
el espacio de bsqueda que resulta tan fcil y eficiente para buscar posible. Cualquier
estrategia de bsqueda, incluyendo primero en profundidad, primero en anchura, primero el
mejor, serial o Paralelamente, se puede utilizar para explorar el espacio de bsqueda seleccionado.
En concreto, la rbol de bsqueda podra estar integrada en una grfica de conexin, y el primero
el major estrategia de bsqueda esbozado en el Captulo 4 podra ser usado para guiar la
bsqueda.
Las restricciones de integridad con conclusiones disyuntivas
Varios de los ejemplos en el libro implican restricciones de integridad con
conclusiones disyuntivas:
C D1 ... Dm
Para hacer frente a estas restricciones de integridad, basta con aadir el adicional
regla de inferencia:
Ignorar las restricciones totalidad por ahora, y considerar el objetivo inicial G0 = Bob ira. El
procedimiento de prueba genera slo una terminacin con xito derivacin con solucin
1 = { John mantiene alejado } de la siguiente manera:
G0 bob ir
G1 john se aleja
G2 (John ir false) john se aleja
G3 (Bob se aleja false) john se aleja
G0 john es volador
G1 (John puede volar false) john es volador
G2 (John es un ave john es normal false) john es volador
G3 (John es normal false) john es volador
Parece que tenemos la restriccin de la totalidad (o algo parecido), despus de todo 27.
Con la restriccin totalidad:
verdadera john es normal john es anormal
la solucin no deseada desaparezca, porque ni john es normal ni john es
anormal es cierto en el modelo mnimo de P ' , donde = {john es
volador}.
Esto es lo que el procedimiento de la prueba (con una estrategia de seleccin en particular)
hace con el mismo problema aumentada con la restriccin totalidad por encima
(Haciendo caso omiso de la otra restriccin totalidad, para evitar el desorden). Los tres primeros
pasos de
la derivacin son la misma. Sin embargo, el objetivo inicial puede ser considerado como
que contiene la conclusin disyuntiva de la restriccin totalidad, debido a que el
condiciones de la restriccin verdad es cierto:
G0 (John es normal john es anormal) john es volador
G1 (John es normal john es anormal)
(John puede volar false) john es volador
G2 (John es normal john es anormal)
(John es un ave john es normal false) john es volador
G3 (John es normal john es anormal)
------------------------------------------------------------------------------------------------------------------------
27
Este es tambin un ejemplo contrario a la sustitucin de la totalidad del requisito estable
modelo semntica por el requisito de que P o P ' sea mximamente consistente.
Pgina 312
311
(John es normal false) john es volador
G4 john es normal (john es normal false) john es volador
G5 john john es normal es volar falsa
G6 falso
G4' john es anormal (john es normal false) john es volador
Los tres primeros pasos son los mismos que eran antes sin la totalidad
restriccin:
G0 john es volador
G1 (John puede volar false) john es volador
G2 (John es un ave john es normal false) john es volador
G3 (John es normal false) john es volador
La derivacin termina sin xito, por la misma razn que G 4" Fall
cuando usamos la restriccin totalidad antes, porque el subobjetivo john es
anormal no es un tomo de abierto, y no hay ms reglas de inferencia puede ser aplicado.
Por lo tanto negacin reescritura elimina la misma solucin no deseada
eliminado por la restriccin totalidad antes, pero ahora por medio de un local de
regla de inferencia, que se aplica slo cuando es pertinente.
Antes de discutir la semntica del procedimiento de la prueba con la negacin
reescritura, reconsiderar la meta G0 = Bob ir utilizando la lgica abductiva
programa:
Al igual que en el caso de suelo cuerno de la montaa, para obtener integridad, la definicin de
necesita derivacin xito que se extienda a la no-terminacin posiblemente
Caso. Una discusin de estos y otros temas se puede encontrar en (estircol,
Kowalski y Toni, 2006) en el contexto de los procedimientos de prueba de resumen
Argumentacin.
Se necesitan otras cuatro extensiones para hacer frente a los temas de este libro:
Debemos ampliar el razonamiento hacia adelante, para razonar hacia adelante utilizando
creencias, y no slo el uso de restricciones de integridad. Esto implica relajacin
la restriccin de que cada restriccin de integridad contiene un tomo con una
abrir predicado.
Necesitamos integrar la abduccin y la prueba grfica de conexin
PROCEDIMIENTOS.
-------------------------------------------------------------------------------------------------------
28
Con una pequea modificacin de esta restriccin, restricciones de integridad pueden contener
Las variables cuantificadas existencialmente en sus conclusiones, y estos cuantificadores
existenciales puede ser dejado implcita.
Pgina 318
317
La cuarta prrroga no es muy difcil, en teora, porque hacia adelante y
razonar hacia atrs son casos especiales de resolucin, y el grfico de conexin
procedimiento de prueba es slo un vehculo para la aplicacin de la resolucin ms
de Manera Eficiente. Sin embargo, como se observ al final del captulo A5, la conexin
procedimiento de prueba grfico fue desarrollado como un procedimiento de refutacin para
mostrar consecuencia lgica. Para adaptarlo a la generacin de modelos mnimas en la fosfatasa
alcalina, conclusiones de las metas condicionales deben estar vinculados a las conclusiones del
creencias condicionales.
Conclusiones
En este captulo se ha presentado el apoyo tcnico que la motivacin principal
tcnicas estudiadas en este libro. Sin embargo, sigue habiendo una serie de
extensiones necesarias para un marco global. Muchas de estas extensiones
son sencillos, ya que todos ellos se han desarrollado como persona
componentes o en combinacin con otros componentes en otros marcos.
Su integracin armoniosa en un marco nico que abarca un
tema para futuras investigaciones.
Este captulo tambin introduce una semntica argumentacin y prueba
procedimiento de programacin lgica abductiva. La semntica y la prueba
procedimiento de construir sobre los avances recientes en la argumentacin lgica basada en AI.
Uno de los logros ms importantes de esta argumentacin basada en
enfoque es la demostracin de que casi la totalidad de la lgica original basado
formalismos desarrollados para el razonamiento por defecto en la IA se pueden entender
uniformemente en trminos de argumentacin (Bondarenko et al., 1997). Este Enfoque
ha sido especialmente influyente en el campo de la IA y la Ley (Prakken y
Sartor, 1996). Una encuesta reciente se puede encontrar en (Rahwan y Simari, 2009).
Pgina 319
318
Referencias
Allen, LE, and Saxon, CS (1984). "Computer Aided Normalizing and
Unpacking: Some Interesting Machine-Processable Transformation of
Legal Rules", Computing Power and Legal Reasoning (C. Walter, ed.)
West Publishing Company, 495-572.
Almor, A. and Sloman, S. (2000). Reasoning versus text processing in the
Wason selection task: A non-deontic perspective on perspective effects.
Memory & Cognition, 28 (6), 1060-1070.
Anderson, JR and Lebiere, C. (1998). The Atomic Components of Thought .
Mahwah, NJ: Erlbaum.
Anderson, AR and Belnap, N. (1975). Entailment: the logic of relevance
and necessity, vol. I. Princeton University Press.
d'Avila Garcez, AS, Broda, K. and Gabbay, DM (2001). Simblico
knowledge extraction from trained neural networks: a sound approach.
Artificial Intelligence Volume 125 , Issue 1-2 155 - 20 .
Bader, S., Hitzler, P. and Hlldobler, S. (2006). The Integration of
Connectionism and First-Order Knowledge Representation and
Reasoning as a Challenge for Artificial Intelligence. Information 9 (1).
Baron, J. (2008). Thinking and Deciding. (fourth edition). Cambridge
University Press.
van Benthem, J. (1989). Semantic parallels in natural language and
clculo. In H.-D. Ebbinghaus, editor, Logic Colloquium 1981,
pages 331-375, Elsevier Science Publishers.
Bertossi, L. and Chomicki, J. (2003). Query Answering in Inconsistent
Databases. Logics for Emerging Applications of Databases. J. Chomicki,
G. Saake and R. van der Meyden (eds.), Springer, 43-83.
Bondarenko, A., Dung, PM, Kowalski, R., and Toni, F. (1997). Un
Abstract Argumentation- theoretic Approach to Default Reasoning.
Journal of Artificial Intelligence 93 (1-2) , 63-101.
Brooks, RA (1991). Intelligence Without Reason. MIT AI Lab Memo l293,
April l99l. Reprinted in Proceedings of l2th International Joint
Conference on Artificial Intelligence, Sydney, Australia, l-21.
Brown, G. and Yule, G. (1983). Discourse Analysis Cambridge University
Pulse.
Bundy, A., Byrd, L., Luger, G. Mellish, C. Palmer, M. (1979). Resolver
mechanics problems using meta-level inference. Proceedings of the 6th
international joint conference on Artificial intelligence.
Byrne, RMJ (1989). Suppressing valid inferences with conditionals.
Cognition 31 , 6183.
Carruthers, P. (2004). Practical Reasoning in a Modular Mind . Mind &
Language , 19(3), 259-278.
Pgina 320
319
Checkland, P. (2000). Soft Systems Methodology: A Thirty Year
Retrospective. Systems Research and Behavioral Science Syst. Res. 17 ,
S11S58.
Cheng, PW and Holyoak, KJ (1985). Pragmatic reasoning schemas.
Cognitive Psychology , 17 , 391-416.
Cheng, PD and Juang JY (1987). A parallel resolution procedure based
on connection graph. Sixth National Conference on Artificial
Inteligencia.
Chisholm, R. (1963). Contrary-to-Duty Imperatives and Deontic Logic.
Analysis , 24: 3336
Clark, KL (1978) Negation by failure. In Gallaire, H. and Minker, J. [eds],
Logic and Databases , Plenum Press, 293-322.
Clark, KL and Trnlund, S.-A. (1978). A first-order theory of data and
programas. In Proceedings of the 1FIP Congress 77, 939-944.
Colmerauer, A. and Roussel, P. (1992). The birth of Prolog. The second ACM
SIGPLAN conference on History of programming languages , p. 37 -
52.
Costantini, S. (2002) Meta-reasoning: A Survey. In Kakas, AC, Sadri, F.
(Eds.): Computational Logic: Logic Programming and Beyond .
Springer Verlag. Vol.. 2. 253-288.
Cosmides, L. (1985). Deduction or Darwinian algorithms : an explanation of
the "elusive" content effect on the Wason selection task. Ph.D. tesis.
La Universidad de Harvard.
Cosmides, L. (1989). The logic of social exchange: has natural selection
shaped how humans
reason? Studies with the Wason selection task.
Cognition 31 , 187 -276.
Dvila, J. and Uzctegui, M. (2005) Agents that learn to behave in Multi-
Agent Simulations. Proceedings of /Fifth IASTED International
Conference on Modelling, Simulation and Optimization (MSO'2005) . 51 -
55. See also http://galatea.sourceforge.net
Davis, M. (1980). The Mathematics of Non-Monotonic Reasoning. Journal
of Artificial Intelligence, 13 73-80.
Davis, M. and Putnam, H. (1960). A Computing Procedure for Quantification
Theory. Journal of the ACM 7 (3): 201215.
Dennis, LA Farwer, B. Bordini, RH Fisher, M. Wooldridge, MA (2008).
Common Semantic Basis for BDI Languages LICS 4908, Springer-
Verlag, 124-139.
De Raedt, L., Frasconi, P., Kersting, K. and Muggleton, S. (Eds.) (2008).
Probabilistic Inductive Logic Programming . Springer-Verlag.
Dung PM (1991). Negation as hypothesis: an abductive foundation for logic
programming. Proc. 8th International Conference on Logic
Programacin. MIT Press.
Pgina 321
320
Dung, PM, Kowalski, R., and Toni, F. (2006). Dialectic proof procedures
for assumption-based, admissible argumentation. Journal of Artificial
Intelligence 170(2), 2006 ,114-159.
van Emden, M. and Kowalski, R. (1976) The Semantics of Predicate Logic as
a Programming Language JACM , Vol. 23, No. 4, 733-742.
Eshghi, K. and Kowalski, R. (1989) Abduction Compared with Negation by
Fallo. In Sixth International Conference on Logic Programming,
(eds. G. Levi and M. Martelli) MIT Press, 234-254.
Feferman, S. (1962). Transfinite recursive progressions of axiomatic theories,
Journal of Symbolic Logic, vol. 27 (1962), 259-316.
Fodor, J. (1975). The Language of Thought , Harvard University Press.
Fung, TH and Kowalski, R. (1997) The IFF Proof Procedure for Abductive
Logic Programming. Journal of Logic Programming.
Gardner, H. (1983). "Frames of Mind: The Theory of Multiple Intelligences."
New York: Basic Books.
Gelfond, M. and Lifschitz, V. (1988). The stable model semantics for logic
programming . In: Proceedings of the Fifth International Conference on
Logic Programming (ICLP), 1070-1080.
Gillies, D. (1996). Artificial intelligence and scientific method. Oxford
University Press.
Gdel, K. (1931). ber formal unentscheidbare Stze der Principia
Mathematica und verwandter Systeme, I. Monatshefte fr Mathematik
und Physik 38 : 173-98.
Gdel, K. (1951). Some basic theorems on the foundations of mathematics
and their implications i n Solomon Feferman, ed., 1995. Collected works
/ Kurt Gdel, Vol. III. Oxford University Press: 304-23.
Green, C. (1969). Application of theorem proving to problem solving.
Proceedings of the 1st International Joint Conference on Artificial
Inteligencia. Morgan Kaufmann. 219-239.
Grice, HP (1989). Studies in the Way of Words . Cambridge MA: Harvard
University Press.
Hammond, J., Keeney, R. and Raiffa, H. (1999). Smart Choices - A practical
guide to making better decisions . Harvard Business School Press.
Hauser, M. Cushman, F. Young, L. Mikhail, J. (2007) A Dissociation
Between Moral Judgments and Justifications: Mind and Language. Vol..
22, No 1, 1-21.
Hewitt, C. (1971). Procedural Embedding of Knowledge In Planner.
Actas de la 2nd International Joint Conference on Artificial
Inteligencia. Morgan Kaufmann.
Hill, PM and Gallagher, J. (1998). Meta-programming in logic
programming. In Handbook of Logic in Artificial Intelligence and Logic
Programming , ed. D. Gabbay, CJ Hogger and JA Robinson. Vol.. 5.
Oxford University Press. 421-497.
Pgina 322
321
Hodges, W. (1993). The logical content of theories of deduction.
Behavioral and Brain Sciences , Volume 16, Issue 02, 353-354.
Hodges, W. (2006). Two doors to open. In D. Gabbay, S.Goncharov and M.
Zakharyaschev, editors,Volume 4, Mathematical Problems from
Applied Logic I: Logics for the XXIst Century . Springer, 277-316.
Hlldobler, S. and Kalinke, Y. (1994). Toward a new massively parallel
computational model for logic programming, In: Proc. Workshop on
Combining Symbolic and Connectionist Processing, ECAI-94.
msterdam. 68-77.
Johnson-Laird, P. (1983). Mental models . Cambridge University Press.
Johnson-Laird, PN and Byrne, RMJ (1991). Deduction . Psicologa
Pulse.
Kahneman, D. and Frederick, S. (2002). Representativeness revisited:
Attribute substitution in intuitive judgment. In T. Gilovich, D. Griffin
and D. Kahneman (Eds) Heuristics of Intuitive Judgment: Extensions and
Application. New York: Cambridge University Press.
Kakas, A., Kowalski, R. and Toni, F. (1998). The Role of Logic
Programming in Abduction, Handbook of Logic in Artificial Intelligence
and Programming 5, Oxford University Press, 235-324.
Kowalski, R. (1975). A Proof Procedure Using Connection Graphs, JACM ,
22(4), 572-595.
Kowalski, R. (1974, 1979) Logic for Problem Solving. DCL Memo 75,
Department of Artificial Intelligence, U. of Edinburgh (1974).
Expanded edition published by North Holland Elsevier (1979). Tambin
at http://www.doc.ic.ac.uk/rak/ .
Kowalski, R. (1995). Logic without Model Theory, In What is a logical
system? (ed. D. Gabbay), Oxford University Press.
Kowalski, R. and Kuehner, D. (1971). Linear Resolution with Selection
Function. Artificial Intelligence, Vol. 2, 227-60.
Kowalski, RA and Sadri, F. (1990). Logic programs with exceptions.
Proceedings of the Seventh International Conference on Logic
Programming, MIT Press, 598-613.
Kowalski, RA and Sadri, F. (2010) . An Agent Language with Destructive
Assignment and Model-theoretic Semantics . In CLIMA XI -
Computational Logic in Multi-Agent Systems (eds. J. Dix, G. Governatori, W. Jamroga and
J. Leite) Springer.
Kowalski, R. and Sergot, M. (1986). A Logic-based Calculus of Events. En New
Generation Computing, Vol. 4, No.1, 67-95. Also in The Language of Time: A Reader
(eds. Inderjeet Mani, J. Pustejovsky, and R. Gaizauskas) Oxford University Press. 2005.
Kowalski, R. (1992). Database Updates in the Event Calculus, in Journal
of Logic Programming , Vol. 12, No. 162, 121-146.
Kowalski, R. and Toni, F. (1996) Abstract argumentation. Journal of Artificial Intelligence
and Law , 4(3-4):275296.
Pgina 323
322
Kowalski, R., Toni, F. and Wetzel, G. (1998) Executing Suspended Logic
Programs. Fundamenta Informatica 34 (3) , 1-22.
Laird, Rosenbloom, Newell, John and Paul, Allen (1987). "Soar: An
Architecture for General Intelligence". Artificial Intelligence , 33: 1-64.
Lenat, D. and Guha, RV (1989 ). Building Large Knowledge-Based
Systems; Representation and Inference in the Cyc Project - Addison-
Wesley Longman Publishing Co., Inc. Boston. K An up-to-date
overview can be found at http://www.cyc.com/.
Loveland, DW (1968). Mechanical theorem-proving by model elimination.
Journal of the ACM, 15, 236-251.
Lucas, JR (1959). Minds, Machines and Gdel. Philosophy , XXXVI, 1961.
Reprinted in The Modeling of Mind , Kenneth M. Sayre and Frederick J.
Crosson, eds., Notre Dame Press, 1963, and in Minds and Machines , ed.
Alan Ross Anderson, Prentice-Hall, 1964.
Luger, G. (2009). Artificial Intelligence, Structures and Strategies for
Complex Problem Solving. Pearson Education limited.
Manthey, R. and Bry, F. (1988). SATCHMO: A Theorem Prover
Implemented in Prolog. Proceedings CADE 1988. Lecture Notes in
Computer Science 310, Springer, 415-434.
Maes, P. (1990). Situated agents can have goals. Robot. Autonomous Syst.
Vol.. 6, no. 1-2, 49-70.
McCarthy, J. (1980) Circumscription - A form of non-monotonic
reasoning. Artificial Intelligence , 13:27-39.
McCarthy, J. and Hayes, PJ (1969). `Some Philosophical Problems from
the Standpoint of Artificial Intelligence. In D. Michie (ed), Machine
Intelligence 4 , American Elsevier, New York, NY.
McDermott, D. and Doyle, (1980) Nonmonotonic logic I," Artificial
Intelligence , 13:41-72.
Mikhail, J. (2007). Universal Moral Grammar: Theory, Evidence, and the
Future, Trends in Cognitive Sciences, Vol. 11, No. 4, 143-152.
Moore, RC (1985). Semantical considerations on nonmonotonic logic.
Artificial Intelligence , 25, 75-94.
Mueller, E. (2006). Commonsense Reasoning. Elsevier.
Muggleton, SH and De Raedt, L. (1994). Inductive logic programming:
Theory and methods. Journal of Logic Programming , 19, 20: 629-679.
Newell, A. (1973). Production Systems: Models of Control Structure. In W.
Chase (ed): Visual Information Processing , New York: Academic Press,
463-526.
Nilsson, N. (1998). Artificial Intelligence: A New Synthesis. Morgan
Kaufmann Publishers, Inc.
Nute, D. (1997). Defeasible Deontic Logic. Kluwer Academic Pub.
Panton, C., Matuszek, D., Lenat, D., Schneider, M., Witbrock, N., Siegel, and
Shepard, B. (2006). Common Sense Reasoning From Cyc to Intelligent
Pgina 324
323
Adjunto. In Y. Cai and J. Abascal (Eds.): Ambient Intelligence in
Everyday Life, LNAI 3864, Springer-Verlag Berlin Heidelberg, 1 31.
Peirce, CS (1931). Collected Papers . C. Hartshorn & P. Weiss (eds.)
Cambridge, MA: Harvard University Press.
Penrose, R. (1989). The Emperor's New Mind: Concerning Computers,
Minds, and The Laws of Physics . Oxford University Press.
Pereira , LM and Saptawijaya, A. (2007). Moral Decision Making with ACORDA, i n: N.
Dershowitz, A.Voronkov (eds.), 14th Intl. Conf. en Logic for Programming Artificial Intelligence
and Reasoning (LPAR'07).
Pereira , LM and Saptawijaya, A. (2009). Modelling Morality with
Prospective Logic , in: International Journal of Reasoning-based
Intelligent Systems (IJRIS) , 1(3/4): 209-221. Also to appear in: M.
Anderson, S. Anderson (eds.), "Machine Ethics", Cambridge University
Pulse.
Perlis, D. and Subrahmanian, VS (1994). Metalanguages, reflection
principles and self-reference. In DM Gabbay, CJ Hogger and JA
Robinson, editors, Handbook of Logic in Artificial Intelligence and
Logic Programming , Vol 2, 328-358.
Pinker, S. (1997). How the Mind Works. New York: Norton.
Pollock, J. (1995). Cognitive Carpentry . Cambridge, Mass: MIT Press.
Poole, D. (1997). The Independent Choice Logic for Modeling Multiple
Agents Under Uncertainty. Artificial Intelligence , Vol. 94, 756.
Poole, D., Goebel, R. and Aleliunas R. (1987) Theorist: a logical reasoning
system for defaults and diagnosis. In N. Cercone and G. McCalla (Eds.)
The Knowledge Frontier: Essays in the
Representation of Knowledge ,
Springer Verlag, New York, 331-352.
Poole, D. and Mackworth, A. (2010) Artificial Intelligence: Foundations of
Computational Agents . Cambridge University Press.
Post, E. (1943). Formal Reductions of the General Combinatorial Decision
Problem. American Journal of Mathematics , Vol. 65, No. 2, 197-215.
Prakken, H. and Sartor, G. (1996) A dialectical model of assessing conflicting
arguments in legal reasoning. Journal of Artificial Intelligence and Law ,
4(3-4).
Prakken, H. and Sartor, G. (1996). Logical models of legal argumentation. Kluwer.
Priest, G. (2002). Paraconsistent Logic, Handbook of Philosophical Logic
(Second Edition), Vol. 6, D. Gabbay and F. Guenthner (eds.), Dordrecht:
Kluwer Academic Publishers, 287-393.
Przymusinski, T. (1988). On the declarative semantics of deductive databases and logic programs.
In Foundations of deductive databases and logic programming . Morgan Kaufmann Publishers
Inc. 193 216.
Quine, WVO (1963). Two dogmas of empiricism. In From a logical point of view . Harper &
Row, 20-46.
Pgina 325
324
Rahwan, I. and Simari, G. (Eds.) (2009) Argumentation in Artificial
Intelligence. Springer.
Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence , 13:81-
132.
Reiter, R. (1988). On Integrity Constraints. In: 2nd Conference on
Theoretical Aspects of Reasoning about Knowledge, 97111.
Robinson, JA (1965a) A Machine-Oriented Logic Based on the Resolution
Principle . Journal of the ACM, 12(1) 23 41.
Robinson , J. (1965b), Automatic deduction with hyper-resolution ,
International J. Computer Math. 1, 3. 227-234.
Russell, SJ and Norvig, P. (2010). Artificial Intelligence: A Modern
Approach. Third Edition. Upper Saddle River, NJ: Prentice Hall.
Sadri F. and Kowalski R. (1988). A Theorem-Proving Approach to Database
Integridad. In: Minker, J. [ed.], Foundations of Deductive Databases and
Logic Programming, Morgan Kaufmann, 313-362.
Sagonas, K., Swift, T., and Warren, DS (1994). XSB as an efficient
deductive database engine. SIGMOD Rec. 23, 2 442-453.
Sergot, MJ, Sadri, F., Kowalski, RA, Kriwaczek, F., Hammond, P. and
Cory, HT (1986). " The British Nationality Act as a logic program",
CACM , Vol. 29, No. 5, 370-386.
Shanahan, MP (1997). Solving the Frame Problem: A Mathematical
Investigation of the Common Sense Law of Inertia , MIT Press.
Shapiro, S. (1989). Incompleteness, Mechanism, and Optimism. El Boletn
of Symbolic Logic, Vol. 4, No. 3, 273-302.
Siekmann, J. and Wrightson, G. (2002). Strong Completeness of R.
Kowalski's Connection Graph Proof Procedure. In A. Kakas and F. Sadri
(eds.) Computational Logic: Logic Programming and Beyond. Springer
Lecture Notes on AI, vol 2408, 231-252.
Simon HA (1957). Administrative behaviour (2nd ed.). Macmillan: New
York.
Simon HA (1960). The New Science of Management Decision . Harper &
Row: New York. (1977 revised edn, Prentice-Hall: Englewood Cliffs,
NJ.)
Simon, HA (1999). Production Systems. In Wilson, R. and Keil, F. (eds.):
The MIT Encyclopedia of the Cognitive Sciences. The MIT Press. 676-677.
Sperber, D. and Wilson, D. (1986). Relevance. Blackwell Oxford.
Sperber, D., Cara, F., & Girotto, V. (1995). Relevance theory explains the
selection task. Cognition, 52 , 3-39.
Stenning, K. and van Lambalgen M., (2008). Human reasoning and cognitive
science. MIT Press.
Thagard, P. (2005) Mind: Introduction to Cognitive Science. Second edition.MIT Press.
van Lambalgen, M. and Hamm, F. (2005). The Proper Treatment of Events .
Blackwell Publishing.
Pgina 326
325
Vickers, G. (1965). The Art of Judgment . Chapman & Hall: London.
Wang, H. (1974). From Mathematics to Philosophy , Routledge & Kegan
Paul, London.
Wason, P. (1968) 'Reasoning about a rule', The Quarterly Journal of
Experimental Psychology , 20:3, 273 281.
Widom, J. and Ceri, S. (1996) Active Database Systems: Triggers and Rules
for Advanced Database Processing . Morgan Kaufmann, San Francisco,
California.
Williams, J. (1990, 1995). Style: Toward Clarity and Grace . Chicago:
University of Chicago Press.
Winograd , T. (1971). Procedures as a Representation for Data in a Computer
Program for Understanding Natural Language MIT AI TR-235.
Winograd , T. ( 1972 ). Understanding Natural Language . Academic Press,
Nueva York