Notes - MIECT
Inteligência Artificial
MIECTRedes de Comunicações 1Redes de Comunicações 2Análise de SistemasCompiladoresBases De DadosInteligência ArtificialSegurança Informática em OrganizaçõesInteracção Humano-ComputadorComputação DistribuídaMétodos Probabilísticos p/ Engenharia InformáticaSistemas De OperaçãoRedes E Sistemas AutónomosComunicações MóveisSegurança Em Redes De ComunicaçõesSistemas Operativos E De Tempo-real
Notes - MIECT
Inteligência Artificial
MIECTRedes de Comunicações 1Redes de Comunicações 2Análise de SistemasCompiladoresBases De DadosInteligência ArtificialSegurança Informática em OrganizaçõesInteracção Humano-ComputadorComputação DistribuídaMétodos Probabilísticos p/ Engenharia InformáticaSistemas De OperaçãoRedes E Sistemas AutónomosComunicações MóveisSegurança Em Redes De ComunicaçõesSistemas Operativos E De Tempo-real
  • 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

Inteligência Artificial

Resumos da matéria lecionada nas aulas teóricas da cadeira de IA

Index

  1. Tópicos de Inteligência Artificial

  2. Agentes

  3. Representação Do Conhecimento

  4. Técnicas de Resolução de Problemas

  5. Bayesian Networks

NextDefinição de “Inteligência”

Last updated 2 years ago