@PHDTHESIS{ 2019:778248661, title = {Automatic reasoning over contract clauses}, year = {2019}, url = "http://tede2.pucrs.br/tede2/handle/tede/9256", abstract = "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.", publisher = {Pontif?cia Universidade Cat?lica do Rio Grande do Sul}, scholl = {Programa de P?s-Gradua??o em Ci?ncia da Computa??o}, note = {Escola Polit?cnica} }