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

Tamanho: px
Começar a partir da página:

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

Transcrição

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

2 Estratégias de busca Algoritmos de busca local e otimização: subida de encosta; têmpera simulada; feixe local; algoritmos genéticos 2

3 Agentes resolução de problemas É representado por um algoritmo de busca; Não possui acesso ao conhecimento do domínio de uma forma explícita O conhecimento do domínio aparece na definição de operadores e do teste de meta. Um agente baseado em conhecimento (KB) pode superar as limitações do agente que resolve problemas: Possui conhecimento sobre o mundo e suas próprias ações; Raciocina sobre as ações que ele pode executar. 3

4 Agentes baseado em conhecimento deve ser capaz de: Conhecer e representar estados, ações, etc; Incorporar novas percepções e atualizar representações internas do mundo; Inferir propriedades do mundo (não observáveis); Formular seus objetivos; Saber quais os efeitos de suas ações em diferentes estados. A base de conhecimento: É o principal componente do agente baseado em conhecimento; Consiste de um conjunto de fatos sobre o mundo. Cada fato é denominado de sentença. As sentenças são representadas numa linguagem de representação do conhecimento. 4

5 Representação do conhecimento - seres humanos sabem coisas e raciocinam - agentes artificiais também necessitam saber coisas (ter conhecimento) e raciocinar, pois isso permite comportamento bem sucedido. Agente baseado em conhecimento pode combinar o conhecimento geral com percepções correntes para deduzir outros aspectos do estado atual antes de selecionar ações. Ex. um médico ao diagnosticar um paciente antes de prescrever a receita. 5

6 Para todos os tipos de agentes, a linguagem natural também exige a dedução de estados ocultos. (conhecimento / ações) Ex. João viu a joia pela janela e a desejou. desejou o que? a refere-se a joia João lançou a pedra contra a janela e a quebrou. quebrou o que? a refere-se a janela Devemos passar o conhecimento e as metas de modo explícito, evitando ambiguidades (ou regras) da linguagem natural. 6

7 Agentes baseado em conhecimento tem duas tarefas: -Tarefa Tell: adiciona novas sentenças a base de conhecimento; - Tarefa Ask: questiona a base de conhecimento. A resposta resultante da tarefa ask deve ser obtida a partir do conhecimento previamente fornecido pela tarefa tell. Isto é obtido pelo uso de um mecanismo de inferência. 7

8 Agente baseado em conhecimento Níveis de descrição de um agente baseado em conhecimento: Nível do conhecimento ou epistemológico: descrição das categorias de conhecimento que um agente possui e como ele usa o conhecimento para raciocinar. Nível lógico: descreve como o conhecimento é representado formalmente e descreve o raciocínio do agente através de mecanismos de provas de teoremas. Nível de implementação: descreve o conhecimento e o raciocínio em termos de estruturas de dados e algoritmos. 8

9 Agente baseado em conhecimento Sistemas de representação de conhecimento: Mecanismo de inferência: algoritmos independentes de domínio Base de conhecimento: informação dependente de domínio. 9

10 Agente baseado em conhecimento A lógica é a linguagem utilizada para representar o conhecimento. Um modo de representar o conhecimento do agente lógico é por meio de proposições: que podem ser verdadeiras ou falsas. Usaremos a Lógica proposicional pois ilustra todos os conceitos básicos da lógica. Base de conhecimento é o elemento central do agente. Uma base de conhecimento é um conjunto de sentenças. Sentença é uma expressão declarativa que representa uma asserção sobre o mundo. 10

11 Agente baseado em conhecimento Exemplo do mundo de wumpus. É uma caverna que consiste de salas conectadas por passagens. Em algum lugar da caverna esta o wumpus monstro que devora qualquer um que entrar em sua sala. O wumpus pode ser atingido por um agente, mas o agente só tem uma flecha. Algumas salas contem poços sem fundo que qualquer um, exceto o wumpus, pode cair. Em alguma sala dessa caverna há um monte de ouro. O ouro é a motivação para os agentes entrarem no mundo de wumpus. 11

12 Definição do mundo de wumpus: Ambiente: uma malha 4x4 de salas. O agente começa no quadrado identificado como [1,1], voltado para a direita. As posições do ouro e do wumpus são escolhidas ao acaso, diferentes do quadrado inicial. Cada quadrado com exceção do inicial pode se um poço, com probabilidade 0,2. Atuadores: o agente pode mover-se para frente, virar 90 0 a direita ou 90 0 a esquerda. Pegar, deixar e atirar. A ação atirar pode ser usada para disparar uma flecha em linha reta diante do agente. A flecha continuará até atingir o wumpus ou atingir uma parede. O agente só tem uma flecha. 12

13 Definição do mundo de wumpus: Sensores: o agente tem cinco sensores que fornece uma única informação. - No quadrado contendo o wumpus e nos quadrados diretamente adjacentes, o agente perceberá um fedor; - - nos quadrados diretamente adjacente a um poço, o agente percebe uma brisa; - No quadrado onde esta o ouro, o agente percebe um resplendor; - Quando caminhar para uma parede, o agente recebe um impacto; - Quando o wumpus é morto, ele emite um grito que pode ser ouvido em qualquer lugar da caverna. As percepções são dadas ao agente sob a forma de lista de cinco símbolos. - Se houver um fedor e uma brisa, mas nenhum resplendor, impacto ou grito, ele receberá [fedor, brisa, nada, nada, nada] - Ao iniciar o jogo, o agente não sabe nada da configuração do ambiente. 13

