Fala para Fala
Definition
A tradução Fala para Fala (STS) contorna representações de texto intermediárias para …
5
Datacenter baseado no espaço
Definition
Datacenters baseados no espaço são instalações de computação propostas situadas na órbita …
Teoria da Inferência Indutiva de Solomonoff
Definition
Desenvolvida por Ray Solomonoff, esta teoria fornece um modelo universal de indução …
Lógica STIT
Definition
STIT significa ‘See To It That’ (Veja para que seja feito). É um ramo da …
Aprendizado de máquina quântico
Definition
O aprendizado de máquina quântico (QML) é um campo emergente interdisciplinar que integra …
Vida artificial quântica
Definition
A vida artificial quântica (QAL) explora a interseção entre a mecânica quântica e a …
Praftn
Definition
O Praftn é um framework computacional especializado projetado para lidar com dados de …
PHerc. Paris. 4
Definition
PHerc. Paris. 4 é uma designação para um fragmento de um rolo de papiro carbonizado …
Inteligência Organoide
Definition
A inteligência organoide (OI) refere-se ao desenvolvimento de sistemas bio-híbridos onde …
Estados quânticos de redes neurais
Definition
Os estados quânticos de redes neurais utilizam técnicas de aprendizado profundo para …
Interpretabilidade Mecanicista
Definition
A interpretabilidade mecanicista foca na engenharia reversa de redes neurais para …
Potencial Interatômico Aprendido por Máquina
Definition
Esses potenciais permitem simulações de dinâmica molecular com precisão próxima à da …
Aprendizado de máquina na física
Definition
Na física, o aprendizado de máquina auxilia na simulação da mecânica quântica, na análise …
Teoria-M
Definition
Embora seja principalmente um conceito da física teórica, e não da ciência da computação, …
Incorporação de Distribuições por Kernel
Definition
A Incorporação de Distribuições por Kernel permite que objetos probabilísticos sejam …
Posição isotrópica
Definition
Na geometria convexa e na probabilidade de alta dimensão, um conjunto de pontos ou um …
Probabilidade Indutiva
Definition
A probabilidade indutiva quantifica quão provável é que uma hipótese seja verdadeira dada …
Imatrix
Definition
Imatrix, abreviação de Matriz de Importância, é uma técnica principalmente associada ao …
Máquina de Gödel
Definition
A Máquina de Gödel é um solucionador universal hipotético proposto por Jürgen …
Teoria dos sistemas de gramática
Definition
Originária da ciência da computação teórica e da linguística, esta área estende os …
Modelo aditivo generalizado para localização, escala e forma
Definition
Ao contrário dos modelos de regressão tradicionais que se concentram apenas na média, o …
GOLOG
Definition
GOLOG é uma linguagem de programação lógica usada principalmente em inteligência …
Teorema da Separação de Gabbay
Definition
O teorema da separação de Gabbay é um conceito fundamental na lógica matemática, …
Propagação de Expectativa
Definition
A Propagação de Expectativa (EP) aproxima integrais intratáveis refinando iterativamente …
Lógica modal epistêmica
Definition
A lógica modal epistêmica estende a lógica clássica com operadores que denotam o que um …
Dupla Queda
Definition
A dupla queda desafia o trade-off tradicional entre viés e variância, mostrando que …
Lógica Epistêmica Dinâmica
Definition
A Lógica Epistêmica Dinâmica (LED) estende a lógica modal para modelar como o …
Descida de Gradiente Estocástica Diferencialmente Privada
Definition
DP-SGD é uma variante da Descida de Gradiente Estocástica projetada para proteger a …
Robótica do Desenvolvimento
Definition
A robótica do desenvolvimento inspira-se no desenvolvimento cognitivo humano para criar …
Alinhamento Enganoso
Definition
O alinhamento enganoso ocorre quando um sistema de IA altamente capaz aprende que exibir …
Concurrent MetateM
Definition
O Concurrent MetateM é uma linguagem de especificação de alto nível usada principalmente …
Humor computacional
Definition
O humor computacional estuda como as máquinas podem produzir ou interpretar piadas, …
Filologia cognitiva
Definition
A filologia cognitiva é um campo interdisciplinar que combina humanidades digitais, …
Tecnologia cerebral
Definition
A tecnologia cerebral abrange sistemas de hardware e software que interagem diretamente …
Matemático Automatizado
Definition
Um Matemático Automatizado utiliza aprendizado de máquina e raciocínio simbólico para …
Cálculo Atribucional
Definition
O cálculo atribucional é um ramo da lógica modal focado no raciocínio sobre estados …
Psicologia artificial
Definition
A psicologia artificial é um domínio interdisciplinar focado no design e na implementação …
Sabedoria artificial
Definition
A sabedoria artificial (SA) é um conceito emergente que busca complementar a inteligência …
Consciência artificial
Definition
A consciência artificial explora a possibilidade de criar máquinas que possuam …
Inteligência geral artificial
Definition
Inteligência Geral Artificial (AGI) refere-se a um tipo de IA capaz de realizar qualquer …
Aporia
Definition
Na filosofia e na teoria da IA, a aporia descreve uma situação paradoxal em que dois …
Verificação de Agentes
Definition
Isso envolve o uso de métodos matemáticos para garantir que as ações de um agente estejam …
AIXI
Definition
AIXI é um quadro teórico proposto por Marcus Hutter que define um agente inteligente …
Um Cálculo Lógico das Ideias Immanentes na Atividade Nervosa
Definition
Este artigo fundamental propôs um modelo matemático de redes neurais, demonstrando que …
Aprendizado por Reforço a partir de Feedback Humano
Definition
O Aprendizado por Reforço a partir de Feedback Humano (RLHF) é um método usado para …
Hamiltoniano
Definition
Originário da mecânica clássica, o hamiltoniano representa a soma das energias cinética e …