Representação do Conhecimento



Documentos relacionados
Representação de Conhecimento

Matemática Discreta - 02

COMENTÁRIO DA PROVA DE ESCRIVÃO POLÍCIA CIVIL RACIOCÍNIO LÓGICO Prof. André Lessa. Prova aplicada em 16/03/2014 pela Vunesp. Versão 3.

Lógica Proposicional

Tema 1: Modelo Estático

Ló gica. Para Concursos Públicos. Professor Luiz Guilherme

Lógica Formal. Lógica Proposicional. Lógica Proposicional. Enigma motivador. Visão geral do estudo da Lógica

UNIVERSIDADE FEDERAL DE SANTA MARIA CENTRO DE TECNOLOGIA AULA 14 PROFª BRUNO CALEGARO

01. Considere as seguintes proposições:

Introdução à Engenharia de Computação

Redes de Computadores. 1 Questões de múltipla escolha. TE090 - Prof. Pedroso. 17 de junho de 2015

UM MODELO DE DADOS VOLTADO AO SERVIÇO DE INTELIGÊNCIA POLICIAL. 1. Introdução. 2. Problemática

Regras Métodos Identificadores Variáveis Constantes Tipos de dados Comandos de atribuição Operadores aritméticos, relacionais e lógicos

TÉCNICAS DE PROGRAMAÇÃO

Processamento de Linguagem Natural (PLN)

Resolução da Prova de Raciocínio Lógico do TCE/SP, aplicada em 06/12/2015.

Programação Funcional. Aula 5. Funções Recursivas. José Romildo Malaquias. Departamento de Computação Universidade Federal de Ouro Preto 2011.

1 INTRODUÇÃO 1.1 CONCEITO DE PARADIGMAS DE LINGUAGEM DE PROGRAMAÇÃO PARADIGMAS DE LINGUAGEM DE PROGRAMAÇÃO

Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas

Prof. Me. Marcos Echevarria

Simulador CCNA Exame de Certificação da CISCO

Manual de Comunidades RIPALC

Representação de Conhecimento. Lógica Proposicional

UNIVERSIDADE DA REGIÃO DE JOINVILLE - UNIVILLE DEPARTAMENTO DE ADMINISTRAÇÃO DE EMPRESAS

Definição. Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo.

ALGORITMOS E FLUXOGRAMAS

Reaproveitando algoritmos

Guia de utilização da notação BPMN

Sobre a atividade. Quais objetivos tenho que alcançar? Posso usar a atividade em outro momento?

Unidade Curricular Matemática para Computação Prof. Angelo Gonçalves da Luz Lógica Formal

Simulador PMP - 4º Edição Exame de Certificação do PMI

Sistemas de Representação e Raciocínio

Representação de Conhecimento

ILP - Introdução à Linguagem de Programação. Plano de estudo: - Constantes e variáveis. - Atribuindo valores às variáveis.

Inteligência Artificial

Dois eventos são disjuntos ou mutuamente exclusivos quando não tem elementos em comum. Isto é, A B = Φ

Disponibilizo a íntegra das 8 questões elaboradas para o Simulado, no qual foram aproveitadas 4 questões, com as respectivas resoluções comentadas.

Aula 05 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

Procedimentos de montagem e instalação

Transformação sobrenome + nome em nome completo utilizando Máquina de Turing

esags.edu.br Santo André > Av. Industrial, Bairro Jardim (11) Santos > Av. Conselheiro Nébias, 159 (13)

Sistema Integrado de Gerenciamento de Imposto Sobre Serviços.

NCE/12/00971 Relatório final da CAE - Novo ciclo de estudos

2-Introdução e Conceitos Básicos das TIC

A receita do mais do mesmo não funciona

Linguagem Lógica Prolog

Influência das práticas de sustentabilidade para a decisão de compra: um estudo com consumidores d' O Boticário.

APLICATIVOS GRÁFICOS (AULA 4)

INSTITUTO CAMPINENSE DE ENSINO SUPERIOR FACULDADE MAURÍCIO DE NASSAU CURSO DE ENFERMAGEM. NOME DOS ALUNOS (equipe de 4 pessoas) TÍTULO DO PROJETO

Engenharia de Software II

Donare Sistema de Gerenciamento de Ações Humanitárias

c. Técnica de Estrutura de Controle Teste do Caminho Básico

Programação em papel quadriculado

A TEORIA DA PROPOSIÇÃO APRESENTADA NO PERIÉRMENEIAS: AS DIVISÃO DAS PRO- POSIÇÕES DO JUÍZO.

Lista de Exercícios 1: Soluções Fundamentos da Lógica Lógica Proposicional

QUANTIFICADORES. Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1.