14 Explorando o mundo de wumpus Para essa configuração inicial, baseado na lógica, descrever as percepções do agente. 14

15 Explorando o mundo de wumpus Primeira percepção: O jogo inicia com o agente posicionado na sala [1,1]. [nada, nada, nada, nada, nada] Deduz que: [1,2] e [2,1] são seguros, marca com ok. Supor que ele opte em ir para a sala [1,2] 15

16 Explorando o mundo de wumpus O agente detecta um fedor em [1,2], assim deve haver um wumpus nos quadros vizinhos Segunda percepção: [fedor, nada, nada, nada, nada] O wumpus não pode estar em [1,1], pela regra jogo. Logo, deve haver um wumpus em [1,3] ou [2,2] Dedução: wumpus em [1,3] ou [2,2] quadrado vazio em [2,1] O agente retorna a [1,1] e vai para a direção [2,1] 16

17 Explorando o mundo de wumpus Nesse momento há apenas um quadrado desconhecido que esta ok [2,1]. Nesse quadrado percebe-se uma brisa: [nada, brisa, nada, nada, nada] Nova dedução: brisa em [2,1] significa que deve haver um poço por perto, seja [3,1] ou [2,2]. O agente deve deduzir que [2,2] não tem wumpus como suposto, pois não sentiu fedor estando em [2,1]. Deduz também que [2,2] não é poço, pois não sentiu brisa quando estava em [1,2]. Assim o poço está em [3,1] e o wumpus em [1,3]. 17

18 Explorando o mundo de wumpus O agente segue para [2,2] que está ok. Percepção: [nada, nada, nada, nada, nada]. Supondo que o agente vá para [2,3]. O agente percebe um resplendor, deve agarrar o ouro e, consequentemente, encerrar o jogo. Neste quadro a percepção é: [fedor, brisa, resplendor, nada, nada] Em cada caso o agente tira uma conclusão a partir de informações disponíveis, essa conclusão tem a garantia de ser correta se as informações disponíveis estiverem corretas. Essa é uma propriedade fundamental do raciocínio lógico. 18

19 Resolva o problema do mundo de wumpus para a configuração dada, onde (P=poço, W=wumpus, O=ouro, A=agente) 4 P P 3 2 P O W 1 A

20 Próxima aula: Lógica proposicional 20

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial INF 1771 Inteligência Artificial Aula 05 Introdução à Lógica Edirlei Soares de Lima Introdução Humanos possuem conhecimento e raciocinam sobre este conhecimento. Exemplo: João jogou

Leia mais

Sistemas Inteligentes

Sistemas Inteligentes Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial INF 1771 Inteligência Artificial Aula 07 Agentes Lógicos Edirlei Soares de Lima Introdução Humanos possuem conhecimento e raciocinam sobre este conhecimento. Exemplo: João jogou

Leia mais

Sistemas Baseados em Conhecimento (Sistemas Especialistas) Profa. Dra. Sarajane Marques Peres

Sistemas Baseados em Conhecimento (Sistemas Especialistas) Profa. Dra. Sarajane Marques Peres Sistemas Baseados em Conhecimento (Sistemas Especialistas) Profa. Dra. Sarajane Marques Peres Sistema (agente) baseado em conhecimento Deve haver um modo de adicionar novas sentenças à base de conhecimento

Leia mais

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

