Uma jornada urbana pelo raciocínio

A lógica mora
na cidade.

Da sua residência ao bairro e ao centro, e de volta para casa: a lógica participa das tarefas, dos deslocamentos e dos serviços. Vamos torná-la visível e examinar seus limites.

Para que serve esta jornada?

Compreender a lógica presente nas situações cotidianas e usá-la para examinar como os sistemas funcionam — reconhecendo também o papel das evidências, dos objetivos e das pessoas nas decisões.

Começar pela residência ↗Ver o knowgrama ↓

13 paradas
Explore no seu ritmoExperimentos locais
Sem cadastroDo cotidiano
À visão de sistemas

CIDADE FICTÍCIA · Moradias e centro conectados · 13 paradas · comece na moradia (1) e conclua no retorno (13)

Casa 1 ↔ ruas locais ↔ praça: convivência, descanso e acesso a espaços públicos. O percurso inclui ida e retorno.

Residência → Bairro → Centro → Residência0 de 13 paradas exploradasSeu caderno de percurso ↗

01 / Da moradia à cidade e de volta

O cotidiano, visto
por outra lente.

Comece em casa, passe pelo condomínio e pelo bairro, escolha a ligação ao centro, explore seus serviços e retorne à residência. Em cada parada, leia “O que explorar nesta parada”, escolha uma perspectiva, altere as condições e observe o resultado. Ative “Com formalização” em Ajustar quando quiser conhecer a representação simbólica.

02 / Contextos que se ampliam

Uma história de
novas perguntas.

Um recorte da tradição ocidental e de seus desdobramentos na computação. Novas abordagens ampliam possibilidades; não eliminam as anteriores. Outras tradições, como a indiana e a chinesa, também desenvolveram investigações lógicas.

Antiguidade

Argumentar em público

Aristóteles sistematiza silogismos; os estoicos desenvolvem análises de argumentos com proposições.

Na cidade: examinar uma conclusão na praça.

Período medieval

Interpretar e debater

Tradições árabes e latinas aprofundam relações entre linguagem, significação e argumentação.

Na cidade: esclarecer termos de um acordo.

Século XIX

Calcular e quantificar

Boole aproxima lógica e álgebra; Frege amplia a formalização de relações e quantificação.

Na cidade: combinar condições e formular “todos”.

Século XX

Limites e circuitos

Gödel investiga limites de sistemas formais; Shannon aplica álgebra booleana a circuitos de comutação.

Na cidade: automatizar comandos.

Século XX em diante

Tempo e conhecimento

Lógicas temporais, modais, deônticas e não monotônicas atendem a diferentes problemas.

Na cidade: eventos, obrigações e revisão.

Computação e web

Representar e verificar

Verificação formal, ontologias e sistemas baseados em regras tornam inferências computáveis.

Na cidade: integrar serviços e testar requisitos.

Síntese histórica introdutória, sem pretensão de cobrir todas as tradições. Fontes e leituras ao final.

03 / Do cruzamento ao todo

Uma regra local.
Uma cidade inteira.

A teoria de sistemas ajuda a observar relações, fronteiras, ambiente e realimentação. A engenharia de sistemas transforma necessidades em requisitos, soluções e verificações ao longo do ciclo de vida.

Quem faz parte do sistema?

O sistema em foco é a travessia: pedestres, condutores, sensores, sinalização, controlador e manutenção. Chuva, eventos e fluxo de chegada compõem seu ambiente. A fronteira depende da pergunta investigada.

Das moradias aos serviços — e de volta

Ao ampliar a fronteira para a cidade, entram os moradores, suas casas e edifícios, as ruas locais, a praça, a estação e os serviços. As pessoas saem para trabalhar, estudar, obter atendimento e conviver, e retornam às moradias. Essas necessidades ajudam a explicar a existência e o funcionamento dos serviços urbanos.

As ligações são recíprocas: horários, acessibilidade e qualidade do transporte afetam a rotina residencial; a demanda dos bairros orienta capacidade, localização e funcionamento dos serviços. Água, energia, coleta e manutenção também conectam moradia e cidade.

Entradas: pedidos e sensoresProcessamento: regras e estadosSaídas: sinais e temposRealimentação: filas e espera

Uma decisão coerente em um cruzamento pode deslocar a fila para o seguinte. O comportamento do conjunto depende das interações.

Experimento de fila

Cenário — do bairro à estação

