Tema 3.

Induccin categrica
Induccin Categrica
Categorizar permite agrupar acontecimientos particulares en clases, se puede inferir mayor info que la presentada en
un suceso concreto.
Conociendo a qu clase pertenece un objeto se pueden conocer sus caractersticas sin necesidad de depender del
conocimiento particular.
Es un proceso bsico en el razonamiento (tanto deductivo como inductivo).
Las propiedades nos permiten clasificar en categoras. En cada Modelo Terico estas propiedades son y dan lugar
a reglas de formacin.
Enfoque de las propiedades definitorias o enfoque clsico:
Estructuracin conceptual: bien definida a partir de unas propiedades diagnsticas que son *Necesarias
individualmente (por si sola no)
*Suficientes en conjunto (esto lo
define)
Un objeto es miembro de una categora si presenta todas las propiedades definitorias de una categora.
(Ej. Soltero: Varn Adulto No casado, necesita todas pero una sola no es suficiente)
Crticas: resultados experimentales pusieron de manifiesto que las propiedades diagnsticas no eran especficas
de una categora y algunos miembros de la categora son ms tpicos que otros. (Ej. Joven es ms tipo que
Anciano // Cura cumple pero no se consider).
Enfoque de las propiedades probabilsticas:
Las propiedades comunes se repiten en los distintos ejemplares.
El prototipo es la tendencia central de las propiedades de todos los ejemplares, el parecido familiar el que
relaciona a los miembros de una categora y la tipicidad la que establece el orden de los ejemplares.
La estructuracin conceptual se realiza en tres nivel: *Supraordenado (Fruta)
*Subordinado (Manzana golden)
*Nivel bsico (Manzana Mayor n de propiedades - Prototipo).
Un estudio demuestra que no todos los ejemplares de una categora son juzgados como igualmente tpicos y que
el efecto de tipicidad se debe a propiedades no necesarias ( Enfoque Definitorio). (Ej. Manzana > Calabaza //
Volar punta ms para Ave).
Supuesto: la tipicidad es una medida de semejanza entre el ejemplar y su prototipo, esto ordena a los
miembros. (no es homognea)
Crticas: la definicin que se haga de semejanza y que el prototipo de una categora vara segn el contexto.
(Ej. Ave Marina o Ave de Caza)
Modelos mixtos: Para conjugar ambas posturas, defienden el uso de Propiedades Diagnsticas (slo en casos
especiales)
Propiedades Prototpicas (empleadas como heurstico)
Enfoque de los ejemplares:
Existe una representacin exhaustiva de todos los miembros de cada categora, (No representacin
abstracta y nica del concepto).
Estando todos los casos particulares representados, la pertenencia de un ejemplar concreto a una categora
depende de su semejanza con el resto de los miembros.
La informacin se relaciona en el momento de la recuperacin de un ejemplar segn los objetivos, para
as evitar su comparacin con cada uno de los casos posibles (y el gasto cognitivo). (Ej. Pelota y Manzana igual
en forma).
Demuestran la flexibilidad del sistema categorizador refirindose a la agrupacin temporal de propiedades en
contextos muy especficos, como los llamados conceptos dirigidos por metas que no se ajustan al
parecido familiar con un prototipo.
Crticas: no contempla las generalizaciones necesarias para aprender, ni criterios de coherencia interna
necesarios para establecer lmites.
Modelos mixtos: han intentado conciliar el enfoque de los Ejemplares con el Probabilstico. El problema es
establecer cules son las restricciones que permiten al sistema cognitivo una categorizacin coherente del
mundo.

La combinacin de conceptos

La informacin se combina para producir nuevos conceptos. Da muestra de la flexibilidad del proceso.
Cada modelo explica cmo se realiza la combinacin en consonancia con el tipo de estructuracin conceptual.
Combinacin sustantivo-adjetivo:
Modelo de la modificacin selectiva: Smith y Osherson
Proponen un modelo dentro del marco terico de los prototipos, para explicar los resultados encontrados en
conceptos combinados.
Hasta entonces se supona que un concepto compuesto no poda ser ms tpico que los conceptos simples (Ej.
Sangre roja > Sangre)
El modelo parte de una representacin prototpica de los atributos con distintos pesos diagnsticos
ponderados por su prominencia.
La modificacin selectiva comienzo por identificar el concepto que acta de sustantivo (marco conceptual),
mientras que el concepto adjetivo acta en la seleccin de propiedades (modifica el marco). El sustantivo y el
adjetivo desempean un papel asimtrico.
El adjetivo determina la prominencia y el valor diagnstico, cada concepto tiene una tipicidad diferente
cuyo cmputo se basa en la semejanza entre ejemplar y prototipo. Se realiza por la regla de contraste de
Tversky (propiedades comunes y no compartidas).
El efecto se comprob incluso en conjunciones incompatibles, puntan incluso ms en tipicidad que las
compatibles porque el adjetivo modificador aumenta la diagnosticidad de las propiedades que se relacionan con
l. (Ej. Sangre Azul)
Crticas: Por simplicidad, slo puede ser empleado para combinacin de sustantivo-adjetivo, asume la
independencia de los atributos afectando slo a una propiedad del prototipo y la diagnosticidad y la
prominencia no bastan para explicarlas conjunciones incompatibles.

Modelo de especializacin conceptual: Cohen y Murphi

El adjetivo modifica al sustantivo (= Modif. Selectiva), pero no es automtico, sino que se realiza consultando
los conocimientos del sujeto. La representacin de los conceptos simples es mediante esquemas con
variables y valores. (Ej. Sangre Azul = Linaje x Lenguaje figurado)
Crtica: falta de especificacin del proceso de seleccin del conocimiento que va a servir de referencia.
Modelo hbrido de ejemplares y teoras previas: Medin y Shoben, ms inespecfico que el anterior
Trata de combinar el conocimiento del mundo y la representacin de ejemplares. Las ppdes de los conceptos
establecen ricas y variadas relaciones. Demostraba que la diagnosticidad y la prominencia no eran
suficientes y que la informacin sobre las relaciones entre propiedades deba recuperarse segn el contexto y
los objetivos de cada momento.
Combinacin sustantivo-sustantivo: Tres tipos de combinaciones: Por la relacin entre el concepto base y el que
lo modifica
Por la propiedad que se aplica al concepto base
Por la combinacin hbrida de ambos conceptos.
Modelo de especializacin conceptual:
Explica la combinacin por relacin, el concepto principal adopta la relacin del concepto modificador, por
esquemas.
(Ej. Perro perdiguero relaciona perdiguero con cazar perdz).
Modelo de especializacin conceptual ampliado:
Explica la combinacin Por propiedades y Combinacin hibrida porque se crea una nueva propiedad (no se
suman) por los procesos de comparacin y construccin.
(Ej. Propiedad: Pez Martillo // Combinacin: Apart-Hotel).

El proceso de categorizacin:
Dos principios de Organizacin:
El principio de semejanza:
Como principio organizador de las categoras, se basa en los Enfoques Probabilsticos: Semejanza Con el
Prototipo
Con los Ejemplares (entre s).
Segn Tversky, depende de la comparacin de propiedades comunes y no comunes (regla de contraste) y
de su ponderacin.
Conocimiento previo:
Todas las teoras que asumen una representacin de la informacin en estructuras (esquemas, guiones,
marcos o modelos mentales) defienden una organizacin conceptual basada en los conocimientos previos
Los autores de este enfoque defienden que son los conocimientos del sujeto, sus teoras ingenuas sobre el
mundo, son los que guan y determinan el proceso de categorizacin.
La estructura conceptual se encuentra inmersa en un cuerpo de conocimientos con estructura y coherencia. (
Lista de Propiedades)
Las propiedades comunes son genricas y variables y adoptan sus valores en funcin del contexto.
Existen distintos enfoques para describir el proceso de induccin, dependiendo del tipo de representacin
del conocimiento que se defienda. Dos perspectivas: Representacin simblica (induccin por aplicacin
de Reglas) (*1)
Redes conexionistas (induccin por Patrones de Activacin) (*2)
Dos explicaciones del proceso: Depende del tipo de representacin del conocimiento que se defienda.
Sistema de Reglas Distribuidas: (*1)
Enfoque computacional, contempla la representacin del conocimiento de forma simblica (esttica).
Se interpretan semnticamente los conceptos, sobre los que se ejecutan operaciones (reglas).
Las categoras pueden definirse como grupos de reglas interrelacionadas, dirigidas a una meta.
Modelo de los Esquemas de Razonamiento Pragmtico - Holland y Holyoack
El sistema aplica reglas agrupadas en esquemas, distribuidas en distintas estructuras.
El procesamiento se realiza en paralelo. (unas reglas se inhiben entre s y otras se potencian)
El propio sistema y el contexto imponen las restricciones al procesamiento para hacer la
ponderacin.
Las reglas se generan en una situacin concreta segn el conocimiento previo, las ms efectivas
para esa situacin concreta sern ponderadas, las otras se eliminan o modifican
Los esquemas
estn formados por reglas de condicin-accin: Diacrnicas (temporal) y
Sincrnicas (atemporales).
Procesamiento en tres pasos: Emparejamiento de las reglas y los hechos que mejor satisfacen las
condiciones
Seleccin de un subconjunto de reglas emparejadas para ser ejecutadas
Ejecucin de las reglas para que lleven a cabo las acciones.
Se busca combinar la flexibilidad (efectiva -no efectivas) y la organizacin conceptual (implcita y
explcita).
Descripcin del proceso: las reglas son un conjunto de expectativas que proporcionan por defecto el
mejor esquema para la situacin contemplada. El sistema est conformado por nodos superiores que
representan a las condiciones y nodos intermedios que representan a las acciones. Cuando las
categoras no son excluyentes las reglas que se activan pueden entrar en conflicto (Ej. animal peludo:
Gato o perro?). Para evitar las generalizaciones inadecuadas la categorizacin cuenta con un umbral
que ha de superar el valor de apoyo y la ponderacin de una determinada regla.
El sistema est jerarquizado del nivel ms general al ms especfico.

Sistema de Activacin Distribuida: (*2)

Enfoque computacional, contempla la representacin del conocimiento en redes conexionista.
Los patrones de activacin transmiten la informacin en la red interconectada.
Es ms dependiente del contexto. (No representaciones estticas, ni estructura, ni nodos jerarquizados
Sistema de Reglas).
El procesamiento de la informacin es distribuido y en paralelo (PDP).
Modelo de la Satisfaccin de Restricciones - Rumelhart
Analoga: Unidad Neurona.
Descripcin del proceso: cada categora se corresponde con un patrn de activacin
determinado (Ej. Perro: Peludo, ladra, mamfero), cuando una informacin entra en el
sistema, las unidades ajustan su activacin con el fin de satisfacer el mximo de
restricciones que estn implcitas en el patrn de activacin. Las propiedades se
encuentran distribuidas por toda la red y la fuerza de sus conexiones hace que el patrn
adquiera una configuracin determinada (prototipo de la categora No es una estructura
fija, sino que emerge con los datos). Los patrones van actualizando los pesos de sus
conexiones hasta que alcanza la bondad de ajuste mximo.

Tema 4. Razonamiento deductivo

Razonamiento silogstico (silogismo categrico)
Estudia las inferencias realizadas con proposiciones que tienen cuantificadores: Cantidad (universal, particular) y de
Polaridad (afirmativa, negativa).
4 tipos de enunciados: Univ. Afima: Todos los A son B/Univ. Nega: Ningn A es B/Parti. afirma: Algn A es B/Parti
Nega: Algunos A no son B.
Argumento: se compone de *dos premisas: La premisa que contiene el sujeto se llama premisa menor (C)
La premisa que contiene el predicado se llama premisa mayor (A)
*una conclusin en la que se establece una nueva relacin entre las proposiciones a travs
del trmino medio.
La investigacin se ha centrado en la influencia de la estructura y el contenido sobre el rendimiento de los
sujetos.
*Hiptesis de la atmsfera de las premisas: Para explicar la actuacin de los sujetos se propone esta H que slo
describe la tendencia de los sujetos a apoyar conclusiones dejndose llevar por aspectos estructurales del silogismo.
(No es teora).
Efecto Atmsfera: Apoyar conclusiones particulares si se presenta al menos una premisa particular (y
universales de lo contrario)
Apoyar conclusiones negativas si al menos alguna premisa es negativa (y afirmativas en el
caso contrario)
Modelos basados en la interpretacin de las premisas:
Modelo de Chapman y Chapman: explica el efecto atmsfera mediante dos ilusiones de irracionalidad:
Hiptesis sobre la conversin ilcita:
Error de la interpretacin: Universal afirmativa: Todos los hombres son seres mortales Todos los seres
mortales son hombres
Particular negativa: Algunos hombres no son deportistas
Algunos deportistas no
son hombres
Inferencia probabilstica:
Creen que compartir determinadas propiedades tiene ms probabilidad de compartir otras.
Algunos peces son carnvoros - Algunas plantas son carnvoras -> Algunas plantas son
peces.
Modelo de Revlis:
Basado en la conversin ilcita y lcita de todas las premisas.
4 Etapas: Codificacin de las premisas y de todas sus conversiones
Representacin compuesta de las dos premisas
Codificacin de la conclusin
Comparacin entre la representacin conjunta de las premisas y la de la conclusin
Si son congruentes se acepta la validez - Si no es congruente se comparan las versiones sin conversin
hasta encuentra una conclusin vlida.
Si aun as no encuentra, entonces se elige una conclusin seleccionando rasgos (cantidad o calidad). Aqu
incluye el Efecto Atmosfera.
Tambin incluye el Sesgo de Creencias o Contenido. Ej. Todos los Gatos son Felinos, no se convierte en Todos
los Felinos son Gatos, el contenido bloquea el error, y tambin disminuye si entra en conflicto con la validez
lgica. (Pero esto lo intenta explicar Evans abajo)
Segn Wilkins, los sujetos dan por vlido un silogismo si estn de acuerdo con su conclusin.
No explica los efectos producidos por el tipo de figura del silogismo. (1 ms fcil, 4 ms difcil)
Modelos de Evans:
Intenta explicar la interaccin entre la validez lgica de un argumento y la credibilidad de sus conclusiones.
Desarrolla dos modelos, pero no explican el proceso, solo los errores.
Modelo de escrutinio selectivo
Si las conclusiones son crebles los sujetos no se molestan en hacer anlisis lgicos, slo en el caso de
que las conclusiones no sean crebles los sujetos hacen un anlisis lgico del argumento. La conclusin
sesga el razonamiento. (En MM se ve q no es as).

Se comprueba mediante protocolos verbales, los sujetos dicen: o la conclusin o la Conclusin y despus
las premisas. No lo explica.
Modelo de interpretacin incorrecta de la necesidad lgica
Cuando hay argumentos con varias conclusiones posibles, pero no necesarias, los sujetos responden
de acuerdo con la credibilidad de las conclusiones. ( la lgica formal: para que un argumento sea vlido
tiene que ser necesario)
Dos tipos de silogismos invlidos: Indeterminado (producira conclusiones posibles pero no necesarias influye creencia
(Ej: Algunos B son A, Algunos C son B, Algunos C son A)
Determinado (producira conclusiones imposibles) influye lgica
(Ej. Todos los B son A; Todos los C son B, Ningn C es A).
Modelo de Convenciones Lingsticas - Begg &Harris:
La mala interpretacin de las premisas es por aplicar criterios de uso lingstico a los cuantificadores.
La mxima conversacional de la cantidad (transmitir el mximo de info sin ocultar nada deliberadamente),
afectara a los cuantificadores dando por supuesto que el empleado es el que trasmite mayor informacin. No
hay datos que lo apoyen.
Modelos basados en la Representacin de Conjuntos:
Modelo de Erikson - Crculos Euler
El razonamiento silogstico se realiza en tres etapas:
Interpretacin-representacin de cada una de las premisas. (influye el Contenido de los
argumentos)
Combinacin de las premisas: No exhaustiva de todas las representaciones en una sola
representacin. (criterios probabilsticos)
Respuesta: se selecciona una etiqueta verbal (verdadero / falso)
Como hay demasiadas combinaciones posibles usa el criterios probabilstico para limitar el n de
representaciones, pero estn determinadas a posteriori. (una vez tiene el dato), y no se puede explicar porqu
son ms probables.
Modelo de cadena transitiva - Guyote y Sternberg - Crculos Euler
Las representaciones s son exhaustivas, libres de errores. ( Erikson)
En la combinacin de las premisas, las representaciones se van integrando en cadenas transitivas.
En la comparacin se elige la conclusin concordante con las combinadas.
Finalmente, se da una respuesta de acuerdo con la conclusin seleccionada.
Crtica: Asume que no se producen errores en la fase de representacin (exhaustiva) cuando hay datos
experimentales de que s.
Asume que ms n diagramas es ms difcil (Erikson tb), pero no siempre es as.
Modelo de Newel y Simon: Crculos de Venn
Entiende el razonamiento silogstico como una bsqueda por el espacio problema.
Crtica: no hace predicciones sobre los errores que se producen en la prctica, ni se aportan datos empricos que
apoyen la utilizacin de diagramas de Venn en la bsqueda por el espacio problema.
Teora de los Modelos Mentales de Johnson-Laird - Marco general para la explicacin de todo el
razonamiento.
Tres etapas: Comprensin: se construye un modelo mental de lo que viene expresado en las premisas.
Descripcin: sencilla - se combinan - se enuncia algo que no est explcito (conclusin tentativa).
Bsqueda de modelos alternativos: Contraejemplos para falsear la conclusin tentativa.
La dificultas de los problemas y los errores se explican por la cantidad de procesamiento necesario y las
limitaciones de la memoria para considerar todas las combinaciones posibles.
La formalizacin de los modelos mentales se realiza mediante smbolos (letras minsculas) que representan a
los miembros caractersticos de un conjunto. Cuando el smbolo va entre corchetes, todos los miembros del grupo
estn representados. (exhaustivo).
En la segunda etapa se combinan los modelos de las premisas en una representacin nica.
Influyen: El tipo de figura: las conclusiones se leen en el mismo sentido en que se han presentado. (fig. 2 y 3
ms difcil x q necesitan invertir)
El contenido y las creencias: en silogismos que tienen ms de 1 modelo mental posible, se acortara la
bsqueda de los modelos alternativos si la conclusin tentativa es compatible con el sistema de
creencias, sin embargo, no deba ocurrir en silogismos con 1 solo modelo mental, pero tambin se ha
encontrado este efecto.
(Ej. Todos los A son C (Y slo algunos C son A). hay slo 1 modelo mental posible (no hay contraejemplos),
el razonamiento es vlido.
La investigacin demuestra que los sesgos se dan por una mala interpretacin de las premisas y no porque la
conclusin sesgue el razonamiento, como dice Escrutinio Selectivo de Evans. Crtica: su indefinicin.

Razonamiento transitivo (silogismo lineal)

Estudia las inferencias deductivas realizadas con proposiciones que tienen relaciones internas de transitividad, es la
propiedad de cualquier escala de acuerdo a la cual se comparan u ordenan objetos.
Argumento: se compone de dos premisas y una conclusin en la que se establece la relacin existente entre los dos
trminos no adyacentes que aparecen en las premisas. (Ej. Luis es mayor que Juan - Juan es mayor que Pedro luego, Luis es mayor que Pedro)
Tambin se pueden producir silogismos indeterminados (Ej. A no es mejor que B - B no es mejor que C)
Al producirse pocos errores, la investigacin se ha centrado en cmo se representa la informacin:
Modelo operacional Hunter
Midiendo los tiempos de solucin de los diferentes problemas, dependiendo el nivel de dificultad, se interesa
por las operaciones precisas para llegar a la conclusin. Si las premisas no contienen la misma relacin o el
silogismo no sigue el orden habitual el sujeto tiene que realizar operaciones: *Conversin (mas fcil)
*Reordenacin
Resultados experimentales: No apoyan las predicciones del modelo.
Modelos basados en imgenes mentales Soto - London - Handel

Parte de la representacin espacial integrada de la combinacin de las premisas. La dificultad depende de lo

que cueste formarse una imagen mental del mismo y, en ltimo trmino, de los principios de elaboracin de
imgenes:

Principio de preferencia direccional: los sujetos prefieren realizar la construccin espacial

siguiendo una direccin determinada.
(Ej. A>B>C)

Principio de anclaje de los extremos: se prefiere comenzar por los trminos extremos.
(Ej. A mejor que - C peor que No con B)
Resultados experimentales: el principio de anclaje no siempre se cumple. (= resultados con no extremos)
Modelo lingstico de Clark
Defiende una representacin proposicional del silogismo ( imgenes).
La comprensin depende de factores lingsticos:

Principio de primaca de las relaciones funcionales: la info sobre las relaciones entre sujeto,
predicado, verbo y objeto directo se almacena y se recupera con prioridad. (el predicado es ms
importante que la info comparativa, el trmino medio se pierde).
(Ej. A es mejor que B/B es mejor que C -> representan comprimidamente: A es mejor/B es mejor/C es
menos bueno)

Principio de marcado lxico: aplicable a algunos adjetivos bipolares que son asimtricos
(presuponen un extremo de una escala).
(Ej. A es peor que B prejuzga que ambos son malos -> adjetivo marcado: peor que, mas difcil //No
marcado: mayor que, ms fcil.

Principio de congruencia: ms fcil la solucin si la pregunta es congruentemente con las premisas.

(Ej. A es mejor que B/ B es mejor que C/ -> cul es mejor? ms fcil // cul es peor? menos fcil.
Resultados experimentales: Predicciones igual que modelo de imgenes No se decantan por ninguna de
las
(Ppio lxico = Direccional // Ppio. congruencia = Anclaje).
Modelo mixto de Sternberg
Contempla ambos tipos de representaciones: las premisas se representan 1 formato lingstico Codificacin
Ppio marcado lxico.
2
forma espacial Construccin Ppio.
Direccionalidad.
Datos experimentales: se ajustan mejor a este modelo, capaz de explicar todos los resultados aplicando unos
principios u otros en las distintas etapas del razonamiento, pero no son concluyentes porque caben otras
explicaciones alternativas: -Las instrucciones y el tipo de presentacin Ej. Si las preguntas se presentan antes
que las premisas se adopta una representacin lingstica y viceversa si es al revs. -Utilicen distintas estrategias
a medida que se adquiere experiencia - Diferencias individuales a la hora de preferir un tipo de estrategia.
Teora de los Modelos Mentales de Johnson-Laird
Se centra en el proceso independientemente del tipo de representacin adoptada (ms prxima a los modelos
espaciales).
Idea central:
Se representa la disposicin espacial (no tiene que se una imagen mental concreta) de las premisas basado
en el conocimiento del sujeto acerca del significado de los trminos relacionados
Se combinan los distintos modelos mentales para llegar a una inferencia sobre la relacin entre los trminos
no relacionados
Los modelos anteriores utilizan series de tres trminos para contrastar sus predicciones, pero no sirve para
someter a prueba la hiptesis del aumento de la dificultad a mayor n de modelos mentales construidos a partir
de las premisas. (ni decantarse x imagen o lingstico).
Por esto Byrne y Jonson-Laird experimentan con problemas en los que se relacionan cinco trminos en los que
es posible construir ms de un modelo vlido. As se puede contrastar que a mayor n de modelos
construidos, mayor dificultad.
(Ej. B est a la derecha de A, C est a la izquierda de B, D est delante de C, E est delante de B; Cul es la
relacin entre D y E?. Este problema dara lugar a 2 modelos mentales)
Datos experimentales apoyan que la dificultad de la tarea depende del nmero de modelos que se construyen
y no de la aplicacin de reglas. Adems, los resultados son congruentes con la construccin de una
representacin espacial integrada.