MAC425/5739 Inteligência Artificial 6. Agentes lógicos MAC425/5739 Inteligência Artificial 6. Agentes lógicos Denis Deratani Mauá (largamente baseado no material de aula dos Profs. Edileri de Lima e Leliane de Barros) REPRESENTAÇÃO DE CONHECIMENTO Busca (cega,

Leia mais

Conhecimento e Raciocínio Agente Lógicos Capítulo 7. Leliane Nunes de Barros

Conhecimento e Raciocínio Agente Lógicos Capítulo 7. Leliane Nunes de Barros Conhecimento e Raciocínio Agente Lógicos Capítulo 7 Leliane Nunes de Barros leliane@ime.usp.br Agentes Lógicos Agentes que podem formar representações do mundo, usar um processo de inferência para derivar

Leia mais

Capítulo 7 - Agentes lógicos (Agentes baseados em Conhecimento)

Capítulo 7 - Agentes lógicos (Agentes baseados em Conhecimento) Capítulo 7 - Agentes lógicos (Agentes baseados em Conhecimento) Tópicos Definição geral - Agentes Baseados em Conhecimento (BC) Linguagens de representação do conhecimento Algoritmo Geral Exemplo de aplicação

Leia mais

Agentes Lógicos. Os agentes baseados no conhecimento:

Agentes Lógicos. Os agentes baseados no conhecimento: Agentes Lógicos A inteligência dos seres humanos é alcançada, não somente por mecanismos puramente reflexos, mas, por processos de raciocínio que operam em representações internas do conhecimento. Em IA,

Leia mais

Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da

Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação

Leia mais

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

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente Inteligência Artificial Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente 1 Bem-vindos ao Mundo do Wumpus Wumpus Agente caçador de tesouros 2 Codificação do Mundo do Wumpus 4 3 fedor

Leia mais

Sistemas de Representação e Raciocínio Parte 3

Sistemas de Representação e Raciocínio Parte 3 Sistemas de Representação e Raciocínio Parte 3 Introdução à Inteligência Artificial Profa. Josiane Baseado no material de David Poole, Alan Mackworth e Randy Goebel Abril/2007 1 Retomando da aula passada...

Leia mais

APLICAÇÃO DE REDES NEURAIS RECORRENTES EM AMBIENTES PARCIALMENTE OBSERVÁVEIS 1

APLICAÇÃO DE REDES NEURAIS RECORRENTES EM AMBIENTES PARCIALMENTE OBSERVÁVEIS 1 APLICAÇÃO DE REDES NEURAIS RECORRENTES EM AMBIENTES PARCIALMENTE OBSERVÁVEIS 1 Eldair Fabrício Dornelles 2, Henrique Augusto Richter 3, Márcia Da Silva 4, Rogério Samuel De Moura Martins 5, Sandro Sawicki

Leia mais

VERIFICAÇÃO DO DECAIMENTO DE INFORMAÇÃO EM REDES NEURAIS RECORRENTES APLICADAS AO PROBLEMA DO MUNDO DE WUMPUS 1

VERIFICAÇÃO DO DECAIMENTO DE INFORMAÇÃO EM REDES NEURAIS RECORRENTES APLICADAS AO PROBLEMA DO MUNDO DE WUMPUS 1 VERIFICAÇÃO DO DECAIMENTO DE INFORMAÇÃO EM REDES NEURAIS RECORRENTES APLICADAS AO PROBLEMA DO MUNDO DE WUMPUS 1 Henrique Augusto Richter 2, Eldair Fabrício Dornelles 3, Márcia Da Silva 4, Rogério Samuel

Leia mais

Conhecimento e Raciocínio Lógica Proposicional

Conhecimento e Raciocínio Lógica Proposicional Conhecimento e Raciocínio Lógica Proposicional Agente Baseado em Conhecimento ou Sistema Baseado em Conhecimento Representa conhecimento sobre o mundo em uma linguagem formal (KB) Raciocina sobre o mundo

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.

Leia mais

MAC425: EP2 Data de entrega: 4 de dezembro de 2006

MAC425: EP2 Data de entrega: 4 de dezembro de 2006 MAC425: EP2 Data de entrega: 4 de dezembro de 2006 4 brisa 3 brisa brisa 2 brisa 1 brisa brisa 1 2 3 4 Simulador do Mundo do Wumpus em Prolog Ambiente As alterações com relação ao livro AIMA, estão descritas

Leia mais

Informática I. Aula 21. Aula 21-07/11/06 1

Informática I. Aula 21.  Aula 21-07/11/06 1 Informática I Aula 21 http://www.ic.uff.br/~bianca/informatica1/ Aula 21-07/11/06 1 Aula de hoje Explicação sobre o trabalho 3 Jogo de prospecção de petróleo por robôs. http://www.inf.puc-rio.br/~mascarenhas/robots/

Leia mais

PCS 2428 / PCS 2059 lnteligência Artificial. Cálculo de Situações. Agente Baseado em Conhecimento. Agente Baseado em Lógica de Predicados

PCS 2428 / PCS 2059 lnteligência Artificial. Cálculo de Situações. Agente Baseado em Conhecimento. Agente Baseado em Lógica de Predicados Agente Baseado em Conhecimento PCS 2428 / PCS 2059 lnteligência Artificial Prof. Dr. Jaime Simão Sichman Prof. Dra. Anna Helena Reali Costa Cálculo de Situações função Agente-Baseado-Conhecimento(percepção)

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Edirlei Soares de Lima Lógica Proposicional Lógica muito simplificada. A sentenças são formadas por conectivos como:

Leia mais

INF INTELIGÊNCIA ARTIFICIAL TRABALHO 2 LÓGICA

INF INTELIGÊNCIA ARTIFICIAL TRABALHO 2 LÓGICA INF1771 - INTELIGÊNCIA ARTIFICIAL TRABALHO 2 LÓGICA Descrição: Após reunir os três pingentes da virtude, Link caminha em direção a Lost Woods para obter a legendaria Master Sword. Porém, ao chegar à entrada

Leia mais

Agentes que Raciocinam Logicamente. Prof. Júlio Cesar Nievola PPGIA PUC-PR

Agentes que Raciocinam Logicamente. Prof. Júlio Cesar Nievola PPGIA PUC-PR Agentes que Raciocinam Logicamente Prof. Júlio Cesar Nievola PPGIA PUC-PR Um agente baseado em conhecimento Componente central: a base de conhecimentos (KB ou BC) A BC é um conjunto de representações de

Leia mais

Inteligência Artificial Agentes Inteligentes

Inteligência Artificial Agentes Inteligentes Inteligência Artificial Jarley P. Nóbrega, Dr. Faculdade Nova Roma Bacharelado em Ciência da Computação jpn@jarley.com Semestre 2018.2 Jarley P. Nóbrega, Dr. (Nova Roma) Inteligência Artificial Semestre

Leia mais

Lógica de primeira ordem First Order Logic (FOL)

Lógica de primeira ordem First Order Logic (FOL) Lógica de primeira ordem First Order Logic (FOL) Prós e Contras da Lógica Proposicional É declarativa: partes da sintaxe correspondem a fatos Permite informação disjuntiva e/ou negada (a diferença da maioria

Leia mais

Busca com informação e exploração. Inteligência Artificial

Busca com informação e exploração. Inteligência Artificial Busca com informação e exploração (Capítulo 4 - Russell) Inteligência Artificial Professor: Rosalvo Ferreira de Oliveira Neto Estrutura Busca pela melhor escolha Busca gulosa pela melhor escolha Busca

Leia mais

Lógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial

Lógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial Lógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial Estrutura 1- Contextualização 2- Definições 3- Lista de exercício 4- Prolog 5- Regras em Prolog - Mundo Wumpus 6- Aplicação do Mundo

Leia mais

Técnicas de Inteligência Artificial

Técnicas de Inteligência Artificial Universidade do Sul de Santa Catarina Ciência da Computação Técnicas de Inteligência Artificial Aula 02 Representação do Conhecimento Prof. Max Pereira Para que um computador possa solucionar um problema

Leia mais

INF INTELIGÊNCIA ARTIFICIAL TRABALHO 2 LÓGICA

INF INTELIGÊNCIA ARTIFICIAL TRABALHO 2 LÓGICA INF1771 - INTELIGÊNCIA ARTIFICIAL TRABALHO 2 LÓGICA Descrição: A sua cidade foi dominada por zumbis e você é o único sobrevivente! Mas os seus problemas estão apenas começando. Todas as saídas da cidade

Leia mais

Mundo do Wumpus. Inteligência Artificial. Beatriz F. M. Souza. Prof. Orivaldo Lira Tavares

Mundo do Wumpus. Inteligência Artificial. Beatriz F. M. Souza. Prof. Orivaldo Lira Tavares Mundo do Wumpus Beatriz F. M. Souza Prof. Orivaldo Lira Tavares Inteligência Artificial Departamento de Ciência da Computação Universidade Federal do Espírito Santo (UFES), Vitória, ES Brasil 15 de junho

Leia mais

Agentes Lógicos. Capítulo 7 (online)

Agentes Lógicos. Capítulo 7 (online) Agentes Lógicos Capítulo 7 (online) Sumário Agentes baseados em conhecimento O mundo do Wumpus Lógica em geral Lógica proposicional (Booleana) Equivalência, validade, satisfação Regras de inferência e

Leia mais

Inteligência Artificial - IA. Resolução de problemas por meio de busca

Inteligência Artificial - IA. Resolução de problemas por meio de busca Resolução de problemas por meio de busca 1 Agente reativo - definido por ação reação Agente de resolução de problemas (ou baseado em objetivos) encontra sequencias de ações que leva ao estado desejável.

Leia mais

Inteligência Artificial Prof. Marcos Quinet Pólo Universitário de Rio das Ostras PURO Universidade Federal Fluminense UFF

Inteligência Artificial Prof. Marcos Quinet Pólo Universitário de Rio das Ostras PURO Universidade Federal Fluminense UFF Inteligência Artificial Prof. Marcos Quinet Pólo Universitário de Rio das Ostras PURO Universidade Federal Fluminense UFF No capítulo anterior... Agentes lógicos; Inferência lógica; Introdução ao PROLOG.

Leia mais

Paradigma Simbólico. Sistemas de Informação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. (Apostila 2)

Paradigma Simbólico. Sistemas de Informação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. (Apostila 2) Paradigma Simbólico Sistemas de Informação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. (Apostila 2) Revisão da aula anterior: definição de IA Podemos associar o termo IA com: Parte da ciência da computação

Leia mais

Resumo. Como um agente busca de seqüência de ações para alcançar seus objetivos.

Resumo. Como um agente busca de seqüência de ações para alcançar seus objetivos. Resumo Inteligência Artificial Russel e Norvig Capítulos 3,4 e 5 Prof. MsC Ly Freitas UEG Resolução de problemas por meio de busca Como um agente busca de seqüência de ações para alcançar seus objetivos.

Leia mais

Busca com informação e exploração. Inteligência Artificial. Revisão da aula passada: Heurística Admissível. Revisão da aula passada: Busca A *

Busca com informação e exploração. Inteligência Artificial. Revisão da aula passada: Heurística Admissível. Revisão da aula passada: Busca A * Inteligência Artificial Aula 6 Profª Bianca Zadrozny http://www.ic.uff.br/~bianca/ia Busca com informação e exploração Capítulo 4 Russell & Norvig Seção 4.2 e 4.3 Revisão da aula passada: Busca A * Idéia:

Leia mais

O MUNDO DO WUMPUS EM LEGO-MINDSTORM E PROLOG

O MUNDO DO WUMPUS EM LEGO-MINDSTORM E PROLOG UNIVERSIDADE FEDERAL DOS VALES DO JEQUITINHONHA E MUCURI FACULDADE DE CIÊNCIAS EXATAS E DA TERRA DEPARTAMENTO DE COMPUTAÇÃO O MUNDO DO WUMPUS EM LEGO-MINDSTORM E PROLOG Christopher Albert Ferreira de Aguiar

Leia mais

Busca com informação e exploração. Inteligência Artificial. Busca pela melhor escolha. Romênia com custos em km 9/13/2010

Busca com informação e exploração. Inteligência Artificial. Busca pela melhor escolha. Romênia com custos em km 9/13/2010 Inteligência Artificial Aula 3 Profª Bianca Zadrozny http://www.ic.uff.br/~bianca/ia-pos Busca com informação e exploração Capítulo 4 Russell & Norvig Seção 4.1 2 Busca com informação (ou heurística) Utiliza

Leia mais

Figura 1: Jogo em acontecimento Servidor (Versão 1.0)

Figura 1: Jogo em acontecimento Servidor (Versão 1.0) INF1771 - INTELIGÊNCIA ARTIFICIAL TRABALHO 4 DESAFIO FINAL IA Website: http://augustobaffa.pro.br/site/inf1771-inteligencia-artificial-desafio-dos-drones/ Descrição: Sua missão é enviar um drone para terras

Leia mais

Representação do Conhecimento

Representação do Conhecimento Representação do Conhecimento O Estudo do Conhecimento Aprender - ato que produz um comportamento diferente a um estímulo externo devido a excitações recebidas no passado e é, de uma certa forma, sinônimo

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial INF 1771 Inteligência Artificial Aula 15 Incerteza Edirlei Soares de Lima Agentes Vistos Anteriormente Agentes baseados em busca: Busca cega Busca heurística Busca local Agentes

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial INF 1771 Inteligência Artificial Aula 08 Lógica de Primeira Ordem Edirlei Soares de Lima Agente Baseado em Conhecimento O componente central de um agente baseado em conhecimento

Leia mais

Descrição do Mundo de Wumpus. Inteligência Artificial

Descrição do Mundo de Wumpus. Inteligência Artificial Descrição do Mundo de Wumpus Mundo de Wumpus Mundo de Wumpus -1 Mundo de Wumpus - 2 Mundo de Wumpus - 3 Mundo de Wumpus - 4 Wumpus Outros Pontos Críticos Descrição Lógica do Mundo de Wumpus Identidades

Leia mais

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 5 Resolvendo Problemas

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 5 Resolvendo Problemas Inteligência Artificial Prof. Tiago A. E. Ferreira Aula 5 Resolvendo Problemas 1 Agente solucionador de problemas (guiado por objetivo) O agente reativo Escolhe suas ações com base apenas nas percepções

Leia mais

RESOLUÇÃO DE PROBLEMAS POR MEIO DE BUSCA (PARTE 1) *Capítulo 3 (Russel & Norvig)

RESOLUÇÃO DE PROBLEMAS POR MEIO DE BUSCA (PARTE 1) *Capítulo 3 (Russel & Norvig) RESOLUÇÃO DE PROBLEMAS POR MEIO DE BUSCA (PARTE 1) *Capítulo 3 (Russel & Norvig) 1 Tópicos 1. Agentes para resolução de problemas 2. Formulação de problemas 3. Exemplos de problemas 4. Soluções aos problemas

Leia mais

Agentes Baseados em Conhecimento

Agentes Baseados em Conhecimento Raciocínio Lógico Agentes Baseados em Conhecimento Conhecem alguma coisa sobre o mundo. Podem raciocinar para decidir sobre suas possíveis ações. São capazes de aceitar novas tarefas metas explícitas.

Leia mais

5 - Lógica Matemática Representação e Inferência

5 - Lógica Matemática Representação e Inferência EA 072 Inteligência Artificial em Aplicações Industriais 5 - Lógica Matemática Representação e Inferência 5.5 Lógica de Primeira Ordem Lógica proposicional assume que o mundo contém fatos Lógica de primeira

Leia mais

Introdução a Algoritmos Aula 1

Introdução a Algoritmos Aula 1 Introdução a Algoritmos Aula 1 Professor: Maurício Archanjo Nunes Coelho Metodologia Aulas expositivas Transparências Quadro negro Material disponível em PDF Resolução de exercícios Leitura/Estudo do material

Leia mais

Lista 1 Sistemas Inteligentes (INE5633) 2014s2. Cap. 2 - Russel & Norvig - Exercícios selecionados (respostas em azul)

Lista 1 Sistemas Inteligentes (INE5633) 2014s2. Cap. 2 - Russel & Norvig - Exercícios selecionados (respostas em azul) Lista 1 () 2014s2 Sistemas de Informação Universidade Federal de Santa Catarina Cap. 2 - Russel & Norvig - Exercícios selecionados (respostas em azul) 1. Tanto a medida de desempenho quanto a função de

Leia mais

Resolução de Problemas. Universidade Católica de Pelotas Engenharia da Computação Disciplina: Inteligência Artificial

Resolução de Problemas. Universidade Católica de Pelotas Engenharia da Computação Disciplina: Inteligência Artificial Resolução de Problemas Universidade Católica de Pelotas Engenharia da Computação Disciplina: Inteligência Artificial 2 Resolução de Problemas Introdução Componentes Solução Busca de soluções 3 Resolução

Leia mais

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

Dedução Natural e Sistema Axiomático Pa(Capítulo 6) Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista

Leia mais

Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação)

Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação) Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação http://www.inf.unioeste.br/~claudia/ia2018.html Inteligência Artificial Sistemas Baseados em Conhecimento Representação

