3. Sistemas de raciocínio lógico: representação de conhecimento, lógica proposicional e de primeira ordem, regras de inferência e validade semântica

Este artigo apresenta uma visão unificada dos sistemas de raciocínio lógico, passando por lógica e representação de conhecimento, lógica proposicional, lógica de primeira ordem, regras de inferência, PROLOG e programação lógica, demonstração de teoremas e representação de conhecimento com raciocínio de senso comum. A ideia é entender como a IA baseada em lógica constrói uma base de conhecimento e realiza inferências passo a passo.

01/01/2026

Frames (Marcos) — Estruturar conhecimento com slots e valores, e expandir por herança

Os quadros de conhecimento são uma forma de representação em que um objeto ou situação é descrito por meio de uma “estrutura” com campos e valores. Cada quadro funciona como um esquema que organiza propriedades e relações de um determinado domínio.

12/30/2025

Grafo de conhecimento — Conectar fatos como tríplices (Sujeito–Relação–Objeto) para permitir busca e inferência

Um grafo de conhecimento (knowledge graph, KG) é uma forma de representação de conhecimento que armazena fatos do mundo separando-os em entidades e relações, conectadas em forma de grafo. A ideia central não é apenas “escrever fatos em frases”, mas estruturar quem se relaciona com quem, e de que forma, permitindo não só recuperação de informação, mas também inferência simples sobre as conexões.

12/25/2025

IA clássica (IA simbólica, 1G) — O ponto de partida da IA construída com regras e símbolos

A IA clássica (também chamada de IA simbólica ou “IA de 1ª geração”) é um paradigma inicial que representa conhecimento explicitamente com símbolos e regras e resolve problemas por inferência lógica. Em vez de aprender padrões a partir de dados, ela foca em aplicar com precisão estruturas de conhecimento e conjuntos de regras projetados por pessoas.

01/26/2026

Lógica de Predicados — Inferência mais rica ao representar objetos e relações com variáveis

Lógica de predicados vai além de tratar a frase inteira como um bloco (como na lógica proposicional) ao representar objetos e suas propriedades ou relações por meio de variáveis. Isso permite regras mais gerais e uma inferência mais expressiva.

01/17/2026

Lógica de primeira ordem — Um sistema de representação lógica com variáveis sobre objetos

Lógica de primeira ordem (LPO) amplia a lógica proposicional ao representar explicitamente objetos, suas propriedades e relações, e ao usar quantificadores para descrever regras gerais. Em IA, é uma linguagem padrão para representação de conhecimento e inferência lógica.

01/17/2026

Lógica Proposicional — A base da inferência com sentenças verdadeiro/falso

Lógica proposicional é o arcabouço lógico mais básico para raciocinar com sentenças que podem ser avaliadas como verdadeiras ou falsas. Ela trata cada sentença como uma proposição e combina proposições com símbolos lógicos para construir regras e realizar inferência.

01/17/2026

Raciocínio multi-salto — Uma forma de pensar que encontra a resposta encadeando pistas passo a passo

O raciocínio multi-salto é um estilo de inferência em que a resposta não aparece “de primeira”; ela é alcançada ao encadear várias pistas ao longo de múltiplas etapas. Isso é crucial quando a informação necessária está distribuída em diferentes trechos, documentos ou memórias.

01/23/2026

Redes semânticas (Semantic Networks) — Representar conhecimento como um grafo de conceitos e relações

As redes semânticas são uma forma baseada em grafos de representar conhecimento conectando conceitos (coisas) por meio de relações rotuladas (como eles se relacionam).

12/29/2025

Roteiros (Scripts) — Uma estrutura de conhecimento para o fluxo típico de eventos em uma situação

Roteiros (scripts) são uma estrutura de representação do conhecimento que guarda a sequência típica de eventos que costuma acontecer em uma situação familiar. Em vez de representar um fato isolado, o roteiro armazena um fluxo padrão de ações e expectativas.

12/29/2025