APOSTILA DE LÓGICA. # Proposições Logicamente Equivalentes. # Equivalências Básicas

Como pensamos e o que pensamos sobre cárie e sociedade? Modos de pensar da Odontologia

Manual Técnico e Certificado de Garantia

POLISSEMIA E HOMONÍMIA: EMPRÉSTIMOS DENTRO DA PRÓPRIA LÍNGUA

Arquitetura e Organização de Computadores

P110. Automação Pneumática EXERCÍCIO 01. Dispositivo de Alimentação

Nível de Enlace. Nível de Enlace. Serviços. Serviços oferecidos os nível de rede

3.1 Definições Uma classe é a descrição de um tipo de objeto.

COMPORTAMENTO DOS GERADORES DE INDUÇÃO DUPLAMENTE ALIMENTADOS EM TURBINAS EÓLICAS DE PEQUENO PORTE

DESENVOLVENDO COMPETÊNCIAS MATEMÁTICAS Marineusa Gazzetta *

Soluções via.net para otimização de processos paramétricos com Autodesk Inventor.

Considerações sobre redimensionamento de motores elétricos de indução

BIOSYS: sistema de captura e armazenamento de imagens para exames oftalmológicos em biomicroscópios - Fase 1 1

MINISTÉRIO DA EDUCAÇÃO E DO DESPORTO UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO. Jogos educacionais para aprendizado de algoritmos. Davi Simões Freitas

PROCEDIMENTO PARA CRIAÇÃO / ALTERÇÃO DE DOMÍNIO DE PREFEITURAS, CÂMARAS E ÓRGÃOS MUNICIPAIS/ESTADUAIS.

LÓGICA 1 - B Prof. Aurimenes

SISTEMA DE BIBLIOTECAS DO IFRS

Ata da resolução de exercício

Guia do Usuário ProAnalir Introdução Liberação das licenças... 3

1) Observe a fala do peru, no último quadrinho. a) Quantos verbos foram empregados nessa fala? Dois. b) Logo, quantas orações há nesse período? Duas.

Solução de problemas por meio de busca (com Python) Luis Martí DEE/PUC-Rio

MANUAL DO USUÁRIO. Argox OS-214 Plus. Conteúdo: Manual do Usuário ARGOX OS214 PLUS Página:

Programação Estruturada. Programação Estruturada. Idéias Básicas da Programação Estruturada

3 Qualidade de Software

INTELIGÊNCIA ARTIFICIAL

PROJETO DE REDES

Linguagens de. Aula 01. Profa Cristiane Koehler

PLANEJAMENTO ESTRATÉGICO

UM SISTEMA WEB PARA GERÊNCIA DE CAMPEONATOS DE BASQUETEBOL

Algoritmos e Programação

Presidência da República Casa Civil Secretaria de Administração Diretoria de Gestão de Pessoas Coordenação Geral de Documentação e Informação

CONTEÚDO E HORÁRIO DAS AVALIAÇÕES Nº 1 4º BIMESTRE/2015

ORGANIZAÇÃO DE COMPUTADORES MÓDULO 1

Lista de Exercícios Tratamento de Incerteza baseado em Probabilidade

PROCEDIMENTOS PARA UTILIZAÇÃO DO SICC

COLÉGIO IMACULADO CORAÇÃO DE MARIA

DESENVOLVENDO O SISTEMA

Plano Sob Medida Regulamento

EMENTAS DAS DISCIPLINAS

Eng Civil Washington Peres Núñez Dr. em Engenharia Civil pela Universidade Federal do Rio Grande do Sul

PREFEITURA DO RECIFE SECRETARIA DE SAÚDE SELEÇÃO PÚBLICA SIMPLIFICADA AGENTE COMUNITÁRIO DE SAÚDE ACS DADOS DE IDENTIFICAÇÃO DO CANDIDATO

APLICAÇÃO EM EDUCAÇÃO ALGUMAS INCONSISTÊNCIAS GERADORAS DE PERCENTUAIS ABAIXO DOS 25%.

Transcrição:

Representação do Conhecimento

Representação do Conhecimento Qual a importância de representar um mundo real no computador? 2

Representação do Conhecimento Qual a importância de representar um mundo real no computador? Resposta: Pois assim, o computador torna-se capaz de resolver (interpretar, predizer e responder) problemas. 3

Representação do Conhecimento Quais representações utilizar? 4

Boa representação Necessidade de uma boa representação Um algoritmo eficiente e um algoritmo que não funciona dependem: Do modo pelo qual o computador representa o problema; Das variáveis utilizadas; e Dos operadores aplicados às variáveis. Como encontrar uma lente de contato que caiu em um campo de futebol? 5