Leia mais

Lógica. Professor Mauro Cesar Scheer

Lógica. Professor Mauro Cesar Scheer Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de

Leia mais

Fundamentos da Computação 1. Aula 03

Fundamentos da Computação 1. Aula 03 Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise

Leia mais

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos;

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos; Aula 02 - Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Resumo aula Conceituação; Origem;

Leia mais

Busca com informação e exploração. Capítulo 4 Russell & Norvig Seção 4.2 e 4.3

Busca com informação e exploração. Capítulo 4 Russell & Norvig Seção 4.2 e 4.3 Busca com informação e exploração Capítulo 4 Russell & Norvig Seção 4.2 e 4.3 1 Revisão da aula passada: Busca A * Idéia: evitar expandir caminhos que já são caros Função de avaliação f(n) = g(n) + h(n)

Leia mais

Sumário. Ciência da Computação. Prof. Dr. Leandro Alves Neves. Aula 06. Algoritmos e Programação. Informática II. q Noções de lógica

Sumário. Ciência da Computação. Prof. Dr. Leandro Alves Neves. Aula 06. Algoritmos e Programação. Informática II. q Noções de lógica Algoritmos e Programação Informática II Ciência da Computação Prof. Dr. Leandro Alves Neves Aula 06 1 Sumário Noções de lógica Representação do Conhecimento Lógica na Programação Lógica e Algoritmo: Resolução

