Ciências da Linguagem e da Cognição

Documentos relacionados
Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade

Raciocínio lógico matemático

Lógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

Prof. João Giardulli. Unidade III LÓGICA

DOUGLAS LÉO RACIOCÍNIO LÓGICO

Lógica Proposicional Parte 2

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

Lógica Proposicional (Consequência lógica / Dedução formal)

Dedução Natural e Sistema Axiomático Pa(Capítulo 6)

III. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA

PENSAMENTO CRÍTICO. Aulas 7 e 8. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

Fundamentos de Lógica Matemática

Modus ponens, modus tollens, e respectivas falácias formais

Lógica Proposicional. 1- O que é o Modus Ponens?

Exemplos de frases e expressões que não são proposições:

Cálculo proposicional

Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.

Exercitando o raciocínio lógico-dedutivo!

ÍNDICE. Bibliografia CRES-FIL11 Ideias de Ler

Fundamentos de Lógica Matemática

Silogismos Categóricos e Hipotéticos

ANEXO 1. Metas para um Currículo de Pensamento Crítico. (Taxonomia de Ennis)

Lógica Computacional

Lógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César

INFORMAÇÃO-PROVA PROVA DE AVALIAÇÃO DE CONHECIMENTOS E CAPACIDADES Componente Específica Filosofia. Código da Prova /2015

OBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. Motivar para o estudo da lógica

Duração da Prova: 120 minutos. Tolerância: 30 minutos. Na folha de respostas, indique de forma legível a versão da prova (Versão 1 ou Versão 2).

ESCOLA SECUNDÁRIA DA AMADORA CRITÉRIOS DE AVALIAÇÃO DA DISCIPLINA DE FILOSOFIAS 10º ANO CURSOS CIENTÍFICO-HUMANÍSTICOS

AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015

LÓGICA I. André Pontes

Inteligência Artificial. Categorias de Conhecimento

MÉTODOS DE PESQUISA. Pesquisa como conhecimento científico. Prof. Dr. Evandro Prestes Guerreiro. Santos-SP, 2016

Representação de Conhecimento

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Lógica Proposicional Parte 3

Inteligência Artificial

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno

Recredenciamento Portaria MEC 347, de D.O.U

µsíntese manhosa de PC

AGRUPAMENTO de ESCOLAS de SANTIAGO do CACÉM Ano Letivo 2015/2016 FILOSOFIA 11º ANO PLANIFICAÇÃO ANUAL

Lógica Dedutiva e Falácias

Lógica: Quadrado lógico:

Lógica e Metodologia Jurídica

n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Tecnologia para Sistemas Inteligentes Apontamentos para as aulas sobre. Incerteza: Regras com Factor de Confiança. Luís Miguel Botelho

Representação do Conhecimento

Matemática discreta e Lógica Matemática

Sistemas Inteligentes

Fundamentos de Lógica Matemática

2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem

n. 11 Argumentos e Regras de Inferência

MÓDULO IV O CONHECIMENTO E A RACIONALIDADE CIENTÍFICA E TECNOLÓGICA

INFORMAÇÃO-PROVA DE EQUIVALÊNCIA À FREQUÊNCIA FILOSOFIA MAIO 2017 Prova: 161

Raciocínio Lógico Matemático Professora Elionora Azevedo. TRF 1ª região

Regras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

INDUÇÃO ULTRAFORTE: EPISTEMOLOGIA DO SUBJETIVO

Dedução Natural LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto

NHI Lógica Básica (Lógica Clássica de Primeira Ordem)

Retomada aula. Introdução sobre Inteligência Artificial Abordagem sobre Agentes Resolução de problemas estratégias de busca - apresentação trabalhos

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente

LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

MAC425/5739 Inteligência Artificial 6. Agentes lógicos

BIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES

Conhecimento e Raciocínio Lógica Proposicional

Escola Secundária de Amora Ano Lectivo de 2014/2015 Disciplina: Filosofia 11º Ano Ensino Regular (Diurno) Planificação de Médio e Longo Prazo

1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA

Fundamentos de Lógica Lógica Proposicional

CURSO: MEDICINA VETERINÁRIA DISCIPLINA: METODOLOGIA DA PESQUISA CIENTÍFICA

Parece ter premissas verdadeiras mas não tem. Parece ter premissas mais plausíveis do que a conclusão mas não tem.

Lógica e Metodologia Jurídica

