O Programa de Pós-Graduação em Direito (PPGD) e o Centro de Informática promovem o evento “Lógica Computacional e Direito” na próxima segunda-feira (14), das 14h às 18h, no Auditório Tobias Barreto, na Faculdade de Direito do Recife (FDR). O evento é uma parceria com a Universidade de Artois, na França, e tem apoio do grupo Discutindo Direito Digital, Internet e Tecnologia (DDIT).

Haverá apresentação de abordagens simbólicas (lógicas) para a representação de domínios jurídicos (conhecimento jurídico, leis, princípios, jurisprudência, raciocínios). O debate, com inscrição gratuita, contará com a participação de pesquisadores do Brasil e do exterior, em particular no desenvolvimento de um formalismo chamado lógica descritiva para a representação do domínio jurídico.

Às 14h, o professor da UFPE Torquato da Silva Castro Júnior fala sobre “Lógica Jurídica e Autoridade”. Às 15h, o professor da Universidade de Artois Ivan Varzinczak realiza uma explanação sobre “Description Logic para Direito”. Por fim, às 16h, o doutorando da UFPE Ítalo Oliveira faz uma apresentação sobre “Dificuldades na Representação Lógica do Direito”. Às 17h, iniciam-se os debates.

“Representação e raciocínio automático são uma área da inteligência artificial, e as implicações para o mercado jurídico são imensas: nos próximos anos os escritórios de advocacia, os tribunais, os cartórios e demais órgãos da Justiça devem passar a usar aplicações inteligência artificial de modo tão natural e onipresente quanto usamos computadores e smartphones hoje em dia”, explicam os organizadores.

Mais informações
Lógica Computacional e Direito
(81) 99645.4629