23 relações: Algoritmo, Antiunificação (ciências da computação), Aprendiz indutivo de primeira ordem, Aprendizado de máquina, Banco de dados, Bioinformática, CiteSeerX, Cláusula de Horn, Complexidade de Kolmogorov, Ehud Shapiro, Estrutura de Herbrand, Forma normal conjuntiva, Hipótese alternativa, Indução matemática, Literal (lógica matemática), Método indutivo, Probabilidade indutiva, Processamento de linguagem natural, Programação lógica, Prolog, Regra de inferência, Se e somente se, Subconjunto.
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Programação em lógica indutiva e Algoritmo · Veja mais »
Antiunificação (ciências da computação)
Antiunificação é o processo de construção de uma generalização comum a duas expressões simbólicas.
Novo!!: Programação em lógica indutiva e Antiunificação (ciências da computação) · Veja mais »
Aprendiz indutivo de primeira ordem
No aprendizado de máquina, o Aprendiz Indutivo de Primeira Ordem (AIPO) é um algoritmo de aprendizado baseado em regras.
Novo!!: Programação em lógica indutiva e Aprendiz indutivo de primeira ordem · Veja mais »
Aprendizado de máquina
O ou também (em inglês: machine learning) é um subcampo da Engenharia e da ciência da computação que evoluiu do estudo de reconhecimento de padrões e da teoria do aprendizado computacional em inteligência artificial.
Novo!!: Programação em lógica indutiva e Aprendizado de máquina · Veja mais »
Banco de dados
são conjuntos de arquivos relacionados entre si, podendo conter registros sobre pessoas, lugares ou informações em geral.
Novo!!: Programação em lógica indutiva e Banco de dados · Veja mais »
Bioinformática
Mapa do cromossomo X humano (a partir do site NCBI). O mapeamento do genoma humano é uma das maiores conquistas da bioinformática Bioinformática é um campo interdisciplinar que corresponde à aplicação das técnicas da informática, no sentido de análise da informação, nas áreas de estudo da biologia.
Novo!!: Programação em lógica indutiva e Bioinformática · Veja mais »
CiteSeerX
CiteSeerx é um motor de busca, biblioteca digital e repositório público para trabalhos científicos e acadêmicos com foco em computadores e ciência da informação.
Novo!!: Programação em lógica indutiva e CiteSeerX · Veja mais »
Cláusula de Horn
Em lógica, uma cláusula de Horn é uma cláusula (disjunção de literais) com no máximo um literal positivo.
Novo!!: Programação em lógica indutiva e Cláusula de Horn · Veja mais »
Complexidade de Kolmogorov
A complexidade de Kolmogorov é uma teoria da informação e da aleatoriedade, profunda e sofisticada, que trata da quantidade de informação de objetos individuais, medida através do tamanho de sua menor descrição algorítmica.
Novo!!: Programação em lógica indutiva e Complexidade de Kolmogorov · Veja mais »
Ehud Shapiro
Ehud Shapiro Ehud Shapiro (nascido em 1955) é um cientista de Israel, conhecido pelas contribuições para a linguagem Prolog e a programação lógica em geral.
Novo!!: Programação em lógica indutiva e Ehud Shapiro · Veja mais »
Estrutura de Herbrand
Em matemática, para uma linguagem \mathcal, define o Universo de Herbrand para o conjunto de condições básicas de \mathcal.
Novo!!: Programação em lógica indutiva e Estrutura de Herbrand · Veja mais »
Forma normal conjuntiva
Na lógica booleana, uma fórmula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas, onde uma cláusula é uma disjunção de literais.
Novo!!: Programação em lógica indutiva e Forma normal conjuntiva · Veja mais »
Hipótese alternativa
Em um teste de hipóteses estatísticas, a hipótese alternativa (ou hipótese de pesquisa) e a hipótese nula são as duas hipóteses rivais comparadas entre si.
Novo!!: Programação em lógica indutiva e Hipótese alternativa · Veja mais »
Indução matemática
O efeito dominó Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições.
Novo!!: Programação em lógica indutiva e Indução matemática · Veja mais »
Literal (lógica matemática)
Na lógica matemática, um literal é uma fórmula atômica (átomo) ou a negação de um átomo.
Novo!!: Programação em lógica indutiva e Literal (lógica matemática) · Veja mais »
Método indutivo
Na lógica, método indutivo ou indução é o raciocínio que, após considerar um número suficiente de casos particulares, conclui uma verdade geral.
Novo!!: Programação em lógica indutiva e Método indutivo · Veja mais »
Probabilidade indutiva
A probabilidade indutiva tenta aferir a probabilidade de eventos futuros baseado em eventos passados.
Novo!!: Programação em lógica indutiva e Probabilidade indutiva · Veja mais »
Processamento de linguagem natural
10.1145/1643823.1643908 Processamento de língua natural (PLN) é uma subárea da ciência da computação, inteligência artificial e da linguística que estuda os problemas da geração e compreensão automática de línguas humanas naturais.
Novo!!: Programação em lógica indutiva e Processamento de linguagem natural · Veja mais »
Programação lógica
Programação lógica é um paradigma de programação que faz uso da lógica matemática.
Novo!!: Programação em lógica indutiva e Programação lógica · Veja mais »
Prolog
Prolog (Programação Lógica) é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática.
Novo!!: Programação em lógica indutiva e Prolog · Veja mais »
Regra de inferência
Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.
Novo!!: Programação em lógica indutiva e Regra de inferência · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: Programação em lógica indutiva e Se e somente se · Veja mais »
Subconjunto
Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").
Novo!!: Programação em lógica indutiva e Subconjunto · Veja mais »