📦 Recursos Oficiais e Base de Dados WOKDEX

Referência Técnica para os Trabalhos Práticos (TP1, TP2, TP3 e Trilha IC)

Documentação técnica, JSON Schema, Dataset Canônico Bilíngue (PT-BR) e Relatório Exploratório para os Trabalhos Práticos da disciplina de Inteligência Artificial II.
Data de Publicação

12/09/2026

Data de Modificação

26/08/2026

Recursos Oficiais do WOKDEX 📦

Este documento centraliza todos os artefatos canônicos, bases de dados e especificações formais do ecossistema WOKDEX utilizados na disciplina de Inteligência Artificial II (IA II).

📊 Dataset Oficial da Disciplina: LeetCode Problems Dataset Bilíngue (PT-BR)

Para viabilizar o treinamento de redes neurais profundas (TP1), a indexação semântica em banco vetorial (TP2) e a curadoria autônoma com agentes (TP3), a disciplina adota o LeetCode Problems Dataset Bilíngue, uma base curada com 2.830 problemas públicos de programação traduzidos e auditados em Português Brasileiro (PT-BR).

Nota🔗 Links Oficiais para Acesso e Download

📈 Composição e Estatísticas do Dataset

  • Total de Registros: 2.830 problemas gratuitos com enunciado completo.
  • Distribuição por Dificuldade:
    • Easy (CS1/CS2): 752 problemas (26,6%) — ideal para conceitos introdutórios e estruturas básicas.
    • Medium (CS2/CS3): 1.417 problemas (50,1%) — estruturas de dados avançadas e algoritmos clássicos.
    • Hard (CS3/Maratona): 661 problemas (23,3%) — benchmarks avançados e otimização complexa.
  • Metodologia de Curadoria: Tradução técnica assistida por LLM (gpt-5.4-mini via OpenAI Batch API com Structured Outputs), garantindo 98,9% de fidelidade estrutural perfeita na preservação de tags HTML, expressões matemáticas, tabelas, código inline e variáveis originais.

🧩 Campos Disponíveis para os Modelos

Campo Tipo Aplicação nos TPs
id Inteiro Identificador unívoco do problema (1 a 3549).
title_pt Texto Título do problema em português.
description_pt Texto (HTML/Markdown) Feature Textual (\(X_{text}\)) para NLP no TP1 e Documento de Chunk no TP2 (RAG).
difficulty Categórico (Easy, Medium, Hard) Feature tabular de entrada ou baseline de classificação.
topics Lista de Strings (JSON) Rótulos Alvo (\(y\)) — skills e tópicos algorítmicos em português.
hints_pt Lista de Textos Dicas pedagógicas oficiais traduzidas para enriquecimento no TP2/TP3.
acceptance_rate Float (\(0.0\) a \(100.0\)) Métrica de taxa de aceitação (feature tabular para modelos Multi-Input).
likes / dislikes Inteiro Métricas de engajamento da comunidade de programadores.
solution_code_python Código Python Implementação de referência para validação de testes.

📄 Artigo Científico Base

Miranda Junior, A.; Santos, V. F. (2026). “Quebrando o Silêncio Pedagógico: O Modelo WOKDEX para Feedback Formativo em Juízes Online”. SBIE 2026 — Trilha TPIE (Trabalhos e Pesquisas em Informática na Educação). CBIE 2026.

As 4 Contribuições Científicas do Artigo

ID Contribuição Descrição
C1 Schema WOKDEX Modelo de metadados estruturado (YAML validado por JSON Schema) que formaliza atributos pedagógicos para exercícios de programação.
C2 Tipologia de 4 Testes Formalização das categorias SAMPLE, FUNCTIONAL, MISCONCEPTION e PERFORMANCE.
C3 Corpus de Referência Golden Catálogo com exercícios anotados manualmente com cenários pedagógicos ricos.
C4 Heurística de Modulação de Dica (HMD) Algoritmo que modula a emissão e a assertividade do feedback formativo com base na taxa de falha dos testes.

🔗 JSON Schema Oficial (wok-problem.json)

O arquivo wok-problem.json define a especificação sintática estrita (JSON Schema Draft-07) que todo artefato pedagógico do WOKDEX deve respeitar.

  • Arquivo Local: wok-problem.json (28 KB)
  • URL de Produção: https://api.mundodocodigo.com.br/api/public/json/wok-problem.json

Campos Obrigatórios (required)

id, name, slug, version, origin, description, editorial,
difficultyLevelId, timeComplexity, skills, solutions,
statements, successmsg, testScenarios

🎯 Os 4 Tipos de Teste (TestType)

Tipo Visível ao Aluno? Função Pedagógica no WOKDEX
SAMPLE ✅ Sim Testes dos exemplos do enunciado para depuração inicial do aluno.
FUNCTIONAL ❌ Não Testes que verificam a corretude funcional da solução em casos de borda normais.
MISCONCEPTION ❌ Não Armadilha pedagógica — testes projetados para capturar erros conceituais específicos (ex.: divisão inteira vs. ponto flutuante).
PERFORMANCE ❌ Não Testes com entradas volumosas para avaliar a complexidade assintótica de tempo e memória.

Subtipos de MISCONCEPTION

Subtipo Alvo Pedagógico Exemplo Clássico
TYPE Tipo de dado inadequado (CS1) Uso de int no lugar de double na divisão.
FORMAT Formatação de saída incorreta (CS1) Omissão de quebra de linha \n ou espaço sobressalente.
STRATEGY Abordagem algorítmica insuficiente (CS2/CS3) Resolução por força bruta onde se exige Programação Dinâmica.

📚 Heurística de Modulação de Dica (HMD)

A HMD (Contribuição C4 do artigo) define quando o sistema deve emitir a dica pedagógica (helpTip):

Nível de Confiança Condição do Teste Ação do Juiz Online
Alta Todos os testes do cenário falharam Emite helpTip com máxima certeza do diagnóstico.
Moderada Maioria dos testes falhou Emite helpTip acompanhado de ressalva investigativa.
Baixa Apenas 1 teste isolado falhou Não emite dica (evita falso diagnóstico por erro de digitação pontual).

🗂️ Arquivos Locais deste Diretório

Arquivo Descrição
wok-problem.json JSON Schema oficial do modelo WOKDEX (Draft-07) — 28 KB
artigo-sbie-wokdex.pdf Artigo científico completo publicado no SBIE 2026 — 250 KB
contribuicoes-artigo-sbie.md Detalhamento das 4 contribuições acadêmicas formais
index.qmd Esta página de referência técnica e documentação
De volta ao topo