Inferência: diferenças entre revisões
m adicionou Categoria:Fontes de conhecimento usando HotCat |
|||
Linha 9: | Linha 9: | ||
Filósofos gregos definiram uma série de silogismos, corrigir três inferências de peças, que podem ser usados como blocos de construção para o raciocínio mais complexo. Começamos com o mais famoso de todos eles: |
Filósofos gregos definiram uma série de silogismos, corrigir três inferências de peças, que podem ser usados como blocos de construção para o raciocínio mais complexo. Começamos com o mais famoso de todos eles: |
||
* Todos os homens são mortais |
* Todos os homens são mortais e fazem sexo |
||
* Sócrates é um homem |
* Sócrates é um homem e faz sexo |
||
* Portanto, Sócrates é mortal |
* Portanto, Sócrates é mortal e faz sexo |
||
Processo acima é chamado de dedutivo. |
Processo acima é chamado de dedutivo. |
Revisão das 19h10min de 11 de novembro de 2013
Inferência, em Lógica, é o ato ou processo de derivar conclusões lógicas de premissas conhecida ou decididamente verdadeiras. A conclusão também é chamada de idiomática.
Definição
O processo pelo qual uma conclusão é inferida a partir de múltiplas observações é chamado processo dedutivo ou indutivo, dependendo do contexto. A conclusão pode ser correta , incorreta, correta dentro de um certo grau de precisão, ou correta em certas situações. Conclusões inferidas a partir de observações múltiplas podem ser testadas por observações adicionais.
Exemplos de Inferência
Filósofos gregos definiram uma série de silogismos, corrigir três inferências de peças, que podem ser usados como blocos de construção para o raciocínio mais complexo. Começamos com o mais famoso de todos eles:
- Todos os homens são mortais e fazem sexo
- Sócrates é um homem e faz sexo
- Portanto, Sócrates é mortal e faz sexo
Processo acima é chamado de dedutivo.
O leitor pode verificar que as premissas e a conclusão são verdadeiras, mas a lógica segue junto com inferência: a verdade da conclusão segue da verdade das premissas? A validade de uma inferência depende da forma da inferência. Isto é, a palavra "válido" não se refere à verdade das premissas ou a conclusão, mas sim a forma da inferência. Uma inferência pode ser válida, mesmo se as partes são falsos, e pode ser nulo, mesmo se as peças são verdadeiras. Mas uma forma válida e com premissas verdadeiras sempre terá uma conclusão verdadeira.
considere o seguinte exemplo:
- Todos os frutos são doces.
- A banana é uma fruta.
- Portanto, a banana é doce.
Para a conclusão ser necessariamente verdadeira, as premissas precisam ser verdadeiras.
Agora nos voltamos para um forma inválida.
- Todo A é B.
- C é um B.
- Portanto, C é um A.
Para mostrar que esta forma é inválida, buscamos demonstrar como ela pode levar a partir de premissas verdadeiras para uma conclusão falsa.
- Todas as maçãs são frutas. (Correto)
- Bananas são frutas. (Correto)
- Portanto, as bananas são maçãs. (Errado)
Um argumento válido com premissas falsas podem levar a uma falsa conclusão:
- Todas as pessoas gordas são gregas.
- John Lennon era gordo.
- Portanto, John Lennon era grego.
Quando um argumento válido é usado para derivar uma conclusão falsa de premissas falsas, a inferência é válida, pois segue a forma de uma inferência correta. Um argumento válido pode também ser usado para derivar uma conclusão verdadeira a partir de premissas falsas:
- Todas as pessoas gordas são músicos
- John Lennon era gordo
- Portanto, John Lennon era um músico
Neste caso, temos duas falsas premissas que implicam uma conclusão verdadeira.
Inferência incorreta
Uma inferência incorreta é conhecida como uma falácia. Os filósofos que estudam lógica informal compilaram grandes listas deles, e os psicólogos cognitivos têm documentado muitas vieses de raciocínio humano que favorecem o raciocínio incorreto.
Inferência logica automática
Os sistemas de IA primeiro providenciaram "inferência logica automática". Uma vez que estes já foram temas de investigação extremamente popular, levaram a aplicações industriais sob a forma de sistemas especialistas e depois "business rule engines".
O trabalho de um sistema de inferência é a de estender uma base de conhecimento automaticamente. A base de conhecimento (KB) é um conjunto de proposições que representam o que o sistema sabe sobre o mundo. Várias técnicas podem ser utilizadas pelo sistema para estender KB por meio de inferências válidas.