Mente Introdução à Ciência Cognitiva Paul Thagard José Adolfo S. de Campos Agosto 2002 Profa Adriana Benevides Representação e Computação Objetivo Principal da Ciência Cognitiva Explicar como as pessoas chegam a diferentes tipos de Pensamento Conhecimento dentro da Mente consiste de Representações Mentais Procedimentos Mentais que operam nas Representações Mentais produzem Pensamentos e Ações Métodos da Ciência Cognitiva Psicologia Cognitiva Inteligência Artificial Linguística Neurociência Antropologia Filosofia Representação e Computação Hipótese Central da Ciência Cognitiva O Pensamento pode ser melhor entendido em termos de Estruturas Representacionais e Procedimentos Computacionais que operam naquelas estruturas => CRUM Mente Computador Representações Mentais Dados Estruturais Procedimentos Computacionais Algorítmos = Pensamento = Saida do Programa Cérebro Neurônios e suas conexões Estimulação de Neurônios e Ativação Difusa = Pensamento Representação e Computação Modelos da Ciência Cognitiva Teoria Postula um conjunto de estruturas representacionais e um conjunto de processos que operam nessas estruturas. Modelo Computacional Traduz as estruturas e os processos em termos da analogia com programas de computadores. Programa Para testar o modelo deve-se implementá-lo num programa de software. Plataforma O programa deve rodar num hardware específico. Representação e Computação Abordagens de Representação Mental Abordagem pela Lógica Abordagem pelas Regras Abordagem pelos Conceitos Abordagem pelas Analogias Abordagem pelas Imagens Abordagem pelas Conexões Representação e Computação Avaliação das Abordagens de Representação Mental CRITÉRIOS Poder de Representação O Poder Representacional preocupa-se com a quantidade de informações de um tipo particular de representação que pode ser expressa. Poder Computacional O Poder Computacional pode ser avaliado em termos de como ela considera os 3 tipos importantes de pensamento de alto nível: Resolução de Problemas, Aprendizado e Linguagem. Uma teoria de representação mental deve ser capaz de explicar: A) Como as pessoas raciocinam para alcançar seus objetivos B) Como as pessoas aprendem C) O uso da linguagem pelos seres humanos Representação e Computação Plausibilidade Psicológica A Plausibilidade Psicológica procura verificar a sua adequação na identificação das capacidades qualitativas dos seres humanos, bem como os resultados quantitativos de experimentos psicológicos preocupados com essas quantidades. A teoria deve tentar explicar os meios com os quais o ser humano realiza a tarefa. Plausibilidade Neurológica A Plausibilidade Neurológica indica que a teoria deve ser pelo menos coerente com os resultados dos experimentos neurocientíficos. Aplicações Práticas A Aplicabilidade Prática indica como a teoria pode levar a resultados práticos na Educação, no Design e na área de Sistemas Inteligentes. Abordagem pela Lógica Aristóteles: Análise de Silogismos (padrões de inferência onde a partir de duas premissas chega-se a uma conclusão) em termos apenas da sua forma, ignorando o conteúdo. Todos os estudantes estão cansados Renata é uma estudante Então, Renata está cansada Inferências Dedutivas x Inferências Indutivas Precursores da Lógica Moderna G. Frege (1879), B. Russel, A. Church, A. Turing Poder Representacional Lógica Proposicional Usa os conectores lógicos para implica (), e (), ou (), não (~) “Se Paula está na biblioteca então Teresa está na biblioteca” pq p = Paula q = Teresa “Se Paula e Teresa estão na biblioteca então Solange não está” (p q) ~ d d = Solange Abordagem pela Lógica Lógica Modal Acrescenta operadores de acordo com a necessidade e a possibilidade. “É possível que Paula esteja na biblioteca” Lógica Epistêmica Acrescenta operadores para o conhecimento e a crença “Sabe-se que Paula foi a biblioteca ontem” Lógica Deodôntica Representa idéias morais como a de que p é permissível ou proibido. Lógica Predicativa Permite separar as afirmativas indivisíveis da Lógica Proposicional. Acrescenta novos operadores: Para todos (), Existe () “Todos os estudantes estão cansados” x (estudante [x] cansado [x]) Para todo x, se x é um estudante, então x está cansado As Lógicas Proposicional e Predicativa procuram fazer afirmativas que tornem verdadeiras ou falsas as afirmações. As Lógicas Proposicional e Predicativa não lidam bem com a incerteza “Paula provavelmente está na biblioteca” Ajuda da Teoria das Probabilidades P(p) = 0,7 Abordagem pela Lógica Poder Computacional A operação do Pensamento é a Dedução Lógica Regras de Inferência Modus Ponens pq Se Paula está na biblioteca Então Teresa está na biblioteca p Paula está na biblioteca logo, q Teresa está na biblioteca Modus Tollens pq Se Paula está na biblioteca Então Teresa está na biblioteca ~q Teresa não está na biblioteca logo, ~p Paula não está na biblioteca Regras de Inferência não processam informações por si só. Elas precisam ser usadas por uma pessoa ou por um sistema de uma máquina que possa aplicá-las a frases com a forma lógica adequada. Abordagem pela Lógica A) Resolução de Problemas Planejamento > Muitos problemas de planejamento envolvem dedução lógica. Planejamento feito pelo estudante p/ concluir um curso de graduação Decisão > Frequentemente a tomada de decisões exige que sejam consideradas as probabilidades dos caminhos. Disciplinas do mestrado em Informática na Educação > Tomada de decisões baseada nas Probabilidades (Holtzman, 1989) é difícil de realizar computacionalmente. O número de probabilidades pode aumentar exponencialmente na medida do aumento de proposições ou variáveis do modelo. Explanação > Numa explanação tenta-se entender porque determinada coisa aconteceu. Pode-se tentar deduzir o que se tenta explicar a partir do que se sabe. Porque alguns alunos dormem em sala de aula. > O tipo de inferência, na qual a pessoa forma uma hipótese para gerar uma explicação é chamado de Abdução. Abordagem pela Lógica B) Aprendizado > Sistemas inteligentes devem ser capazes não só de resolver vários tipos de problemas, mas também utilizar a experiência para melhorar seu desempenho. Inscrição em disciplinas: Calouros x Veteranos > Generalizações Indutivas x Abdução > Queremos encontrar não apenas alguma explanação, mas a melhor explanação. A partir de uma perspectiva lógica, a avaliação da melhor explanação envolve probabilidades. => Teorema de Bayes C) Linguagem Alguns linguistas consideram a lógica formal como uma ferramenta natural para a compreensão da estrutura da linguagem. Muitos discordam desta afirmação e dizem que a lógica formal teve um papel menor na compreensão da linguagem humana. Abordagem pela Lógica Plausibilidade Psicológica Relações entre Lógica Formal e Psicologia > A lógica formal é uma parte importante do raciocínio humano Argumentos válidos com a forma do Modus Ponens > A lógica formal tem apenas uma relação distante com o raciocínio humano, mas o que importa é que o papel da lógica na filosofia e na inteligência artificial é fornecer uma análise matemática do que constitui um raciocínio ótimo > A lógica formal tem apenas uma relação distante com o raciocínio humano, de forma que a ciência cognitiva deveria buscar outras abordagens Seleção de Wason [A] [B] [4] [7] Raciocínio Indutivo x Teoria das Probabilidades Instrução universitária x Carpinteiro Abordagem pela Lógica Plausibilidade Neurológica Atualmente nada se sabe sobre a plausibilidade neurológica da Lógica formal. Aplicações Práticas Educação: A abordagem lógica não teve muita utilidade educacional em relação à perspectiva de fornecer uma compreensão mais profunda do aprendizado humano. A lógica é útil por sugerir meios pelos quais as pessoas podem pensar melhor - Pensamento Crítico Design: PROLOG (utiliza representações lógicas e técnicas dedutivas) foi aplicado a problemas como projetos de construções que obedecem a normas físicas e legais. Sistemas Inteligentes práticos tendem a usar técnicas como regras e redes neurais. Abordagem pelas Regras As Regras são estruturas do tipo SE - ENTÃO SE você é estudante de Astronomia ENTÃO deve saber Física Poder Representacional Representar as informações gerais sobre o mundo SE André é um estudante, ENTÃO André é inteligente Representar as informações de como fazer SE você se inscrever logo, ENTÃO você conseguirá vaga na disciplina Representar regularidades linguísticas SE uma frase tem um sujeito no plural, ENTÃO ela tem um verbo no plural Regras de inferência como o Modus Ponens podem ser remodeladas na forma de regras SE você tem uma regra SE-ENTÃO e a parte se é verdadeira, ENTÃO a parte então também será verdadeira As regras podem ter múltiplas condições SE você se inscrever logo, ENTÃO você conseguirá vaga nas disciplinas desejadas e você se formará em menos tempo Abordagem pelas Regras O sistema de regras permite representar relações e operações básicas por meio de várias formas não padronizadas => FLEXIBILIDADE As regras não devem ser interpretadas como verdades universais (Para todo x) (estudante [x] inteligente [x] Lógica: Todo estudante é inteligente Regras: SE x é um estudante, ENTÃO x é inteligente (Generalização que admite exceções) Sistemas baseados em regras podem representar informações estratégicas sobre o que fazer SE você quer ir a Petrópolis no final de semana, ENTÃO você pode pegar um ônibus As regras não tem o poder representacional da lógica formal mas podem ser expressas por formas que aumentam o poder computacional e a plausibilidade psicológica Abordagem pelas Regras Poder Computacional A) Resolução de Problemas > A operação fundamental do pensamento é a Pesquisa > Sistemas baseados em regras podem de forma eficiente buscar caminhos no espaço de possibilidades > Problemas complexos: É impossível procurar exaustivamente no espaço de possibilidades em busca da melhor solução > Solução Heurística: métodos simples e práticos que contribuem para soluções satisfatórias sem considerar todas as possibilidades Vestir sapatos marrons com calça marron e não com calça preta > A resolução de problemas, o aprendizado e o uso da linguagem podem ser descritos em termos de procura heurística baseada nas regras através de um espaço complexo de possibilidades > O processamento baseado em regras pode ser em série (uma regra de cada vez) ou em paralelo (muitas regras simultaneamente) Abordagem pelas Regras Planejamento > As regras podem ser usadas tanto para pensar para frente quanto para trás. SE pegar a linha vermelha, ENTÃO posso ir direto ao Fundão Para ir ao Barra Shopping, posso pegar a Av. das Américas, o que exige que eu pegue a Av. Airton Senna, e antes dela a Linha Amarela > Busca Bi-direcional. Torna-se muito complexo quando existem muitas regras relevantes. Decisão > As regras não são sempre úteis na decisão entre planos que competem entre si. O raciocínio precisa ser complementado por outros processos Dois caminhos para ir para casa Explanação > Alguns tipos de formação de hipóteses podem ser descritos como a busca de explanações feita pelas regras Tentou inscrever-se numa disciplina mas ela não tem mais vagas SE uma disciplina tem poucas vagas, ENTÃO ela é preenchida logo Abordagem pelas Regras B) Aprendizado Numerosos tipos de aprendizado são compreendidos em termos da aquisição, modificação e da aplicação de regras Regras Inatas x Regras Adquiridas SE alguma coisa vem na direção de seus olhos, ENTÃO pisque SE x é uma aula de programação, ENTÃO x consumirá tempo Formação de Regras > Generalização Indutiva: Regras a partir de outros exemplos ou regras Muitos caminhos para voltar para casa > Especialização: Regra existente é modificada para lidar com uma solução específica SE você quer voltar para casa 6a feira a tarde e não gosta de engarrafamentos, ENTÃO você deve fazer hora num bar > Inferência Abdutiva Seu amigo está com raiva e deprimido > Avaliação Quantitativa SE você quer ir depressa da universidade para casa, ENTÃO dirija .. Abordagem pelas Regras C) Linguagem Segundo Chomsky as crianças nascem com um conjunto de regras inatas (gramática universal) SE você quer utilizar um verbo para descrever o passado, ENTÃO acrescente “ed” ao verbo (Inglês) As crianças adquirem a habilidade de utilizar a linguagem por abdução, formando hipóteses sobre que regras a aplicar à sua linguagem individual. Abordagem pelas Regras Plausibilidade Psicológica A abordagem pelas regras é a que teve maior aplicação psicológica Resolução de Cripto-Aritméticos (SOAR) DONALD GERALD__ ROBERT A Lei da Prática (SOAR) A média do aprendizado diminui a medida que mais coisas são aprendidas Tipos diferentes de aprendizado Condicionamento de ratos Habilidades e limitações das pessoas em lidar com o mundo físico e social Estereótipo social Aquisição e uso da Linguagem (Anderson) SE o objetivo é comunicar uma estrutura significativa da forma (relação, agente, objeto), ENTÃO determine como sub-objetivos 1. Descrever o agente 2. Descrever a relação 3. Descrever o objeto Abordagem pelas Regras Plausibilidade Neurológica Analogia grosseira entre regras e neurônios conectados por sinapses SE um neurônio estimula, ele pode ENTÃO provocar uma estimulação do neurônio conectado a ele Sistemas baseados em regras foram desenvolvidos com a suposição de que os modelos cognitivos são muito independentes de considerações neurológicas Aplicações Práticas Educação: Se o que aprendemos são regras, então a educação deve preocupar-se em ajudar os estudantes a aprenderem melhor estas regras. Existem numerosas aplicações educacionais de sistemas baseados em regras de ação Design: Na engenharia e outras áreas o design também pode ser compreendido em termos de regras A maioria dos Sistemas Especializados utilizados na industria e no governo são sistemas baseados em regras Abordagem pelos Conceitos Platão : Papel dos Conceitos Conceitos Inatos x Conceitos Aprendidos Natureza dos Conceitos: Estrutura, Esquema, Manuscrito # Pensamento deve ser entendido como a aplicação de uma Estrutura mais do que uma dedução lógica (Minsky, 1975) # Parte do nosso conhecimento social consiste de Manuscritos, que descrevem ocorrências sequenciais (Schank e Abelson, 1977) # Descrição do conhecimento em termos de estruturas semelhantes a conceitos, chamadas de Esquemas, que representam não a essência mas sim as características de um conceito (Rumelhart, 1980) # O significado dos conceitos deve ser pensado em termos de Estereótipos e não em termos de condições de definição (Putnam, 1975) Abordagem pelos Conceitos Poder Representacional Construídos como Estruturas, Esquemas ou Manuscritos os conceitos são entendidos como representações de entidades ou situações típicas, não definições estritas. Conceito de Disciplina Organização dos Conceitos: Espaços em branco e Hierárquica Organização Hierárquica: Tipo, Parte e outras associações Alguns conceitos envolvem uma sequência temporal => Exame Os conceitos não pretendem ser uma teoria completa de representação mental. Mas os conceitos têm propriedades computacionais que os tornam adições úteis para regras de modelagem do pensamento humano Abordagem pelos Conceitos Poder Computacional Herança - Hierarquia Seminário Ativação Difusa - Tipo de associação livre Escrivaninha => móveis, cadeiras, gaveta, etc O armazenamento dos conceitos incluem dois passos: Combinação de espaços em branco do conceito com informações adicionais conhecidas Inferências sobre o novo conceito levando em consideração todo o conjunto de espectativas produzido pelo conceito Estudantes matriculados no curso Etapas do sistema de conceitos num processo computacional 1. Sistema ativa conceitos que representam uma situação 2. Estes conceitos difundem a ativação a outros conceitos potencialmente relevantes 3. Alguns conceitos que combinam com a situação atual são selecionados 4. O sistema faz inferências sobre a situação por herança dos conceitos selecionados Abordagem pelos Conceitos A) Resolução de Problemas Planejamento > Na primeira vez você usa as Regras. Na 2a vez você irá seguir a sequência de operações. Você adquiriu um Conceito ou Manuscrito Inscrição em disciplinas > A aplicação do conceito funciona apenas se você tem um armazenamento de informações que combinam com o situação atual Decisão > Tomada de decisões baseadas em Manuscritos ou Esquemas Abordagem pelos Conceitos Explanação > As explanações vem muitas vezes em pacotes esquemáticos Porque JF passou a noite toda no computador ? Porque ele é um hacker > Aplicação de um Esquema inclui um objetivo (que deve ser explicado) e um tipo padrão que fornece a explicação TEORIA DA EVOLUÇÃO DE DARWIN Objetivo: Porque uma dada espécie tem uma característica particular ? Explanação: As espécies têm um conjunto de características variáveis As espécies sofrem pressões ambientais As pressões favorecem os membros da espécie que têm uma característica particular Assim os membros das espécies com estas características irão sobreviver e reproduzir-se melhor que os membros das espécies que não possuem estas características Assim, eventualmente a maioria dos membros das espécies terá a característica Abordagem pelos Conceitos B) Aprendizado > Os conceitos podem ser inatos, formados a partir de exemplos ou formados a partir de outros conceitos Face, Objeto / Gato (Generalização Indutiva) / Música C) Linguagem > Conjunto de palavras ou conceitos representados numa Mente: Léxico Mental > O Léxico Mental é organizado hierárquicamente (Miller et al, 1990) > Qual é o significado do conceito e como ele contribui para o significado de uma frase ? > Teoria do significado deve incluir uma consideração sobre como os conceitos estão relacionados uns com os outros e com o mundo Plausibilidade Psicológica Condições de Definição x Condições Típicas: Triângulo Protótipo é um conjunto de Condições Típicas Experimentos psicológicos sugerem que a aplicação de conceitos se adapta mais a visão prototípica do que à visão clássica Sabiá x Ganso Abordagem pelos Conceitos Plausibilidade Neurológica A difusão da ativação entre conceitos nas redes de conceitos é semelhante a forma como os neurônios ativam um ao outro através de impulsos eletroquímicos Identificação de áreas distintas do cérebro envolvidas na percepção da palavra e na produção da fala Aplicações Práticas Educação Iniciantes x Peritos: Peritos têm conhecimentos altamente organizados que pode ser descrito em termos de Conceitos ou Esquemas Design Envolvem conceitos que podem ser representados por Esquemas ou Estruturas Sistemas Inteligentes: CYC Abordagem pelas Analogias O Pensamento Analógico consiste em se lidar com uma nova situação adaptando-se a uma situação semelhante que lhe seja familiar Parábolas T. Evans, 1968 - Precursor do modelo de Raciocínio Analógico Raciocínio Analógico é chamado de raciocínio baseado em casos Poder Representacional Análogo Fonte => Análogo Alvo Disciplina cursada x Disciplina a cursar Analogias positivas x Analogias negativas Os análogos podem ser representados como coleções de tipos de representações que já vimos Abordagem pelas Analogias Poder Computacional Se a área do problema é muito familiar e na qual se tem muita experiência => pomos em prática o conhecimento adquirido através de Regras e Conceitos O Raciocínio Analógico é útil quando você tem alguma experiência mas pouco conhecimento geral sobre a área O Raciocínio Analógico ocorre em 4 estágios: 1. Você se depara com o Problema Alvo a ser resolvido 2. Você se lembra de um Problema Fonte semelhante para o qual é conhecida uma solução 3. Você compara os Problemas Fonte e Alvo, colocando seus componentes relevantes em correspondência uns com os outros 4. Você adapta o Problema Fonte para produzir uma solução para o Problema Alvo Abordagem pelas Analogias A compreensão do Raciocínio Analógico em termos computacionais exige que sejam especificados os procedimentos para os estágios de: Lembrança: Recuperação do Análogo Fonte na memória Comparação: Mapear os Análogos Fonte e Alvo, um em relação ao outro Adaptação: Modificar o Análogo Fonte de modo a assemelhar-se ao Análogo Alvo A lembrança de análogos relevantes a partir do grande número de análogos potencialmente relevantes, depende de 3 condições restritivas: Similaridade: Dois análogos são semelhantes entre si se eles envolvem conceitos similares Estrutura: Dois análogos devem alinhar-se com precisão, incluindo relações estruturais Objetivo: Sua definição permite eliminar outras opções Visões diferentes da importância das condições restritivas # Semelhança + (estrutura e objetivos) # Objetivos => Vocabulário indexador Analogias criativas envolvem um salto Abordagem pelas Analogias A) Resolução de Problemas Planejamento - Exercícios Decisões - Iraque x Vietnã Explanação - Mente x Computador B) Aprendizado > Tipos: 1. Baixo nível: armazenamento de soluções na memória de casos 2. Adaptação de um caso anterior a resolução de um novo problema 3. Abstrair dos Análogos Fonte e Alvo e formar um Esquema Analógico que capta o que é comum a ambos => Generalização > Os Esquemas Analógicos são muito parecidos com Conceitos C) Linguagem Metáforas - Percepção de uma analogia subjacente O aluno é um asno Abordagem pelas Analogias Plausibilidade Psicológica Como as pessoas utilizam as analogias ? Problema do Tumor x História da Fortaleza A interpretação metafórica parece ser um processo obrigatório que acompanha o processo literal, não um processo que ocorre depois do processo literal Plausibilidade Neurológica Não há evidência sobre a base neurológica do pensamento analógico Aplicações Práticas Educação: Uso de analogias para explanação Design: Fonte de inspirações - Velcro Sistemas Inteligentes: Partes de aviões num autoclave