Leia mais

PCS 2428 / PCS 2059 lnteligência Artificial. Lógica Proposicional. Agentes Baseados em Conhecimento. Agentes Baseados em Conhecimento

PCS 2428 / PCS 2059 lnteligência Artificial. Lógica Proposicional. Agentes Baseados em Conhecimento. Agentes Baseados em Conhecimento gentes aseados em Conhecimento PCS 8 / PCS 059 lnteligência rtificial Prof. Dr. Jaime Simão Sichman Prof. Dra. nna Helena Reali Costa Lógica Proposicional Como representar conhecimento e como utilizar

Leia mais

Inteligência Artificial

Inteligência Artificial Universidade Federal de Campina Grande Unidade Acadêmica de Sistemas e Computação Curso de Pós-Graduação em Ciência da Computação Inteligência Artificial Representação do Conhecimento (Parte I) Prof. a

Leia mais

Enunciados dos Exercícios Cap. 2 Russell & Norvig

Enunciados dos Exercícios Cap. 2 Russell & Norvig Enunciados dos Exercícios Cap. 2 Russell & Norvig 1. (2.2) Tanto a medida de desempenho quanto a função de utilidade medem o quanto um agente está desempenhando bem suas atividades. Explique a diferença

Leia mais

Inteligência Artificial IA IV. RACIOCÍNIO BASEADO EM REGRAS

