Inferência:

Na inteligência artificial, precisamos de computadores inteligentes que possam criar nova lógica a partir de lógica antiga ou através de provas, portanto, gerar as conclusões a partir de evidências e fatos é denominado Inferência .

Regras de inferência:

As regras de inferência são os modelos para gerar argumentos válidos. Regras de inferência são aplicadas para derivar provas em inteligência artificial, e a prova é uma sequência da conclusão que leva ao objetivo desejado.

Nas regras de inferência, a implicação entre todos os conectivos desempenha um papel importante. A seguir estão algumas terminologias relacionadas às regras de inferência:

idade de Salman Khan

Implicação:É um dos conectivos lógicos que pode ser representado como P → Q. É uma expressão booleana.Conversar:O inverso da implicação, o que significa que a proposição do lado direito vai para o lado esquerdo e vice-versa. Pode ser escrito como Q → P.Contrapositivo:A negação do inverso é denominada contrapositiva e pode ser representada como ¬ Q → ¬ P.Inverso:A negação da implicação é chamada de inversa. Pode ser representado como ¬ P → ¬ Q.

A partir do termo acima, algumas das afirmações compostas são equivalentes entre si, o que podemos provar usando a tabela verdade:

Portanto, a partir da tabela verdade acima, podemos provar que P → Q é equivalente a ¬ Q → ¬ P, e Q→ P é equivalente a ¬ P → ¬ Q.

Tipos de regras de inferência:

1. Modo de configuração:

A regra do Modus Ponens é uma das regras de inferência mais importantes e afirma que se P e P → Q forem verdadeiros, então podemos inferir que Q será verdadeiro. Pode ser representado como:

Exemplo:

Afirmação-1: 'Se estou com sono, vou para a cama' ==> P→ Q
Afirmação-2: 'Estou com sono' ==> P
Conclusão: 'Vou para a cama.' ==> P.
Portanto, podemos dizer que, se P → Q for verdadeiro e P for verdadeiro, então Q será verdadeiro.

Tabela de prova por verdade:

2. Método de remoção:

A regra do Modus Tollens afirma que se P → Q for verdadeiro e ¬ Q é verdadeiro, então ¬ P também será verdade. Pode ser representado como:

Declaração-1: 'Se estou com sono então vou para a cama' ==> P→ Q
Declaração-2: 'Eu não vou para a cama.'==> ~Q
Declaração-3: O que infere que ' Não estou com sono ' => ~P

Tabela de prova por verdade:

3. Silogismo Hipotético:

A regra do Silogismo Hipotético afirma que se P→R é verdadeiro sempre que P→Q é verdadeiro, e Q→R é verdadeiro. Pode ser representado como a seguinte notação:

Exemplo:

Declaração-1: Se você tiver a chave da minha casa, poderá desbloqueá-la. P→Q
Declaração-2: Se você conseguir destrancar minha casa, poderá pegar meu dinheiro. Q→R
Conclusão: Se você tiver a chave da minha casa, poderá pegar meu dinheiro. P→R

Prova por tabela verdade:

4. Silogismo Disjuntivo:

A regra do silogismo disjuntivo afirma que se P∨Q for verdadeiro e ¬P for verdadeiro, então Q será verdadeiro. Pode ser representado como:

Exemplo:

construtores em java

Declaração-1: Hoje é domingo ou segunda-feira. ==>P∨Q
Declaração-2: Hoje não é domingo. ==>¬P
Conclusão: Hoje é segunda-feira. ==> P

Prova por tabela verdade:

5. Adição:

A regra de adição é uma regra de inferência comum e afirma que se P for verdadeiro, então P∨Q será verdadeiro.

Exemplo:

Declaração: Eu tenho um sorvete de baunilha. ==>P
Declaração-2: Tenho sorvete de chocolate.
Conclusão: Tenho sorvete de baunilha ou chocolate. ==> (P∨Q)

Prova por Tabela da Verdade:

6. Simplificação:

A regra de simplificação afirma que se P∧Q é verdade, então Q ou P também será verdade. Pode ser representado como:

Prova por Tabela da Verdade:

7. Resolução:

A regra de resolução afirma que se P∨Q e ¬ P∧R forem verdadeiros, então Q∨R também será verdadeiro. Pode ser representado como

Prova por Tabela da Verdade: