Dihexa aparece com frequência em conversas e raramente com contexto. Aqui vão primeiro os fundamentos, depois as considerações práticas.
Atualizado em 2026-08-01. Números e descrições seguem a literatura publicada, não o material promocional.
Não é necessária uma série explícita de ações, como ocorre nas linguagens de programação imperativa. O Japão promoveu a Prolog no Projeto de Quinta Geração, pretendendo construir hardware especial para obter alto desempenho. Da mesma forma, foram construídas máquinas Lisp para executar Lisp, mas, quando o segundo período de prosperidade da IA entrou em colapso, essas empresas não conseguiram competir com as novas estações de trabalho, que então podiam executar Lisp ou Prolog nativamente em velocidades comparáveis. Consulte a seção sobre história para mais detalhes. Smalltalk foi outra linguagem de programação influente na IA. Por exemplo, introduziu metaclasses e, juntamente com Flavors e CommonLoops, influenciou o Common Lisp Object System (CLOS), que hoje faz parte da Common Lisp, o dialeto Lisp padrão atual. O CLOS é um sistema orientado a objetos baseado em Lisp que permite herança múltipla, além de extensões incrementais de classes e metaclasses, fornecendo assim um protocolo de metaobjetos em tempo de execução. Para outras linguagens de programação de IA, consulte uma lista de linguagens de programação para inteligência artificial. Atualmente, Python, uma linguagem de programação multiparadigma, é a linguagem de programação mais popular, em parte devido à sua ampla biblioteca de pacotes que oferece suporte à ciência de dados, ao processamento de linguagem natural e à aprendizagem profunda. A Python inclui um ciclo de leitura–avaliação–impressão, elementos funcionais como funções de ordem superior e programação orientada a objetos, inclusive metaclasses.
Fontes: pt.wikipedia.org
=== Busca === A busca aparece em muitos tipos de resolução de problemas, incluindo planejamento, satisfação de restrições e jogos como damas, xadrez e go. Os algoritmos de busca em árvores mais conhecidos na IA são a busca em largura, a busca em profundidade, o A* e a busca em árvore de Monte Carlo. Entre os principais algoritmos de busca para o problema de satisfatibilidade booleana estão WalkSAT, aprendizado de cláusulas orientado por conflitos e o algoritmo DPLL. Para a busca adversária em jogos, a poda alfa–beta, o método de ramificação e limitação e o minimax foram contribuições iniciais.
Fontes: pt.wikipedia.org
Foram investigadas várias abordagens diferentes para representar conhecimento e depois raciocinar com essas representações. A seguir apresenta-se uma visão geral concisa das abordagens de representação de conhecimento e raciocínio automatizado.
Fontes: pt.wikipedia.org
Redes semânticas, grafos conceituais, quadros e lógica formal são abordagens para modelar conhecimento, como conhecimento de domínio, conhecimento sobre resolução de problemas e o significado semântico da linguagem. Ontologias modelam conceitos fundamentais e suas relações em um domínio. Entre os exemplos estão YAGO, WordNet e DOLCE. A DOLCE é um exemplo de ontologia superior que pode ser usada em qualquer domínio, enquanto a WordNet é um recurso lexical que também pode ser visto como uma ontologia. A YAGO incorpora a WordNet como parte de sua ontologia, para alinhar fatos extraídos da Wikipédia com os conjuntos de sinônimos da WordNet. A Disease Ontology é um exemplo de ontologia médica atualmente em uso. A lógica de descrição é uma lógica para a classificação automatizada de ontologias e para a detecção de dados de classificação inconsistentes. A OWL é uma linguagem utilizada para representar ontologias com lógica de descrição. O Protégé é um editor de ontologias capaz de ler ontologias em OWL e verificar sua consistência com classificadores dedutivos como o HermiT. A lógica de primeira ordem é mais geral que a lógica de descrição. Os provadores automáticos de teoremas discutidos abaixo podem provar teoremas em lógica de primeira ordem. A lógica de cláusulas de Horn é mais restrita que a lógica de primeira ordem e é usada em linguagens de programação lógica como a Prolog.
Fontes: pt.wikipedia.org
Dihexa é resumido aqui a partir de literatura pública: definição, contexto e pontos recorrentes na prática. Informação geral, não aconselhamento médico.
A pesquisa sobre Dihexa apoia-se sobretudo em estudos de laboratório e modelos animais; dados clínicos variam conforme a substância.
Pureza e análise (HPLC, espectrometria de massa), reconstituição correta e armazenamento adequado são decisivos.%!(EXTRA string=Dihexa)
Nem todos os mecanismos estão demonstrados e um estudo isolado não é evidência global. As questões abertas são sinalizadas.%!(EXTRA string=Dihexa)