Inteligência Artificial IA IV. RACIOCÍNIO BASEADO EM REGRAS Inteligência Artificial IA Prof. João Luís Garcia Rosa IV. RACIOCÍNIO BASEADO EM REGRAS Parte 2 2004 Um Sistema de Dedução Regressivo Uma propriedade importante da lógica é a dualidade entre asserções

Leia mais

Lógica Proposicional e Dedução Natural 1/48. Douglas O. Cardoso docardoso.github.io

Lógica Proposicional e Dedução Natural 1/48. Douglas O. Cardoso docardoso.github.io Lógica Proposicional e Dedução Natural douglas.cardoso@cefet-rj.br docardoso.github.io Lógica Proposicional e Dedução Natural 1/48 Roteiro 1 Uma Introdução Intuitiva 2 Proposições 3 DN: regras básicas

Leia mais

Lógica de Primeira Ordem. Capítulo 8

Lógica de Primeira Ordem. Capítulo 8 Lógica de Primeira Ordem Capítulo 8 Lógica Proposicional Linguagem declarativa sua semântica se baseia em uma relação-verdade entre sentenças e mundos possíveis Capacidade de expressão para lidar com informações

Leia mais

Resolução de Problemas

Resolução de Problemas Resolução de Problemas Prof. Cedric Luiz de Carvalho Instituto de Informática - UFG Mestrado em Ciência da Computação / 2006 TÓPICOS Resolução Metas Um Problema Processo para Resolução de Problemas Formulação

Leia mais

INF INTELIGÊNCIA ARTIFICIAL TRABALHO 1 BUSCA HEURÍSTICA

