Notes - MIECT
Inteligência Artificial
Notes - MIECT
Inteligência Artificial
  • Inteligência Artificial
  • Tópicos de Inteligência Artificial
    • Definição de “Inteligência”
    • História até à “Inteligência Artificial”
  • Agentes
    • Definição de “Agente”
    • Teste de Turing
    • A "Sala Chinesa" de Searle
    • Agentes Reactivos
    • Agentes Deliberativos
    • Arquiteturas
  • Representação do Conhecimento
    • Redes Semântica
      • GOLOG
      • UML / Diagramas de Classes
      • Indução versus Dedução
      • Em Python
    • Resolução e Refutação na Lógica de Primeira Ordem
    • Lógica Proposicional e Lógica de Primeira Ordem
      • Interpretações em Lógica Proposicional
      • Interpretações em Lógica de Primeira Ordem
      • Lógica - Regras de Substituição
      • CNF e Forma Clausal
      • Consequências Lógicas, Provas
      • Correcção, Completude
      • Metateoremas
      • Resolução não é Completa
      • Refutação por Resolução
      • Substituições, Unificação
      • Resolução com Claúsulas de Horn
    • Linguagem KIF
    • Engenharia do Conhecimento
    • Ontologias
    • Redes de Bayes
  • Técnicas de Resolução de Problemas
    • Resolução de problemas em IA
    • Formulação de problemas e pesquisa de soluções
    • Estratégias de pesquisa
      • Avaliação das estratégias de pesquisa
      • Pesquisa A*
        • Avaliação da Pesquisa em Árvore
      • IDA*
      • RBFS
      • SMA*
      • Pesquisa com propagação de restrições
      • Pesquisa por melhorias sucessivas
      • Planeamento
        • Aprendizagem
      • Árvores de decisão
      • Avaliação de algoritmos de aprendizagem supervisionada
  • Bayesian Networks
    • Ways to deal with Uncertainty
    • Discrete Random Variables
    • Probabilities
    • Conditional Probability
    • More General Forms of Bayes Rule
    • The Joint Distribution
    • Independence
    • Computing a Joint Entry
    • Exercises
Powered by GitBook
On this page
  • Aplicação: planear um passeio turístico
  • Aplicação: planeamento de sequências de acções
  • Representação de acções em problemas de planeamento
  • Exemplo: planeamento no mundo dos blocos
  1. Técnicas de Resolução de Problemas
  2. Estratégias de pesquisa
  3. Pesquisa A*

Avaliação da Pesquisa em Árvore

PreviousPesquisa A*NextIDA*

Last updated 2 years ago

Seja:

  • N – número de nós da árvore de pesquisa no momento em que se encontra a solução.

  • X – Número de nós expandidos (não terminais).

  • d – comprimento do caminho na árvore correspondente à solução.

Ramificação média – número médio de filhos por nó expandido:

Nota: a ramificação média é um indicador da dificuldade do problema.

Factor de ramificação efectivo – número de filhos por nó, B, numa árvore com ramificação constante e com profundidade constante d.

Portanto: ou seja: (resolve-se por métodos numéricos).

  • O factor de ramificação efectiva é um indicador da eficiência da técnica de pesquisa utilizada.

Aplicação: planear um passeio turístico

Dados:

  • Coordenadas entre cidades.

  • Distâncias por estrada entre cidades vizinhas.

Calcular:

  • O melhor caminho entre duas cidades.

Usando:

  • Pesquisa em largura.

  • Pesquisa A*.

Aplicação: planeamento de sequências de acções

O problema consiste em determinar uma sequência de acções a desempenhar por um agente por forma a que, partindo de um dado estado inicial, se atinja um dado objectivo.

O conhecimento do domínio inclui uma descrição das condições de aplicabilidade e efeitos das acções possíveis.

Representação de acções em problemas de planeamento

STRIPS – planeador desenvolvido por volta de 1970, por Fikes, Hart e Nilsson.

A funcionalidade de um dado tipo de operação é definida, no formalismo STRIPS, através de uma estrutura chamada operador, que inclui a seguinte informação:

  • Pré-condições - um conjunto de fórmulas atómicas que representam as condições de aplicabilidade deste tipo de operação.

  • Efeitos negativos (delete list) – um conjunto de fórmulas atómicas que representam propriedades do mundo que deixam de ser verdade ao executar- se a operação.

  • Efeitos positivos (add list) – um conjunto de fórmulas atómicas que representam propriedades do mundo que passam a ser verdade ao executar-se a operação.

Exemplo: planeamento no mundo dos blocos