https://www.parkjunwoo.com/pt/tags/fact-engineering/Recent content in Fact Engineering on Arquiteto PARK JUN WOOHugoptSun, 26 Jul 2026 17:20:00 +0900https://www.parkjunwoo.com/pt/tech/from-claims-to-gaf/Sun, 26 Jul 2026 16:45:00 +0900https://www.parkjunwoo.com/pt/tech/from-claims-to-gaf/Antes que uma máquina possa julgar o mundo real de forma determinística, ela precisa fechar explicitamente esse mundo: avaliar Claims abertos, projetar Accepted Facts em um grafo rastreável, congelar a fronteira e preservar um caminho de recurso.https://www.parkjunwoo.com/pt/opinion/truth-is-not-discovered/Thu, 23 Jul 2026 10:00:00 +0900https://www.parkjunwoo.com/pt/opinion/truth-is-not-discovered/No mundo aberto não há verdade a descobrir — porque toda observação esbarra na velocidade da luz e nunca alcança o evento. Mas em mundos fechados por declaração, como a ficção, a matemática e o direito, há verdade. O julgamento é o processo de projetar o real sobre o mundo jurídico, e a sentença é uma computação sobre ele. O que falta aos LLMs hoje não é um modelo maior, mas um procedimento explícito de fechamento, como o Estado de Direito.https://www.parkjunwoo.com/pt/opinion/toulmin-knowledge-graph/Fri, 22 May 2026 10:00:00 +0900https://www.parkjunwoo.com/pt/opinion/toulmin-knowledge-graph/Os triples do Wikidata não são fatos, são alegações. Ao colocar o modelo de argumentação de Toulmin sobre os triples, obtemos um grafo de conhecimento dinâmico cujo veredito muda conforme o contexto. O armazenamento é estrutura argumentativa; o julgamento ocorre em tempo de execução.https://www.parkjunwoo.com/pt/tech/toulmin/Sun, 22 Mar 2026 10:00:00 +0900https://www.parkjunwoo.com/pt/tech/toulmin/Motores de regras tratam o objeto de verificacao como fato (fact) ha 60 anos. toulmin o trata como afirmacao (claim). O modelo de argumentacao de Toulmin foi implementado como um motor de regras em Go.