Direito, Lógica e Inteligência Artificial: Por quê, Como e em que Medida Automatizar a Solução Judicial de Conflitos no Brasil. Documento