INF INTELIGÊNCIA ARTIFICIAL TRABALHO 1 BUSCA HEURÍSTICA INF1771 - INTELIGÊNCIA ARTIFICIAL TRABALHO 1 BUSCA HEURÍSTICA Descrição: Para se tornar um Mestre Pokémon é necessário aventurar-se por terras desconhecidas, capturar novos pokémons, treina-los e derrotar

Leia mais

É neste ponto que entra o conceito de lógica de programação.

É neste ponto que entra o conceito de lógica de programação. AULA 01 OBJETIVO: Desenvolvimento e solução de Algoritmos. LÓGICA DE PROGRAMAÇÃO A lógica é a ciência do pensamento correto. Esta declaração não implica, contudo, em afirmar que ela seja a ciência da verdade.

Leia mais

Resolução de Problemas de Busca

Resolução de Problemas de Busca Resolução de Problemas de Busca 1 Ao final desta aula a gente deve Compreender o que é um problema de busca em IA Ser capaz de formulá-lo Conhecer algumas aplicações Entender como buscar a solução do problema

Leia mais

Resolução de Problemas: Busca Heurística

Resolução de Problemas: Busca Heurística Resolução de Problemas: Busca Heurística Aula 3 - Inteligência Artificial Busca Heurística Duas variações: Busca usando heurística (não numérica). Busca usando funções de avaliação e funções de custo.

Leia mais

Resolução de Problemas

Resolução de Problemas Resolução de Problemas 1 Agente de Resolução de Problemas (1/2) 2 O agente reativo Escolhe suas ações com base apenas nas percepções atuais não pode pensar no futuro, não sabe aonde vai 4 5 8 1 6 7 2 3?

Leia mais

Algoritmos Genéticos. Texto base: Stuart Russel e Peter Norving - Inteligência Artificial

Algoritmos Genéticos. Texto base: Stuart Russel e Peter Norving - Inteligência Artificial Algoritmos Genéticos Texto base: Stuart Russel e Peter Norving - Inteligência Artificial junho/2007 Algoritmo Genético Uma variante da busca em feixe estocástica Estado sucessor gerado pela combinação

Leia mais

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

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE Filosofia (aula 10) Prof. de Filosofia SAE leodcc@hotmail.com Lógica Tipos de Argumentação Dedução parte-se do Universal para o Particular Tipos de Argumentação Dedução parte-se do Universal para o Particular;

Leia mais

INTELIGÊNCIA ARTIFICIAL. Prof. Cedric Luiz de Carvalho

INTELIGÊNCIA ARTIFICIAL. Prof. Cedric Luiz de Carvalho INTELIGÊNCIA ARTIFICIAL Será que ainda vou precisar 2/30 de Inteligência Artificial? 3/30 O que é IA? Campo do conhecimento que tenta entender e construir agentes inteligentes 4/30 Quais ações podem ser

Leia mais

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

Lógica Proposicional (Consequência lógica / Dedução formal) Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /

Leia mais

Resolução de problemas por meio de busca. Prof. Pedro Luiz Santos Serra

Resolução de problemas por meio de busca. Prof. Pedro Luiz Santos Serra Resolução de problemas por meio de busca Prof. Pedro Luiz Santos Serra Agentes de resolução de problemas Agente: É um elemento qualquer capaz de perceber seu ambiente por meio de sensores e de agir sobre

Leia mais

Ciência da Computação. Prof. Dr. Leandro Alves Neves Prof. Dr. Adriano Cansian

Ciência da Computação. Prof. Dr. Leandro Alves Neves Prof. Dr. Adriano Cansian Algoritmos e Programação Informática II Ciência da Computação Prof. Dr. Leandro Alves Neves Prof. Dr. Adriano Cansian 1 Sumário Noções de lógica Representação do Conhecimento Lógica na Programação Lógica

Leia mais

BUSCA LOCAL (PARTE 4 Resolução de problemas por meio de busca) (C)Russell & Norvig, capítulo 4

BUSCA LOCAL (PARTE 4 Resolução de problemas por meio de busca) (C)Russell & Norvig, capítulo 4 BUSCA LOCAL (PARTE 4 Resolução de problemas por meio de busca) (C)Russell & Norvig, capítulo 4 1 Roteiro Algoritmos de Busca Local Subida de encosta (Hill-climbing) Têmpera Simulada (Simulated Anealing)

Leia mais

Introdução a Inteligência Artificial

Introdução a Inteligência Artificial 1 Introdução a Inteligência Artificial Universidade Católica de Pelotas Curso de Engenharia da Computação Disciplina de 2 Introdução a Conceitos Agindo de forma humana Pensando como humano Pensando racionalmente

Leia mais

70 Tons de. Raciocínio. Lógico

70 Tons de. Raciocínio. Lógico 70 Tons de Raciocínio Lógico BRDE 2015 Qual operação lógica descreve a tabela verdade da função Z abaixo cujo operandos são A e B? Considere que V significa Verdadeiro, e F, Falso. A B Z F F V F V V V

Leia mais

Aula 1: Introdução ao curso