Pela manhã, moradores saem de suas casas e caminham até a estação. Para chegar lá, precisam atravessar uma avenida. Novas pessoas chegam à faixa enquanto outras aguardam a próxima oportunidade de atravessar.

Problema — a fila vai aumentar?

A cada rodada, chega um grupo de pedestres, mas apenas determinada quantidade consegue atravessar. Quando as chegadas superam essa capacidade, parte das pessoas permanece esperando e se acumula com as próximas chegadas.

Finalidade: investigar em que condições a fila cresce, diminui ou permanece estável e se uma regra de realimentação consegue conter o acúmulo. A necessidade que motiva o estudo é permitir que moradores cheguem à estação e aos serviços sem uma fila cada vez maior na travessia.

Como interpretar os elementos do experimento no cenário urbano.
Elemento	Significado no cenário
Chegadas por ciclo	Pessoas que chegam à travessia durante uma rodada — a entrada do sistema.
Capacidade por ciclo	Número máximo de pessoas que podem atravessar nessa rodada. A saída efetiva depende também de quantas pessoas estão disponíveis para atravessar.
Fila	Pessoas que permanecem aguardando após a rodada — um estado que passa ao ciclo seguinte.
Realimentação	A fila no início da rodada é observada; se superar 10 pessoas, a regra didática acrescenta 4 vagas à capacidade daquele ciclo, quando a opção está marcada.

Pergunta orientadora: uma regra que funciona em cada rodada é suficiente para evitar o crescimento da fila? Quando a realimentação ajuda e quando ela é insuficiente?

Ligação com a lógica e os sistemas: a condição “se a fila inicial for maior que 10 e a realimentação estiver ativada, então acrescentar 4 vagas” é uma regra local. Repetir ciclos permite investigar seus efeitos sobre o estado acumulado. Este recorte considera uma única travessia; não simula toda a cidade.

A capacidade adicional é uma simplificação didática. O experimento não determina tempos reais de semáforo nem avalia os efeitos sobre veículos e cruzamentos vizinhos. A referência a moradores e à estação contextualiza a fila; seus deslocamentos individuais não são simulados.

Observe quantas pessoas permanecem esperando para atravessar após cada rodada. Cada clique em “Simular um ciclo” avança uma rodada; não inicia uma animação contínua.

Antes de iniciar

Pré-requisito de compreensão: saber somar e subtrair e distinguir chegadas, capacidade e fila. Não é necessário conhecer fórmulas de lógica.
Defina o recorte: a fila representa pessoas aguardando uma travessia. Um ciclo é uma rodada abstrata do modelo, sem duração fixa em segundos.
Prepare os parâmetros: escolha quantas pessoas chegam e quantas podem atravessar por ciclo, usando os controles abaixo. Decida se deseja ativar a realimentação.
Comece pela fila zero: na primeira abertura ela já está zerada. Para comparar cenários após experimentar, clique em “Reiniciar”; os parâmetros escolhidos serão mantidos.

Primeiro teste sugerido: escolha 15 chegadas, capacidade 10, deixe a realimentação desmarcada e avance três ciclos. Antes de clicar, preveja o tamanho da fila.

Chegadas por ciclo: 8Capacidade por ciclo: 10 Realimentação: adicionar 4 vagas se a fila no início do ciclo for maior que 10

0pessoas na fila

Fila inicial = 0. Altere as entradas e avance um ciclo.

Como o cálculo funciona e o que observar

Fila seguinte = máximo(0, fila anterior + chegadas − capacidade efetiva). O resultado nunca fica negativo; capacidade não utilizada não se acumula para o próximo ciclo.

Com os valores iniciais, chegam 8 pessoas e podem atravessar até 10. A fila permanece em zero, mesmo após vários cliques. O botão está funcionando: há capacidade suficiente.

Exemplo: 15 chegadas e capacidade 10, sem realimentação.
Ciclo	Fila anterior	Chegadas	Capacidade	Fila restante
1º	0	15	10	5
2º	5	15	10	10
3º	10	15	10	15

Com realimentação: se a fila no início da rodada for maior que 10, a capacidade ganha 4 vagas somente naquele ciclo. Se ativada desde o início desse exemplo, ela atua no 4º clique: 15 + 15 − 14 = 16 pessoas. A fila ainda cresce, pois as chegadas superam a capacidade ampliada. Uma fila de exatamente 10 não ativa o acréscimo.

Compare: o que acontece quando chegam menos pessoas do que a capacidade? Aumentar 4 vagas resolve qualquer fila? Que informações da cidade real estão ausentes deste modelo?

