Prof. Esp. Cristiano José Cecanho Inteligência Artificial

Apresentação em tema: "Prof. Esp. Cristiano José Cecanho Inteligência Artificial"— Transcrição da apresentação:

1 Prof. Esp. Cristiano José Cecanho Inteligência Artificial
Cálculo de predicados Prof. Esp. Cristiano José Cecanho Inteligência Artificial

2 Roteiro Esquemas para portas lógicas Cálculo de predicados

3 Esquemas para portas lógicas
Anteriormente estudamos as portas lógicas conforme suas entradas e propondo possibilidades de saídas. Um esquema, nada mais é que a representação de um circuito elétrico, ou eletrônico por meio de simbologias. Em eletrônica as máquinas estudadas são: Computadores, calculadoras, sistemas de controle e automação, codificadores, decodificadores, entre outros.

4 Circuito digital Um circuito digital emprega um conjunto de funções lógicas, onde função é a relação existente entre as variáveis independentes e as variáveis dependentes, assim como aprendemos na matemática. Para cada valor possível da variável independente determina-se o valor da função. O conjunto de valores que uma variável pode assumir depende das restrições ou especificações do problema a ser resolvido.

5 Função lógica NÃO Y = variável dependente A = variável independente

6 Porta lógica E (AND)

7 Porta lógica E (AND) - Exemplo

8 Porta lógica OU (OR)

9 Porta lógica OU (OR) - Exemplo

10 Exemplo de circuito lógico
Expressão lógica deste circuito: ((A+B).(A+C)).(B+D)

11 Cálculo de predicados O cálculo de predicados estuda a legitimidade ou não de sentenças, mas agora incluindo os cálculos dos quantificadores, bem como dos predicados. Predicado = um dos termos essenciais da oração; é tudo aquilo que se diz ou o que se declara sobre o sujeito.

12 Cálculo de predicados - Exemplo
Considere a seguinte dedução: (Todas as crianças estudam) (Alice é uma criança)______ (Alice estuda) Nesta relação avalia-se que todo o conjunto de crianças estudam e se Alice é uma criança então ela estuda.

13 Cálculo de predicados - Exemplo
Considere a seguinte dedução: (Existem crianças que estudam) (Alice é uma criança)______ (Alice estuda) Nesta relação avalia-se que foi formada incorretamente pois não tem como afirmar que Alice estudou. Isso porque não consideramos que todo o conjunto de crianças estuda.

14 Importância do predicado
Em uma dedução onde diz-se que filho(x,z) significa que “x é filho de z” e irmão(x,y) significa que “x é irmão de y”:

15 Exercício 1 Raquel, Marta, Larissa e Isabel têm profissões diferentes. Uma delas é Bióloga, a outra é Médica, a outra é Assistente Social e outra Farmacêutica, não necessariamente nesta ordem: Raquel e Larissa conhecem a assistente social. Marta e a farmacêutica já foram ao consultório da médica. A farmacêutica é irmã de Isabel e faz curso com Raquel. Raquel não é bióloga e não conhece Isabel. Desta forma, pode-se concluir que: Marta é bióloga. Isabel é bióloga. Larissa é bióloga. Raquel é farmacêutica.

16 Exercício 2 Os carros de Artur, Bernardo e Cesar são, não necessariamente nesta ordem, uma Brasília, uma Parati e um Santana. Um dos carros é cinza, outro azul e o outro azul. O carro de Artur é cinza; o carro de Cesar é o Santana; o carro de Bernardo não é verde e não é a Brasília. As cores da Brasília, da Parati e do Santana são, respectivamente: Cinza, verde e azul. Azul, cinza e verde. Azul, verde e cinza. Cinza, azul e verde.

17 Exercício - Resolução Raquel Marta Larissa Isabel Bióloga Médica
Raquel e Larissa conhecem a assistente social. Marta e a farmacêutica já foram ao consultório da médica. A farmacêutica é irmã de Isabel e faz curso com Raquel. Raquel não é bióloga e não conhece Isabel. Raquel Marta Larissa Isabel Bióloga Médica Ass. Social Farmacêutica

18 Exercício - Resolução Raquel Marta Larissa Isabel Bióloga Médica
Raquel e Larissa conhecem a assistente social. Marta e a farmacêutica já foram ao consultório da médica. A farmacêutica é irmã de Isabel e faz curso com Raquel. Raquel não é bióloga e não conhece Isabel. Raquel Marta Larissa Isabel Bióloga Médica Ass. Social F Farmacêutica

19 Exercício - Resolução Raquel Marta Larissa Isabel Bióloga Médica F
Raquel e Larissa conhecem a assistente social. Marta e a farmacêutica já foram ao consultório da médica. A farmacêutica é irmã de Isabel e faz curso com Raquel. Raquel não é bióloga e não conhece Isabel. Raquel Marta Larissa Isabel Bióloga Médica F Ass. Social Farmacêutica

20 Exercício - Resolução Raquel Marta Larissa Isabel Bióloga F Médica
Raquel e Larissa conhecem a assistente social. Marta e a farmacêutica já foram ao consultório da médica. A farmacêutica é irmã de Isabel e faz curso com Raquel. Raquel não é bióloga e não conhece Isabel. Raquel Marta Larissa Isabel Bióloga F Médica Ass. Social Farmacêutica V