Aula 1: Introdução ao curso Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Exercícios da aula prática de Agentes 2011/12 1. Considere um agente num mundo em que existem 4 posições dispostas numa quadrícula 2X2. O agente tem dois sensores: um que indica

Leia mais

Um Algoritmo Genético com Aprendizado por Reforço Simples aplicado ao problema do Mundo de Grid

Um Algoritmo Genético com Aprendizado por Reforço Simples aplicado ao problema do Mundo de Grid 1 Um Algoritmo Genético com Aprendizado por Reforço Simples aplicado ao problema do Mundo de Grid Luciana Conceição Dias Campos Resumo Este trabalho consiste da aplicação de um algoritmo genético ao método

Leia mais

Lógica Proposicional. Modelo: qualquer mundo em que a sentença é verdadeira para alguma interpretação.

Lógica Proposicional. Modelo: qualquer mundo em que a sentença é verdadeira para alguma interpretação. istemas de Apoio à Decisão Clínica, 09-1 1 Lógica Proposicional Modelo: qualquer mundo em que a sentença é verdadeira para alguma interpretação. Uma sentença α é consequência lógica de um KB se os modelos

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Prof. Rafael Stubs Parpinelli DCC / UDESC-Joinville parpinelli@joinville.udesc.br www.joinville.udesc.br/portal/professores/parpinelli www2.joinville.udesc.br/~coca/ Agentes solucionadores

Leia mais

Lógica Proposicional. Modelo: qualquer mundo em que a sentença é verdadeira para alguma interpretação.

Lógica Proposicional. Modelo: qualquer mundo em que a sentença é verdadeira para alguma interpretação. istemas Inteligentes, 10-11 1 Lógica Proposicional Modelo: qualquer mundo em que a sentença é verdadeira para alguma interpretação. Uma sentença α é consequência lógica de um KB se os modelos de KB forem

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial INF 1771 Inteligência Artificial Aula 01 Resolução de problemas por meio de Busca Edirlei Soares de Lima Introdução Agentes Autônomos: Entidades autônomas capazes de observar o ambiente

Leia mais

Sistemas Especialistas

Sistemas Especialistas Agenda Sistemas Especialistas Revisão Conceitos Básicos Entender uma ferramenta para S.E. Sistemas de Informação Inteligentes Prof. Esp. MBA Heuber G. F. Lima Aula2 Page 2 Conceitos I.A. Sistemas Especialistas

Leia mais

Fundamentos 1. Lógica de Predicados

Fundamentos 1. Lógica de Predicados Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional

Leia mais

Técnicas de Programação

Técnicas de Programação Técnicas de Programação Algoritmos Anderson Gomes Eleutério Lógica A lógica de programação é necessária para pessoas que desejam trabalhar com desenvolvimento de sistemas e programas, ela permite definir

Leia mais

Busca com informação e exploração. Capítulo 4 Russell & Norvig Seção 4.1

Busca com informação e exploração. Capítulo 4 Russell & Norvig Seção 4.1 Busca com informação e exploração Capítulo 4 Russell & Norvig Seção 4.1 1 Busca com informação (ou heurísica) UIliza conhecimento específico sobre o problema para encontrar soluções de forma mais eficiente

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

Lógica de Primeira Ordem. Capítulo 9

Lógica de Primeira Ordem. Capítulo 9 Lógica de Primeira Ordem Capítulo 9 Inferência proposicional Prova semântica: através da enumeração de interpretações e verificação de modelos Prova sintática: uso de regras de inferência Inferência Proposicional

Leia mais

Sistemas Baseados em Conhecimento

Sistemas Baseados em Conhecimento Sistemas Baseados em Conhecimento Profa. Josiane M. P. Ferreira Baseado no capítulo 2 do livro Sistemas Inteligentes Fundamentos de Aplicações, organizadção: Solange Oliveira Rezende, ed. Manole, 2005.

Leia mais

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

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Aula 02 Introdução à Lógica Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Conceitos Iniciais sobre Lógica; Argumento; Inferência; Princípios. Contextualização: Situação

Leia mais

AULA TEÓRICA RESOLUÇÃO DE PROBLEMAS 4ª

AULA TEÓRICA RESOLUÇÃO DE PROBLEMAS 4ª AULA TEÓRICA RESOLUÇÃO DE PROBLEMAS 4ª Aula por Helder Coelho IIA 1 REPRESENTAÇÃO E INTELIGÊNCIA QUESTÕES PARA DISCUSSÃO: Transformação do problema compreender o problema reflectir/pensar o problema lógica,

Leia mais

Tópicos Especiais em Informática Fatec Indaiatuba

Tópicos Especiais em Informática Fatec Indaiatuba Prof. Dilermando Piva Jr. Fatec Indaiatuba Principais diferenças de um SBC e os convencionais Organização dos dados SBCs: métodos que fazem busca em um espaço de possíveis soluções e fazem uso intensivo

Leia mais

Engenharia de resolução de problemas

Engenharia de resolução de problemas Engenharia de resolução de problemas O processo de resolução de um problema pode ser visto como uma seqüência de passos que devem ser definidos e aprimorados, até que o modelo escolhido para sua representação

Leia mais

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais