Glossário IA
O dicionário completo da Inteligência Artificial
Sistemas Especialistas
Programas de computador que emulam a capacidade de decisão de um especialista humano em um domínio específico.
Raciocínio Dedutivo
Processo lógico de dedução de novas conclusões a partir de premissas conhecidas e regras de inferência.
Lógica Formal
Estudo matemático dos sistemas formais de raciocínio e dos princípios de validade das inferências.
Programação Lógica
Paradigma de programação baseado na lógica matemática onde os programas são conjuntos de fórmulas lógicas.
Representação do Conhecimento
Disciplina que visa estruturar e organizar a informação de forma manipulável por sistemas inteligentes.
Sistemas Baseados em Regras
Sistemas de computador que utilizam regras de produção do tipo SE-ENTÃO para tomar decisões.
Grafos Semânticos
Estruturas de dados que representam conceitos e suas relações na forma de redes de nós e arcos.
Processamento de Linguagem Natural Simbólico
Abordagens não estatísticas de PNL baseadas em regras gramaticais e análise sintática formal.
Planejamento Automático
Geração automática de sequências de ações para atingir objetivos predefinidos em um determinado ambiente.
Sistemas de Reescruta
Mecanismos formais de transformação de expressões de acordo com regras de substituição predefinidas.
Teoria da Prova Automática
Campo que visa automatizar a demonstração de teoremas matemáticos e lógicos.
Programação por Restrições
Paradigma de resolução de problemas baseado na formulação de restrições e sua satisfação automática.