Controles e registros: alterar parâmetros afeta o próximo ciclo e preserva a fila acumulada. “Reiniciar” zera apenas a fila. A simulação não é salva ao recarregar a página; registre suas previsões e conclusões no caderno.

Modelo didático: fila seguinte = máximo(0, fila + chegadas − capacidade efetiva). Não representa um controlador real; ignora atrasos, acessibilidade e cruzamentos vizinhos.

Necessidade	Requisito ilustrativo	Verificação	Validação no uso
Atravessar sem conflito de sinais	Nunca habilitar simultaneamente fluxos conflitantes	Examinar todos os estados e transições do modelo	Observar operação real e situações de risco
Conseguir atravessar a tempo	Definir duração com critérios locais e perfis de mobilidade	Medir a duração implementada	Testar com participação de pessoas com mobilidade diversa
Evitar espera excessiva	Definir limite de espera e tratamento de falhas	Simular demanda e falhas de sensores	Medir espera e ouvir usuários

04 / Visão do todo

Dois mapas para
orientar a caminhada.

O primeiro sintetiza o conhecimento sobre lógica. O segundo mostra como a jornada pela cidade articula esse conhecimento com sistemas, pessoas e informação. Escolha o mapa conforme a pergunta que deseja explorar.

1 · Knowgrama da lógica

Referente: lógica. Finalidade: reconhecer representação, inferência, avaliação e sistemas lógicos. O desenho original foi atualizado, preservando sua identidade visual e a aplicação no LAC. Leia as relações a partir do centro: a lógica utiliza formas de representação, estuda a inferência, fornece critérios para avaliação e é formalizada em sistemas lógicos.

Como ler o knowgrama da lógica

Comece no eixo central e siga as setas para os quatro blocos. Compare representação e inferência com as experiências da cafeteria e da estação. A faixa de ordens distingue os tipos de entidades quantificadas. A nota final lembra que a validade de uma inferência não comprova a verdade das premissas.

2 · Knowgrama da jornada pela lógica na cidade

Referente: a jornada de exploração. Finalidade: situar as 13 paradas no percurso residência–cidade–residência e mostrar o papel das perspectivas integradas. Os seis blocos do percurso são agrupamentos das paradas, não uma nova numeração de etapas.

Como usar o mapa da jornada

Localize a situação no percurso. Escolha uma perspectiva e leia “O que explorar nesta parada”. Experimente, registre uma explicação no caderno e indique fontes, lacunas e revisões. O retorno à residência permite comparar necessidade inicial, resultado e experiência das pessoas.

Clique em cada imagem para ampliar. Diagramas vetoriais incorporados à página, com descrição textual. O cenário é fictício e os modelos são simplificados. Os mapas não declaram um único sistema lógico formal adotado por todo o LAC.

05 / Modelagem no LAC

Da situação vivida
à representação.

Perspectivas complementares para tornar a experiência compreensível, verificável e revisável. Cada modelo responde a uma pergunta diferente.

Engenharia do conhecimento

Como o conhecimento da cidade vira modelo

Engenharia do conhecimento é a abordagem que ajuda a obter, analisar, representar, verificar e manter o conhecimento necessário a pessoas e sistemas. Na caminhada, parte das práticas e explicações de moradores, operadores e responsáveis pelos serviços.

Ouvir e observarExplicitar conceitos e regrasRepresentar relaçõesConfrontar casos e evidênciasRevisar e preservar versões

Perspectiva	Pergunta orientadora	Exemplo
Lógica	A conclusão decorre das premissas e regras?	A autorização de entrada decorre das condições registradas?
Teoria de sistemas	Como partes, ambiente e relações produzem o comportamento do conjunto?	Como transporte, moradia e atendimento se afetam?
Engenharia do conhecimento	Que conhecimento obter, representar, verificar e manter?	Quem conhece a regra de acesso, quais suas fontes e exceções?
Engenharia de sistemas	Como integrar pessoas, processos e tecnologias para atender necessidades ao longo do ciclo de vida?	Como especificar, implementar e avaliar o serviço de acesso?

Exemplo de representação: morador solicita serviço; solicitação possui estado; atendimento produz resultado. Vocabulários esclarecem os termos; modelos conceituais e ontologias explicitam relações e restrições; regras e tabelas de decisão apoiam a análise de ações.

Representar conhecimento não garante que ele esteja correto ou completo. Fontes, participantes, evidências e estado de revisão precisam ser explícitos. Conhecimento humano inclui práticas e interpretações que podem exigir mais que uma regra formal.

