Acesso mais rápido do que o navegador!
13 relações: Disjunção lógica, Inteligência artificial, Lógica de descrição, Lógica de predicados, Lógica de primeira ordem, Lógica proposicional, Linguagem recursiva, Método dos Tableaux, OWL, Quantificação, Sebastian Rudolph, Tear, Terminologia.
Disjunção lógica
Disjunção, operador ou (OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas.
Novo!!: Lógica de descrição e Disjunção lógica · Veja mais »
Inteligência artificial
Inteligência artificial (de sigla: IA; do inglês: artificial intelligence, de sigla: AI) é um campo de estudo multidisciplinar que abrange varias áreas do conhecimento.
Novo!!: Lógica de descrição e Inteligência artificial · Veja mais »
Lógica de descrição
A Lógica de descrição (LD) é uma família de linguagens formais de representação do conhecimento.
Novo!!: Lógica de descrição e Lógica de descrição · Veja mais »
Lógica de predicados
Para o termo específico, ver Lógica de primeira ordem Na lógica matemática, a lógica de predicados é um termo genérico para sistemas formais simbólicos como lógica de primeira ordem, lógica de segunda ordem, many-sorted logic ou infinitary logic.
Novo!!: Lógica de descrição e Lógica de predicados · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Lógica de descrição e Lógica de primeira ordem · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Lógica de descrição e Lógica proposicional · Veja mais »
Linguagem recursiva
A linguagem recursiva em matemática, lógica e ciência da computação, uma linguagem formal (a definir de sequências finitas de símbolos tomados de um fixo alfabeto) é chamada recursiva se é um subconjunto recursivo no conjunto de todas as palavras possíveis sobre o alfabeto da linguagem.
Novo!!: Lógica de descrição e Linguagem recursiva · Veja mais »
Método dos Tableaux
Os tableaux semânticos são um sistema de dedução que também estabelece estruturas que permitem a representação e a dedução formal de conhecimento.
Novo!!: Lógica de descrição e Método dos Tableaux · Veja mais »
OWL
A OWL (Ontology Web Language) é uma linguagem para definir e instanciar ontologias na World Wide Web.
Novo!!: Lógica de descrição e OWL · Veja mais »
Quantificação
O termo Quantificação tem vários significados, gerais e específicos.
Novo!!: Lógica de descrição e Quantificação · Veja mais »
Sebastian Rudolph
Sebastian Rudolph (Berlim, 1968) é um ator alemão.
Novo!!: Lógica de descrição e Sebastian Rudolph · Veja mais »
Tear
Um tear é um aparelho manual, mecânico ou eletromecânico empregado para fins de tecelagem.
Novo!!: Lógica de descrição e Tear · Veja mais »
Terminologia
Terminologia é um conjunto determinado de vocábulos próprios de uma ciência, de uma arte, de um ofício ou de uma profissão, sendo estudo dos termos técnicos usados por exemplo em ciências especificas ou artes em geral.
Novo!!: Lógica de descrição e Terminologia · Veja mais »
Redireciona aqui:
Lógica descritiva, Lógicas de Descrição, Lógicas de descrição.