INF 1771 Inteligência Artificial

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE

Lógica. Cálculo Proposicional. Introdução

Fórmulas da lógica proposicional

INF 1771 Inteligência Artificial

Lógica Proposicional

Conhecimentos, modelos, e raciocínio condicional (*)

Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva

LÓGICA PROPOSICIONAL

Orientações para efeitos de avaliação sumativa externa das aprendizagens na disciplina de Filosofia. 10.º e 11.º Anos. Cursos Científico-humanísticos

Onde surge a verdade logica? Surge da correspondência entre pensamento e fato, a qual nasce de um juízo sobre a realidade. Quando surge o erro?

INF 1771 Inteligência Artificial

Raciocínio condicional: Silogismos e tarefa de selecção (*)

Lógica Proposicional

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14

Lógica Matemática e Computacional. 3.1 Relações lógicas de Euler

Prova TCE/SP Resolvida Raciocínio Lógico e Matemático Agente da Fiscalização. Prof. Thiago Cardoso. Olá, Alunos, tudo bem?

Introdução à Lógica Proposicional Sintaxe

3.3 Cálculo proposicional clássico

Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico

RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha

SIMPÓSIO: COGNIÇÃO: RELEVÂNCIA E METAS COORDENADOR FÁBIO JOSÉ RAUEN (UNISUL)

Fundamentos da Computação 1. Aula 03

Cálculo proposicional

Transcrição:

Ciências da Linguagem e da Cognição Raciocínio. Silogismos condicionais e regras de inferência. Desempenho dos humanos. Interpretações. Modelo BDI. As apresentações power-point resultam de contribuições de:! António Branco! Helder Coelho! Luis Antunes! João Balsa 1

Raciocínio " Raciocínio! processamento cognitivo que permite passar de " Dedutivo " conhecimento prévio (expresso em premissas) para " novo conhecimento (expresso numa conclusão).! a verdade da conclusão segue-se necessariamente da verdade das premissas " Indutivo " Ex.: O Pedro é irmão da Ana e a Ana é a mãe da Francisca. " Nova informação: O Pedro é tio da Francisca.! a verdade da conclusão segue-se plausivelmente da verdade das premissas " Lógica " Ex. nova informação: O Pedro é mais velho que a Francisca.! critérios de validade dos argumentos com base na forma sintáctica das expressões em que o conhecimento está captado.! Ex.: Todos os A são B; Pedro é A; Logo, Pedro é B. 2

Dedução e indução " A partir de:! Fred é o irmão de Maria e Maria é a mãe de Lisa podemos concluir que! Fred é o tio de Lisa e que Fred é mais velho que Lisa. " Fred é o tio de Lisa é o resultado de uma inferência dedutiva. " Fred é mais velho que Lisa é o resultado de uma inferência indutiva, porque é provavelmente verdadeira, embora não seja uma inferência dedutiva correcta porque não é necessariamente verdeira. 3

Dedução: Silogismos condicionais " Silogismos condicionais! Se p então q " com p (antecedente) e q (consequente) variáveis instanciáveis por frases declarativas. " Regras de inferência! Modus ponens (Raciocínio para a frente) " Premissa: Se p então q " Premissa: p " Conclusão: q! Modus tollens (raciocínio para trás) " Premissa: Se p então q " Premissa: ~q " Conclusão: ~p 4

Modus ponens " Suponhamos que temos 2 premissas: 1. Se Joana compreendeu o livro, então ela obterá uma boa nota. 2. Joana compreendeu o livro. Podemos inferir de 1 e 2 por modus ponens: 3. Joana obteve uma boa nota. Aqui temos uma dedução válida, isto é se as premissas 1 e 2 forem verdadeiras, então a conclusão será sempre verdadeira. 5

Comentários " O exemplo anterior ilustra a artificialidade da aplicação da Lógica a situações reais.! Como saberemos que Joana compreende o livro " Podemos só atribuir uma probabilidade à sua compreensão. " Mesmo se Joana compreende o livro, no melhor caso é provável (não certo) que ela obterá uma boa nota. 6

Modus tollens " Suponhamos que nos dão as seguintes premissas: 4. Se Joana compreendeu o livro, então ela obterá uma boa nota. 5. Joana não obteve uma boa nota. Por modus tollens podemos deduzir: 6. Joana não compreendeu este livro. Esta conclusão pode espantar porque no mundo real tais frases não costumam ser tratadas tipicamente como certas. 7