Ciência cognitiva · UX/UI · Ciência da informação

Como percebemos e interpretamos a cidade

Uma pessoa percebe sinais, interpreta seu significado com base em experiências e expectativas e decide como agir. A ciência cognitiva ajuda a investigar esse processo; UX/UI examina como informações e controles apoiam a ação; a ciência da informação investiga organização, busca e compreensão da informação.

Ciência cognitiva

O que a pessoa percebe, lembra, espera e conclui? Seu modelo mental corresponde ao funcionamento observado?

UX e UI

O estado e a próxima ação são claros? As alternativas podem ser usadas e compreendidas por pessoas com diferentes necessidades?

Ciência da informação

A informação necessária está disponível, identificada e recuperável? Seus termos, origem e atualidade ajudam a compreendê-la?

Uma luz acesa, diferentes interpretações

Informação disponível no painel

O exemplo compara informações e interpretações possíveis; não mede processos cognitivos nem representa como todas as pessoas pensam. O modelo mental deve ser investigado com as pessoas.

Na caminhada: abra “Pessoa, interface e informação nesta parada” para aplicar essas três perspectivas à situação. A lógica continua orientando o exame de premissas e conclusões.

Quando temos um sistema lógico formal?

Não basta uma lista de regras. É preciso explicitar a linguagem, sua interpretação e como as conclusões são justificadas.

Componente	No exemplo da biblioteca
Linguagem e sintaxe	Indivíduos, predicados, conectivos, quantificadores e regras para formar expressões.
Semântica	Definir o domínio de pessoas e o significado de Cadastrado e Elegível.
Axiomas e premissas	Todo cadastrado é elegível; Ana está cadastrada. São hipóteses do exemplo, não fatos sobre uma biblioteca real.
Inferência	Instanciar a regra para Ana e aplicar modus ponens.
Consequência	Ana é elegível em toda interpretação que satisfaça essas premissas.

Lógica clássica: negação, conjunção e demais operadores têm interpretações definidas. Outras lógicas mudam aspectos dessa estrutura. Ordens lógicas não são graus de qualidade ou inteligência.

Jornada, representação e Malha no LAC

A jornada organiza propósito e percurso; o método de aprendizagem orienta observar, representar, experimentar e explicar. O knowgrama é uma representação sobre o referente “lógica”. Notas, exemplos e relações podem alimentar objetos de conhecimento na Malha após revisão própria. A navegação entre paradas não comprova, por si, compreensão.

Ficha do knowgrama e desta unidade de exploração

Referente	Lógica, em situações urbanas e na modelagem de sistemas.
Pergunta	Como tornar explícito o raciocínio que usamos e reconhecer seus limites?
Objetivo	Representar condições, distinguir validade de verdade, explorar estados e explicar relações com sistemas.
Persona	Visitante curioso, aprendiz, autor ou modelador; sem exigência prévia de linguagem simbólica.
Pré-requisitos	Leitura de situações cotidianas e compreensão inicial de afirmações e conclusões.
Problema resolvido	Reconhecer que a lógica vai além de conectivos e que decisões reais também exigem evidências, objetivos e participação.
Restrições	Cidade e regras fictícias; exemplos não são normas de trânsito nem instruções operacionais.
Evidências	Explicação própria, contraexemplo, identificação de premissas e transferência para outro contexto.
Proveniência	Conversa e knowgrama da lógica; MCR-LAC consultado; referências externas listadas abaixo.
Estado	Versão 1.8 · glossário ampliado com domínio e domínio de quantificação · proposta didática para revisão humana · 04/11/2026.

06 / Além da coerência formal

Faz sentido.
Mas faz bem?

A lógica ajuda a avaliar consequências de premissas. A escolha de objetivos, a qualidade dos dados e a justiça dos resultados exigem outras formas de investigação e julgamento.

Verdade e evidência

“Se chove, a rua molha. A rua está molhada. Logo, choveu.” A conclusão não é necessária: um caminhão pode ter lavado a rua. Procure alternativas e evidências.

Probabilidade e causalidade

A previsão de chuva é uma estimativa. E observar mais guarda-chuvas quando há trânsito não prova que guarda-chuvas causam congestionamento.

Valores e participação

Reduzir o tempo médio dos carros pode aumentar a espera de pedestres. Quem escolhe o objetivo? Quem participa, pode contestar e recebe os benefícios?

Deduzir, generalizar, propor explicações

Dedução

