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...
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 |