1 Disciplina: Inteligência Artificial Curso: Sistemas de Informação Período: 7º Prof.: Fábio Martins de Oliveira Sistemas Especialistas: formas de encadeamento.

Slides:



Advertisements
Apresentações semelhantes
Gerenciamento de Projetos
Advertisements

Viviane Torres da Silva
Sistemas especialistas
Prof. Robson Rodrigues da Silva
Algoritmos de Busca CONTEÚDO (1) Motivação (2) Busca Linear
Ensaiando um ensaio.
Representação do Conhecimento e Raciocínio
Lógica de Fuzzy Um pouco sobre Fuzzy.
Introdução à Programação Lógica
Raciocínio Viviane Torres da Silva
Sistemas Especialistas Inteligência Artificial Profa. Ligia Flávia A. Batista.
Agentes Baseados em Regras de Produção
O TEXTO ARGUMENTATIVO ESTRATÉGIAS
2. A Linguagem Prolog.
Lógica e lógica de programação
“... Sem método científico, não se faz ciência!”
Sistemas Baseados em Regras de Produção
DEDUÇÃO NO CÁLCULO PROPOSICIONAL
INF 1771 – Inteligência Artificial
INF 1771 – Inteligência Artificial
INF 1771 – Inteligência Artificial
Conceitos Básicos.
Métodos de Demonstração
Método SMART Alunos: Antonio Carlos B. Garçon
Exercícios: Alg Gulosos Eduardo Laber. Cap 4-Exercício 2 a)Verdadeiro, já que trocando cada elemento pelo seu quadrado não altera a ordem das arestas.
Lógica Proposicional UESC
As três peneiras.
Disciplina Interação com o Mundo Natural : Ciências da natureza II
Métodos Científicos Método Indutivo
INF 1771 – Inteligência Artificial
O problema do emparelhamento máximo
Aulas 9,10 Fábio Nakano.
Modelos Matemáticos Usados como tipos em especificações baseadas em modelos Apresentados como teorias ou sistemas formais Uma teoria é definida em termos.
SEMÂNTICA.
Agentes Baseados em Regras de Produção
Agentes Cognitivos Adaptativos Aula: Sistemas Baseados em Regras de Produção Flávia Barros 1.
Sistemas Especialistas
Sistemas Inteligentes
Sistemas Inteligentes Sistemas Baseados em Regras de Produção
Ciclo da perícia.
Disciplina: Inteligência Artificial
Reasoning Forward and Backward Chaining
INSTITUTO DOM FERNANDO ESCOLA DE FORMAÇÃO DA JUVENTUDE FORMAÇÃOPROFISSIONAL Prof. Luis Guilherme.
Formação Técnica em Administração Modulo de Padronização e Qualidade
Introdução à Lógica Jeneffer Ferreira
Fábio de Oliveira Borges
A Construção da Ciência
CURSO PRÉ-VESTIBULAR DO FAYAL MATEMÁTICA PROF. THIAGO MORETI
Lógica Matemática Introdução.
Inteligência Artificial: Lógica Proposicional e Prolog
A Psicologia Experimental
Trabalho realizado por:
Inferir: é o ato ou processo de derivar conclusões lógicas de premissas conhecida ou decididamente verdadeiras. A dedução é uma inferência.

