Inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir

O objetivo deste trabalho é apresentar uma formalização lógica para a causa de pedir para que possa ser utilizada por um sistema de inteligência artificial com o escopo de reconhecimento da causa de pedir. Estuda-se a causa de pedir a partir dos fundamentos de fato e de direito alegado pela parte...

Full description

Main Author: Queiroz, George Justino de
Other Authors: Castro Júnior, Torquato da Silva
Format: bachelorThesis
Language: por
Published: 2020
Subjects:
Online Access: https://repositorio.ufpe.br/handle/123456789/37233
Tags: Add Tag
No Tags, Be the first to tag this record!
id ir-123456789-37233
recordtype dspace
spelling ir-123456789-372332020-05-09T05:10:22Z Inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir Queiroz, George Justino de Castro Júnior, Torquato da Silva http://lattes.cnpq.br/9686055042187216 http://lattes.cnpq.br/3738419253523414 Direito Processual Civil Direito Civil Direito do Consumidor Lógica Formal Lógica Modal Inteligência Artificial Processo Judicial Eletrônico ::Ciências Sociais Aplicadas O objetivo deste trabalho é apresentar uma formalização lógica para a causa de pedir para que possa ser utilizada por um sistema de inteligência artificial com o escopo de reconhecimento da causa de pedir. Estuda-se a causa de pedir a partir dos fundamentos de fato e de direito alegado pela parte autora em sua petição inicial, com fulcro em se extrair de seu conteúdo as proposições lógicas necessárias para que a inteligência artificial possa reconhecer a tríplice identidade (partes, pedido e causa de pedir), e assim indicar ao magistrado a possibilidade de existência de conexão, litispendência ou coisa julgada. São trabalhados os conceitos de cognição judicial, relacionando-se com a cognição por um sistema inteligente. Ao fim, a partir dos estudos realizados, obteve-se uma formalização lógica para causa de pedir em ações de busca e apreensão de veículos e ações revisionais de contratos de financiamento. Como resultado, demonstra-se uma maneira de uma inteligência artificial reconhecer a existência de conexão entre os processos. 2020-05-09T01:16:27Z 2020-05-09T01:16:27Z 2019-12-01 2020-04-09 bachelorThesis QUEIROZ, George Justino de; CASTRO JÚNIOR, Torquato da Silva (Orient.). Inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir. 2019. 34 f. TCC(graduação em Direito) - Faculdade de Direito do Recife - CCJ - Universidade Federal de Pernambuco - UFPE - Recife, 2019. https://repositorio.ufpe.br/handle/123456789/37233 por openAccess http://creativecommons.org/licenses/by-nc-nd/3.0/br/ 34 f. application/pdf
institution REPOSITORIO UFPE
collection REPOSITORIO UFPE
language por
topic Direito Processual Civil
Direito Civil
Direito do Consumidor
Lógica Formal
Lógica Modal
Inteligência Artificial
Processo Judicial Eletrônico
::Ciências Sociais Aplicadas
spellingShingle Direito Processual Civil
Direito Civil
Direito do Consumidor
Lógica Formal
Lógica Modal
Inteligência Artificial
Processo Judicial Eletrônico
::Ciências Sociais Aplicadas
Queiroz, George Justino de
Inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir
description O objetivo deste trabalho é apresentar uma formalização lógica para a causa de pedir para que possa ser utilizada por um sistema de inteligência artificial com o escopo de reconhecimento da causa de pedir. Estuda-se a causa de pedir a partir dos fundamentos de fato e de direito alegado pela parte autora em sua petição inicial, com fulcro em se extrair de seu conteúdo as proposições lógicas necessárias para que a inteligência artificial possa reconhecer a tríplice identidade (partes, pedido e causa de pedir), e assim indicar ao magistrado a possibilidade de existência de conexão, litispendência ou coisa julgada. São trabalhados os conceitos de cognição judicial, relacionando-se com a cognição por um sistema inteligente. Ao fim, a partir dos estudos realizados, obteve-se uma formalização lógica para causa de pedir em ações de busca e apreensão de veículos e ações revisionais de contratos de financiamento. Como resultado, demonstra-se uma maneira de uma inteligência artificial reconhecer a existência de conexão entre os processos.
author2 Castro Júnior, Torquato da Silva
format bachelorThesis
author Queiroz, George Justino de
author_sort Queiroz, George Justino de
title Inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir
title_short Inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir
title_full Inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir
title_fullStr Inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir
title_full_unstemmed Inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir
title_sort inteligência artificial aplicada ao processo judicial eletrônico: uma formalização lógica para a causa de pedir
publishDate 2020
url https://repositorio.ufpe.br/handle/123456789/37233
_version_ 1670492204207964160
score 13.657419