Todos os ônibus da linha L passam pela praça. Este é da linha L. Portanto, passa pela praça, dadas as premissas.

Indução

O ônibus atrasou nos últimos dias chuvosos. Talvez atrase em outro dia de chuva. A conclusão é revisável.

Abdução

A rua está molhada. Chuva é uma explicação possível; limpeza e vazamento também. É preciso investigar.

07 / Evidências da sua caminhada

O que mudou no
seu modo de olhar?

Explore, registre e retome. Suas notas ficam neste navegador e podem ser exportadas. Uma resposta escrita também precisa de apreciação humana para avaliar aprendizagem.

Antes, eu entendia lógica como…Uma situação que me fez rever essa ideia…Agora consigo explicar ou fazer…Em outro contexto, eu aplicaria assim…

Conhecimento explicitado e a investigar

Que conhecimento explicitei e de onde ele veio?O que ainda não sei ou preciso confirmar?O que precisa ser revisto e por quê?

As alterações são salvas automaticamente neste navegador.

08 / Proveniência e continuidade

Para seguir
investigando.

Os experimentos são construções didáticas desta página. As referências sustentam os conceitos e permitem aprofundamento.

Escolha uma referência a partir da pergunta que deseja aprofundar. As aplicações abaixo são propostas didáticas desta jornada, não exemplos retirados literalmente das obras.
Referência	Para que investigar	Aplicação na caminhada
Stanford — Introduction to LogicIntrodução à lógica formal.	Investigar representação, consequência lógica e consistência.	Explicitar premissas e construir contraexemplos para o argumento do painel da estação.
Stanford Encyclopedia of Philosophy — Ancient LogicLeitura histórica; exemplos urbanos são adaptações didáticas.	Compreender origens e desenvolvimentos da lógica na Antiguidade.	Comparar um argumento discutido na assembleia com sua estrutura de premissas e conclusão.
Stanford Encyclopedia of Philosophy — Temporal LogicAprofundamento das propriedades temporais.	Investigar como expressar afirmações sobre tempo, sequências e possibilidades futuras.	Distinguir atendimento eventual de atendimento dentro de um prazo na central de mobilidade.
Computer History Museum — How Do Digital Computers “Think”?Contextualização histórica da lógica digital.	Compreender a ligação entre álgebra booleana e circuitos, de Boole a Shannon.	Relacionar condições da luminária e comandos do semáforo à realização de operações lógicas.
Schreiber e colaboradores — Knowledge Engineering and Management: The CommonKADS MethodologyReferência principal de engenharia do conhecimento; link para a editora.	Investigar como analisar conhecimentos, tarefas, participantes e comunicação em sistemas baseados em conhecimento.	Identificar quem conhece as regras do condomínio, suas fontes, exceções e como representá-las e revisá-las.
Noy e McGuinness — Ontology Development 101Guia de construção de uma primeira ontologia.	Investigar delimitação de domínio e construção iterativa de classes, propriedades e instâncias.	Modelar morador, residência, solicitação e serviço, definindo relações e perguntas que o modelo deverá responder.
W3C — SKOS PrimerOrganização de conceitos; complementa a modelagem ontológica.	Investigar organização de conceitos e termos em vocabulários controlados, taxonomias e tesauros.	Harmonizar termos usados por moradores e serviços para melhorar busca e compreensão.
W3C — OWL 2 PrimerContinuidade técnica para ontologias; já integra esta página.	Investigar representação formal de classes, propriedades, indivíduos e restrições, incluindo a hipótese de mundo aberto.	Formalizar relações da biblioteca e examinar por que ausência de cadastro não implica automaticamente uma negação.
INCOSE — About Systems EngineeringEnquadramento da disciplina.	Investigar a abordagem integradora da engenharia de sistemas e sua visão de ciclo de vida.	Relacionar necessidades de moradores, operação de transporte, manutenção e resultados no uso.
NASA — Fundamentals of Systems EngineeringAplicação metodológica; parâmetros urbanos devem ser definidos no contexto real.	Investigar necessidades, requisitos, interfaces, alternativas e avaliação de soluções.	Ligar o pedido de travessia a requisitos e distinguir verificação da implementação de validação com as pessoas.
Modelo Conceitual de Referência do LACReferência interna do LAC; endereço para integração.	Investigar relações entre jornada, método de aprendizagem, objetos, representações e Malha de Conhecimento.	Relacionar percurso, knowgrama, registros e evidências de compreensão; incorporar produções após revisão.
OpenStax — Psychology 2e: Thinking and IntelligenceBase introdutória de psicologia cognitiva; não cobre toda a ciência cognitiva.	Investigar cognição, conceitos, pensamento e relações com a experiência.	Distinguir o que foi percebido, interpretado e concluído quando a luz do painel acende.
Nielsen Norman Group — Mental ModelsPonte entre modelos mentais e UX.	Investigar como expectativas sobre o funcionamento de um sistema influenciam a interação.	Comparar a expectativa de atendimento imediato com o significado de pedido registrado no condomínio ou na prefeitura.
W3C WAI — Menus TutorialOrientação para interfaces web; aplicações físicas exigem análise específica.	Investigar estrutura, identificação, estados e operação acessível de controles de navegação.	Examinar se percursos e paradas têm nomes claros, foco de teclado e indicação de seleção além da cor.
ISKO — Encyclopedia of Knowledge OrganizationPonto de entrada para verbetes especializados; selecionar pelo problema investigado.	Investigar organização e representação do conhecimento no campo da ciência da informação.	Analisar termos e categorias dos serviços e da biblioteca para facilitar localização e compreensão por moradores.

