Interfaces entre a Ciência da Informação e Inteligência Artificial: um estudo de caso do SmartJud do Processo Judicial Eletrônico do Tribunal de Justiça do Estado da Bahia