Direito, lógica e inteligência artificial : por quê, como e em que medida automatizar a solução judicial de conflitos no Brasil