Percurso sugerido para engenharia do conhecimento: CommonKADS → Ontology Development 101 → SKOS ou OWL 2, conforme a necessidade de organizar conceitos ou formalizar relações e restrições.

Caminho proposto para integração: fundamentos/logica_sistemas_lac.html. Knowgramas vetoriais incorporados: síntese da lógica e mapa da jornada. Esta versão funciona de forma independente; não altera os índices do meulivro.info.

Conhecer o LAC ↗ · · Versão autônoma para integração ao LAC

09 / Uso e evolução da página

Novas perguntas.
Novas caminhadas.

Esta página pode ser revisitada com novas perguntas. Use a caminhada para explorar, explicar, experimentar e registrar sua compreensão. As dificuldades encontradas e as contribuições dos participantes podem orientar revisões do conteúdo e da experiência de uso.

Como utilizar

Disponível nesta página. Explore livremente as 13 paradas ou siga da residência ao retorno. Escolha uma pergunta, experimente condições, consulte o glossário e compare os dois knowgramas. Para analisar um sistema, identifique pessoas, entidades, relações, regras, estados e realimentação.

Explorar a caminhada →

O que observar e registrar

Registre explicações próprias, dúvidas, contraexemplos e aplicações em outras situações. Anote também conhecimentos utilizados, fontes, lacunas e revisões. Compare o que pensava antes com o que consegue explicar depois; visitar paradas não comprova aprendizagem.

Abrir o caderno →

Como contribuir

Ao conversar com o autor, indique a parada ou seção, o que tentou fazer, o que esperava encontrar, o que aconteceu e o que poderia ajudar. Separe dúvidas conceituais de dificuldades de navegação. Um exemplo concreto ajuda a avaliar a contribuição.

Esta página não possui formulário de envio. As notas ficam no navegador e não são enviadas automaticamente ao autor. Exporte seus registros se desejar compartilhá-los por um canal de sua escolha.

Como a página pode evoluir

Propostas futuras — ainda não implementadas. As possibilidades abaixo dependem das necessidades observadas, de análise e de revisão humana.

Possibilidades de evolução e evidências que podem orientar sua avaliação.
Possibilidade	Para que evoluir	O que observar
Revisar exemplos e interações	Melhorar clareza conceitual, orientação e acessibilidade.	Em qual situação surgiu a dificuldade, como a pessoa a interpretou e se a revisão ajudou.
Oferecer percursos por interesse	Organizar caminhos de cotidiano, formalização lógica ou modelagem de sistemas.	Pergunta, objetivo, conhecimento prévio e necessidade de aprofundamento. Atualmente há navegação livre e ajustes de leitura; estes percursos específicos são uma proposta.
Ampliar desafios de compreensão	Fortalecer explicação, construção de contraexemplos e aplicação em outro cenário.	Produções próprias e justificativas, com critérios explícitos, além dos registros de visita.
Conectar outras jornadas do LAC	Relacionar conceitos e atividades a conteúdos pertinentes da malha de conhecimento.	Utilidade dos vínculos para responder perguntas e continuar a investigação.

Uso → registros e perguntas → análise humana → revisão → novo uso.

O uso pode orientar a evolução do artefato. Cada revisão deve explicitar qual necessidade foi observada, o que mudou e que evidência permite avaliar a melhora. As mudanças não ocorrem automaticamente a partir da navegação.