Compartilhe o registro |
|
Use este identificador para citar ou linkar para este item:
https://tede2.pucrs.br/tede2/handle/tede/9256
Registro completo de metadados
Campo DC | Valor | Idioma |
---|---|---|
dc.creator | Aires, João Paulo de Souza | - |
dc.creator.Lattes | http://lattes.cnpq.br/5295008908444866 | por |
dc.contributor.advisor1 | Meneguzzi, Felipe Rech | - |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/5973550650941724 | por |
dc.date.accessioned | 2020-09-02T04:03:50Z | - |
dc.date.issued | 2019-08-19 | - |
dc.identifier.uri | http://tede2.pucrs.br/tede2/handle/tede/9256 | - |
dc.description.resumo | Contratos escritos são utilizados para formalizar acordos envolvendo a troca de bens e serviços entre duas ou mais partes. Eles definem ações esperadas durante seu período de vigência através de normas. Tais normas seguem conceitos baseados em lógica deôntica, definindo permissões, proibições e obrigações. No entanto, conflitos entre normas podem ocorrer quando duas normas são aplicadas a um mesmo contexto tendo sentidos deônticos diferentes, como a proibição e a obrigação de uma mesma ação. Estes conflitos invalidam as normas e criam uma inconsistência para o contrato. Para evitá-los, um revisor deve ler as normas e encontrar quais apresentam elementos conflitantes. Uma vez que contratos podem ser longos e complexos, esta tarefa consome tempo e é passível de erro humano. Para automatizar o processo de identificação de conflitos, nesta tese desenvolvemos uma abordagem para identificar e classificar conflitos normativos. Transformando normas em representações vetoriais, somos capazes de extrair características relevantes de normas de forma a facilitar a identificação de conflitos normativos. Propomos quatro classes de conflitos normativos e as usamos para treinar um classificador de conflitos. Como resultado, nossa abordagem obtém acurácia superior a 99% na identificação e 78% na classificação de conflitos normativos. | por |
dc.description.abstract | Contracts formally represent agreements between parties and often involve the exchange of goods and services. In contracts, norms define expected behaviours from the parties using deontic statements, such as obligations, permissions, and prohibitions. However, norms may conflict invalidating themselves and producing a contract inconsistency. A conflict often arises when two or more norms are applied to the same context but have different deontic statements, such as permissions x obligations and prohibitions x obligations. The identification and resolution of such conflicts is often made by humans, which makes the task time-consuming and error-prone. In order to automate such identification, in this thesis we introduce an approach to identify and classify norm conflicts between norms in contracts written in natural language. We rely on the use of sentence embeddings to represent and manipulate natural language to extract information and use it to identify norm pairs as conflicts. We propose four norm conflict classes and use them to train a norm conflict classifier that can help on the conflict cause identification. The results show that our approach achieves an accuracy higher than 99% on the identification and 78% on the classification of conflicts. | eng |
dc.description.provenance | Submitted by PPG Ciência da Computação ([email protected]) on 2020-07-29T17:08:10Z No. of bitstreams: 1 thesis_final.pdf: 8771163 bytes, checksum: 0a7741fdf178b0665305eb0d3b5dcff9 (MD5) | eng |
dc.description.provenance | Approved for entry into archive by Lucas Martins Kern ([email protected]) on 2020-09-02T03:46:37Z (GMT) No. of bitstreams: 1 thesis_final.pdf: 8771163 bytes, checksum: 0a7741fdf178b0665305eb0d3b5dcff9 (MD5) | eng |
dc.description.provenance | Made available in DSpace on 2020-09-02T04:03:50Z (GMT). No. of bitstreams: 1 thesis_final.pdf: 8771163 bytes, checksum: 0a7741fdf178b0665305eb0d3b5dcff9 (MD5) Previous issue date: 2019-08-19 | eng |
dc.description.sponsorship | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES | por |
dc.format | application/pdf | * |
dc.thumbnail.url | http://tede2.pucrs.br:80/tede2/retrieve/178745/thesis_final.pdf.jpg | * |
dc.language | eng | por |
dc.publisher | Pontifícia Universidade Católica do Rio Grande do Sul | por |
dc.publisher.department | Escola Politécnica | por |
dc.publisher.country | Brasil | por |
dc.publisher.initials | PUCRS | por |
dc.publisher.program | Programa de Pós-Graduação em Ciência da Computação | por |
dc.rights | Acesso Aberto | por |
dc.subject | Conflitos normativos | por |
dc.subject | Lógica deôntica | por |
dc.subject | Processamento de linguagem natural | por |
dc.subject | Processamento automático de contratos | por |
dc.subject | Norm conflicts | eng |
dc.subject | Deontic logic | eng |
dc.subject | Natural language processing | eng |
dc.subject | Contract process automation. | eng |
dc.subject.cnpq | CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO | por |
dc.title | Automatic reasoning over contract clauses | por |
dc.type | Tese | por |
dc.restricao.situacao | Trabalho não apresenta restrição para publicação | por |
Aparece nas coleções: | Programa de Pós-Graduação em Ciência da Computação |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
thesis_final.pdf | JOAO_PAULO_DE_SOUZA_AIRES_TES | 8,57 MB | Adobe PDF | Baixar/Abrir Pré-Visualizar |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.