Encontrar uma lente de contato em um campo de futebol Qual o conhecimento que poderia ser utilizado para inciar a pesquisa? 6

Encontrar uma lente de contato em um campo de futebol Qual o conhecimento que poderia ser utilizado para inciar a pesquisa? Local onde você estava no campo Evita procurar em locais distantes onde a lente não pode ter caído. 7

Encontrar uma lente de contato em um campo de futebol Como isso poderia ser feito por um computador? 8

Encontrar uma lente de contato em um campo de futebol Como isso poderia ser feito por um computador? Ele pode possuir um mecanismo para responder se a lente está em um local específico. O que fazer então? Pesquisar todos os pontos do campo? 9

Encontrar uma lente de contato em um campo de futebol Como isso poderia ser feito por um computador? Ele pode possuir um mecanismo para responder se a lente está em um local específico. E então, pode dividir o campo em inúmeros pedaços e descartar onde não seria possível encontrar a lente. 10

Encontrar uma lente de contato em um campo de futebol Como isso poderia ser feito por um computador? Ele pode possuir um mecanismo para responder se a lente está em um local específico. E então, pode dividir o campo em inúmeros pedaços e descartar onde não seria possível encontrar a lente. Seria eficiente? Há outras formas de efetuar isso? 11

Paradigmas de representação do conhecimento Lógica; Sistemas de Produção; Redes Semânticas; Quadros (Frames); Árvores de Decisão. 12

Representação por Lógica Criada por Aristóteles há mais de 2300 anos: Uma linguagem par representar os processos envolvidos no pensamento. Trabalha sobre proposições: Simples: p: está chovendo; q: a raiz quadrada de 4 é 2; Compostas: P: está chovendo e ventando; Q: se está chovendo, então a pista está molhada. 13

Representação por Lógica E pode-se aplicar operações lógicas: Negação; Conjunção; Disjunção Inclusiva; Disjunção exclusiva; Condicional ou Implicação; Bicondicional ou Dupla negação; 14

Representação por Lógica Inferência com proposições: Premissas: p 1, p 2,..., p n, c; Onde: c é a consequência final, obtida com as premissas. Tem-se: Regra de inferência ou Argumento válido p 1, p 2,, p n c ou p 1, p 2,, p n c 15

Regras de Inferências Adição Simplificação União a a b a, b a b a b a Absorção a b a b Modus Ponens Modus Tollens Silogismo Disjuntivo Silogismo Hipotético a b,a b a b, b a a b, b a a b,b c a c 16

Representação por Lógica Lógica de Predicados: Objetos: substantivos (casa, lápis, maria,etc.); Relações: verbos para descrever relações entre objetos; Funções: relações em que existe somente um valor para uma dada entrada; Domínio: um conjunto de objetos; Elementos do domínio: elementos do domínio; Sentenças atômicas. Ex: Pai( Luis, Pedro); Sentenças complexas. Ex: irmão(luis,pedro) casado(lucas,maria); Quantificadores: (x) traidor(x) enforcado(x). 17

Um pouco de lógica dos predicados com prolog. 18

Representação por Sistemas de Produção Proposto pelo matemático Emil Post em 1943: Para tratar procedimentos computáveis. As regras estão no formato: condição ação SE <condição> ENTÃO <ação> Utilizando a regra de inferência Modus Ponens 19

Representação por Redes Semânticas É formado por um grafo orientado. Possui associações declarativas e procedurais. Os nós representam os objetos. As arestas representam as relações entre os objetos. cão corre atrás do gato 20

Representação por Quadros (Frames) Baseia-se na hipótese de que as pessoas usam conhecimentos adquiridos em experiências anteriores para resolver situações novas. Uma nova experiência Incrementa o conhecimento atual; Gera maior especialização.. 21

Representação por Quadros (Frames) Quadro: Cadeira Slot: número de pernas - inteiro (default: 4) Slot: tipo-de-encosto - curvo, reto, não-tem (default: curvo) Slot: tipo-de-assento - redondo, anatômico, reto (default: anatômico) Slot: número-de-braços - 2,1,0 (default: 0) Slot: cor - preta, branca, incolor, azul (default: incolor) Quadro: Cadeira-do-Renato É Cadeira Slot: número de pernas 4 Slot: tipo-de-encosto - (default: curvo) Slot: tipo-de-assento redondo Slot: número-de-braços 0 Slot: cor - (default: incolor) 22

Representação por Árvores de Decisão Manoel Pedro Luiz Ailton José Abel 23

Representação por Árvores de Decisão Programa Aardvark Tem pernas? Tem pernas? sim não sim não pato coelho pato Ele late? sim não coelho coelho 24