Inteligência Artificial: A Linguagem Prolog (Parte 1)
Explaining answers from the Semantic Web: the Inference Web Approach Deborah L. McGuinness, Paulo Pinheiro da Silva ∗ Knowledge Systems Laboratory, Stanford.
Regras de Inferência Como gerar na Lógica Proposicional formas válidas de argumento? Regras de Inferência permitem gerar formas de argumentos numa série.
Titulo do Trabalho Autor Prof. Orientador
ELABORAÇÃO DE PROJETO CIENTÍFICO PROFESSORA: MARINEIDE PEREIRA ALMEIDA
SEMÂNTICA.
Inteligência Artificial como Apoio à Decisão
TEORIA DOS NÚMEROS Aula 2 – Princípio da Indução Finita
Colégio da Imaculada Colégio da Imaculada Curso Técnico em Informática
Disciplina: Lógica de Programação
Aula de hoje: Escola de Médiuns Seara Espírita Caminho, Verdade e Vida Escola de Médiuns Seara Espírita Caminho, Verdade e Vida.
Aula Introdutória “Lógica para Computação”
Prof. Mário Alves Aula de Revisão da AV1 FUNDAMENTOS DE ANÁLISE I.
“não há ciência sem o emprego de métodos científicos”
Aula sobre Ciência, método, pesquisa Profa. Lílian Moreira.
Metodologia de Pesquisa e TCC Aula 2
Transcrição da apresentação:

1 Disciplina: Inteligência Artificial Curso: Sistemas de Informação Período: 7º Prof.: Fábio Martins de Oliveira Sistemas Especialistas: formas de encadeamento

2 Encademento Os ciclos de processamento de regras em um SE produzem cadeias de inferência; O tipo de encadeamento empregado por uma máquina de inferência indica como o SE vai aplicar as regras para alcançar uma conclusão para o processo de raciocínio.

3 Encademento Progressivo No EP o raciocínio começa dos dados existentes e caminha progressivamente com estes dados e os novos dados são gerados pelo processo: –Cada regra só pode ser disparada uma única vez durante o encadeamento; –As regras disparadas podem acrescentar novos fatos à base de fatos;

4 Encademento Progressivo –Os ciclos de encadeamento cessam quando nenhuma regra pode mais ser disparada. Exemplo: –R1: Y & D → Z –R2: X & B & E → Y –R3: A → X –R4: C → L –R5: L & M → N

5 Encademento Progressivo Suponha que na base de fatos sejam verdades A, B, C, D e E. Temos então: Ordem de procura das regras: R3, R4, R2 e R1; Ordem de disparo das regras: R3, R4, R2 e R1.

6 Encademento Progressivo Problema: suponha que queremos provar o fato de Z ser verdadeiro. No exemplo anterior aplicamos a regra 4 que não tinha relação alguma com a meta Z e, mesmo assim, foi disparada.

7 Encademento Regressivo Ao contrário do EP, o ER é uma técnica orientada à meta; Primeiramente, a base de conhecimento é varrida em busca de regras que possam gerar uma solução adequada e tais regras devem possuir a meta em seu conseqüente.

8 Encademento Regressivo Aplicando-se o ER no exemplo anterior para provar que Z é verdadeiro teríamos:

9 Encademento Regressivo Procura nas regras: Disparo das regras:

10 Encademento Regressivo Ordem de procura das regras: R1, R2 e R3; Ordem de disparo das regras: R3, R2 e R1.

11 Exercício 1 Suponha a seguinte base de regras e fatos:

12 Exercício 1 Pede-se: 1.Aplique o encademento progressivo e mostre a ordem de procura e a ordem de disparo das regras; 2.Aplique o encademento regressivo para provar que C é verdadeiro e mostre a ordem de procura e a ordem de disparo das regras.

13 Exercício 1 Resposta: 1.Ordem de procura: R4, R3, R5, R1 e R2. Ordem de disparo: R4, R3, R5, R1 e R2. 2.Ordem de procura: R2, R5, R3 e R4. Ordem de disparo: R4, R3, R5 e R2.

14 Exercício 2 Suponha a seguinte base de regras e fatos:

15 Exercício 2 Pede-se: 1.Aplique o encademento progressivo e mostre a ordem de procura e a ordem de aplicação das regras; 2.Aplique o encademento regressivo para provar que J é verdadeiro e mostre a ordem de procura e a ordem de disparo das regras.

16 Exercício 2 Resposta: 1.Ordem de procura: R1, R3, R4 e R2. Ordem de disparo: R1, R3, R4 e R2. 2.Ordem de procura: R2, R3 e R4. Ordem de disparo: R4, R3 e R2.

17 Perguntas???