21 Exercício - Resolução Raquel Marta Larissa Isabel Bióloga F Médica V
Raquel e Larissa conhecem a assistente social. Marta e a farmacêutica já foram ao consultório da médica. A farmacêutica é irmã de Isabel e faz curso com Raquel. Raquel não é bióloga e não conhece Isabel. Raquel Marta Larissa Isabel Bióloga F Médica V Ass. Social Farmacêutica

22 Exercício - Resolução Raquel Marta Larissa Isabel Bióloga F V Médica
Raquel e Larissa conhecem a assistente social. Marta e a farmacêutica já foram ao consultório da médica. A farmacêutica é irmã de Isabel e faz curso com Raquel. Raquel não é bióloga e não conhece Isabel. Raquel Marta Larissa Isabel Bióloga F V Médica Ass. Social Farmacêutica

23 Exercício - Resposta Raquel, Marta, Larissa e Isabel têm profissões diferentes. Uma delas é Bióloga, a outra é Médica, a outra é Assistente Social e outra Farmacêutica, não necessariamente nesta ordem: Raquel e Larissa conhecem a assistente social. Marta e a farmacêutica já foram ao consultório da médica. A farmacêutica é irmã de Isabel e faz curso com Raquel. Raquel não é bióloga e não conhece Isabel. Desta forma, pode-se concluir que: Marta é bióloga. Isabel é bióloga. Larissa é bióloga. Raquel é farmacêutica.

24 Resolução Exercício 2 Artur Brasilia Cinza Bernardo Parati Azul Cesar
Santana Verde

25 Exercício 2 Os carros de Artur, Bernardo e Cesar são, não necessariamente nesta ordem, uma Brasília, uma Parati e um Santana. Um dos carros é cinza, outro azul e o outro azul. O carro de Artur é cinza; o carro de Cesar é o Santana; o carro de Bernardo não é verde e não é a Brasília. As cores da Brasília, da Parati e do Santana são, respectivamente: Cinza, verde e azul. Azul, cinza e verde. Azul, verde e cinza. Cinza, azul e verde.

26 Proposições Tipo de sentença declarativa (uma declaração) que é classificada como verdadeira ou falsa: Foi publicado no site da ASSER os curso que participaram do ENADE 2013. A soma dos ângulos internos de um triângulo é igual a 180º. 50% de R$ 100,00 vale R$ 30,00.

27 Princípios Princípio da não-contradição: uma proposição pode ser verdadeira e falsa simultaneamente. Princípio do terceiro excluído: uma proposição só pode ter dois valores lógicos, isto é, um verdadeiro (V) ou um falso (F), não podendo ter um terceiro valor lógico.

28 Quais das sentenças abaixo podem ser proposições?
Rio Claro é uma cidade do estado de São Paulo. É proposição V A seleção brasileira de futebol é pentacampeão mundial. É proposição V Que ruim! Não é proposição O professo Cristiano é um bom professor? Não é proposição Foi bem na prova? Não é proposição Seja um bom aluno. Não é proposição (trata-se de uma ordem) Ele é um bom professor. Não é proposição (não sabemos que se refere ao ele / sentença aberta) = 6 É proposição F X + Y = 6 Não é proposição (não conheço os valores de X e Y / sentença aberta) Esta frase é verdadeira. Não é proposição F

29 Sintaxe Formalmente, uma linguagem lógica de primeira ordem – notação (P, F, C, V) – é determinada pela especificação dos seguintes conjuntos de símbolos: Um conjunto P de símbolos de predicado. Um conjunto F de símbolos de função. Um conjunto C de símbolos de constante. Um conjunto V de símbolos de variável.

30 Aridade Na matemática a aridade de uma função ou operação é o número de argumentos ou operandos tomados. A aridade de uma relação é o número n de elementos que compõem as n-uplas ordenadas pertencentes à relação. A cada símbolo de predicado e de função é associada uma aridade. Símbolos de predicado com aridade zero são chamados símbolos proposicionais. Símbolos de constante pode ser considerado como funções de aridade zero.

31 A sintaxe da linguagem pode ser assim definida:
<termo> ::= <vairável> | <constante> | <função> (<termo>1, ... , <termo>n) <fórmula-atômica> ::= V | F | <predicado> (<termo>1, ... , <termo>n) <fórmula> ::= <fórmula-atômica> | ⌐(<fórmula>) | (<fórmula>1 ^ <fórmula>2) | (<fórmula>1 v <fórmula>2) | (<fórmula>1 → <fórmula>2) | ( <variável>.(<fórmula>)) | (ᴲ<variável>.(<fórmula>)) A

32 Conjunções lógicas O símbolos indicam: V e F: Verdadeiro e Falso.
⌐/~ : não / negação. ^ : e / and (conjunção). v : ou / or (disjunção). → : implica (se...então) . : qualquer. : existe. ↔: bicondicional (se e somente se...) A E

33 Representando as proposições
Considere as proposições a seguir: P: Cristiano é professor. Q: Artur é diretor acadêmico. Representando as proposições: P v Q: Cristiano é professor ou Artur é diretor acadêmico. P ^ Q: Cristiano é professor e Artur é diretor acadêmico. P ^ ~Q: Cristiano é professor ou Artur não é diretor acadêmico. P -> Q: Se Cristiano é professor, então Artur é diretor acadêmico.

34 Exercício Verifique se são equivalentes os pares de sentenças abaixo:
A. Se o céu está encoberto, então vai chover. O céu não está encoberto ou não vai chover B. Se está quente e úmido, então vai cair uma tempestade. Se não está quente nem úmido, então não vai cair uma tempestade.