Raciociocínio abdutivo " Inferência da explicação mais plausível para uma observação! Premissa: Se A então B! Observação: B! Conclusão: A " A conclusão não é necessariamente verdadeira! Podem existir outras explicações para B " Na realidade, tem-se, como premissas:! Se A1 então B! Se A2 então B! Se A3 então B 8

Abdução - exemplo " Observação:! O professor faltou à aula " Qual a razão? " Sabemos que:! Se professor adormeceu então falta à aula! Se professor teve acidente então falta à aula! Se professor se esqueceu então falta à aula! Se professor ficou doente então falta à aula " O problema é escolher a explicação mais plausível " Abordagens:! Lógica, probabilidades, coberturas (conjuntos) 9

Diagrama de influência Roubo P(R) =0.001 Alarme Terramoto P(T)=0.002 R T P(A) ------------------------ V V 0.95 V F 0.94 F V 0.29 F F 0.001 Chamada do João A P(J) ------------ V 0.90 F 0.05 Chamada da Maria A P(M) ------------ V 0.70 F 0.01 10

Silogismos condicionais: desempenho " Experiência: Rips e Marcus, 1977! Tarefa: Tomar silogismo condicional instanciado: sujeitos ajuízam se conclusão é verdadeira sempre, por vezes ou nunca.! Condições: considerar os oitos esquemas específicos que resultam de: " a premissa simples ser a afirmação ou a negação do antecedente ou do consequente " a conclusão ser a afirmação ou a negação do consequente ou do antecedente (resp.) 11

Silogismos condicionais: Desempenho 12

Silogismos condicionais: desempenho " Experiência: Rips e Marcus, 1977! Resultados: " Silogismos 1 e 2: Inferência válida: modus ponens: # sucesso total " Silogismos 7 e 8: Inferência válida: modus tollens: # em média 30% falham " Silogismos 3 e 4: Falácia da negação do antecedente # 21% cometem a falácia " Silogismos 5 e 6: Falácia da afirmação do consequente # 23% cometem a falácia 13

Desempenho: interpretação " Taplin and Staudenmayer, 1975! Explicação: Frases condicionais (se p então q) são interpretadas como equivalentes a frases bicondicionais (p se e só se q)! Objecções: Por que razão uma vezes o fazem e não outras? Por exemplo, por que é que as falácias não são aceites por 100% dos sujeitos? 14

Desempenho: interpretação " Haviland, 1974; Rips, 1990! Explicação: " frase condicional expressa (alta) probabilidade conjunta dos eventos descritos por p e q. " sujeitos raciocinam probabilisticamente: probabilidade de a conclusão ser verdadeira é dada pela probabilidade condicionada do evento expresso pela conclusão relativamente ao evento expresso pela premissa simples, dada as probabilidades conjuntas expressas pela premissa condicional.! Objecções: Como estabelecer e ou aferir os valores das probabilidades conjuntas? Porquê aqueles valores e não outros? E sobretudo: não há adequação aos resultados de desempenho obtidos... 15

Desempenho: Interpretação 16

Modus tollens: Desempenho " Experiência: Tarefa de Selecção de Wason! Tarefa: sujeitos devem indicar apenas as cartas que precisam de ser viradas para testar a frase "Se uma carta tem uma vogal num lado, então essa carta tem um número par no outro lado. 17

Modus tollens: Desempenho " Experiência: Tarefa de Selecção de Wason! Resultados:Oaksford e Chater, 1994: " Viravam E: 89% (útil) " Viravam K: 16% (inútil) " Viravam 4: 62% (inútil) - falácia da afirmação do consequente " Viravam 7: 25% (útil) - falha na aplicação do modus tollens! Interpretação " 75% falha na aplicação do modus tollens (contra 40% na exp. De Rips e Marcus): a generalidade dos seres humanos não sabem raciocinar com modus tollens? " Cheng, et al., 1986 " Tarefa: realizada por sujeitos com um semestre em lógica. " Resultados: melhoraram os resultados apenas em 3%. 18

Tarefa de Wason: explicação probabilística " Oaksford e Chater, 1994 " Explicação:! sujeitos estão a verificar se existe diferença significativa entre o modelo probabilístico para a interpretação da frase condicional e um modelo nulo.! escolhem verificar para os casos em que a diferença entre as probabilidades condicionadas da conclusão relativamente à premissa simples será maior entre os dois modelos " Objecções: Como estabelecer e ou aferir os valores das probabilidades conjuntas? Porquê aqueles valores e não outros? 19

Tarefa de Wason: explicação probabilística " Oaksford e Chater, 1994 " Explicação (cont.):! P: uma vogal ocorre num lado da carta! Q: um número par ocorre num lado da carta! Seleccionar E Condicionar a P Probabilidade Q: 0.8 (M1) vs. 0.4(M2) Delta: 0.60 TW: 89%! Seleccionar K Condicionar a ~P Probabilidade de ~Q: 0.60 (M1) vs. 0.6 (M2) Delta: 0.0 TW: 16%! Seleccionar 4 Condicionar a Q Probabilidade de P: 0.67 (M1) vs. 0.4 (M2) Delta: 0.27 TW: 62%! Seleccionar 7 Condicionar a ~Q Probabildiade de ~P: 0.75 (M1) vs. 0.6 (M2) Delta: 0.15 TW: 25% " Objecções: Como estabelecer e ou aferir os valores das probabilidades conjuntas? Porquê aqueles valores e não outros? 20

Tarefa de Wason: explicação probabilística 21

Interpretação: condicional como permissão " Experiência: Griggs and Cox, 1982! Tarefa: sujeitos assumem o papel de polícias e devem assegurar a aplicação do seguinte regulamento relativo à permissão de consumo de álcool: " "Se um pessoa está a beber cerveja, então essa pessoa tem de ter mais de 19 anos." Devem seleccionar o número mínimo de pessoas a quem vão pedir mais informação (virar as cartas correspondentes)! Condições: E K 4 7 "Está a beber cerveja" "Está a beber Cola" "22 anos" "16 anos 22

Interpretação: condicional como permissão " Experiência: Griggs and Cox, 1982! Resultados: " 79% viravam "Está a beber cerveja" e "16 anos"! Interpretação " Resultado original para "Se é vogal, há número par do outro lado": # Viravam E: 89% (útil); Viravam 7: 25% (útil) " A par da interpretação lógica e probabilística, existe uma interpretação deôntica das frases condicionais, em que estas são tidas como esquemas de permissão.! Mas porquê a vantagem exibida a raciocinar sob esta interpretação? 23

Interpretação: condicional como regra social " Experiência: Gigenrezer and Hug, 1992! Tarefa: sujeitos conhecem a seguinte frase condicional: " "Se um estudante está matriculado na Esc. Sec. Vasco da Gama, então esse estudante vive no Parque das Nações." Devem seleccionar o número mínimo de pessoas a quem vão pedir mais informação (virar as cartas correspondentes) " "Está matriculado na ESVG" "Não está matriculado na ESVG" "Vive no PN" "Não vive no PN"! Condições: " Grupo A: sujeitos consideram-se inspectores do Ministério e devem verificar se a regra está a ser violada. " Grupo B: sujeitos fazem parte de uma comitiva alemã de visita a Lisboa e querem descobrir se esta é uma regra em vigor. 24

Interpretação: condicional como regra social " Experiência: Gigenrezer and Hug, 1992! Resultados: " Grupo A: 80% viravam "Está matriculado na ESVG" e "Não vive no PN" " Grupo B: apenas 45% viravam estas duas cartas! Interpretação " A vantagem exibida em raciocinar sob esta interpretação deôntica deve-se a termos apurado a destreza de detectar vigaristas como parte da nossa aprendizagem social. 25

Psicologia popular " Como explicamos o nosso comportamento aos outros? E como olhamos para o comportamento dos sistemas artificiais? " Graças a atitudes proposicionais ou estados mentais, tais como crenças, desejos, intenções, expectativas, esperanças, receios que se referem a algum aspecto do mundo externo. 26

Atitudes proposicionais 27

Modelo BDI da cognição Percepção Crença vontade (escolha e força) Desejo (Bratman, 1987) (Devlin, 1991) (deliberação, escolha) Intenção Acção Mundo (deliberação, escolha) decisão execução 28

Algoritmo básico do BDI (Wooldridge, 2001) 29

Chimps https://www.youtube.com/watch?v=c3d9hx0ocbs 30

Bossou-Nimba abre nozes Como comer nozes? Arranjar uma ferramenta, tipo martelo (uma pedra), e partir a casca! 31