@MASTERSTHESIS{ 2015:1536871107, title = {Identifying potential conflicts between norms in contracts}, year = {2015}, url = "http://tede2.pucrs.br/tede2/handle/tede/6599", abstract = "Contratos s?o utilizados para formalizar acordos envolvendo troca de bens e servi?os entre duas ou mais partes. Eles definem a??es esperadas durante o per?odo de vig?ncia do contrato 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 podem ser gerados quando duas normas s?o aplicadas a um mesmo contexto tendo sentidos de?nticos diferentes, como a proibi??o e a obriga??o da realiza??o de uma mesma a??o. Estes conflitos invalidam as normas e criam uma inconsist?ncia para o contrato. Para evit?-los ? necess?rio que um revisor leia as normas e encontre 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, neste trabalho criamos uma abordagem que busca identificar potenciais conflitos entre normas atrav?s da compara??o de suas estruturas. Nossa abordagem ? dividida em duas fases: na primeira, identificamos as normas e seus elementos dentro de um contrato; na segunda, utilizamos os elementos extra?dos para comparar diferentes normas e identificar quais apresentam caracter?sticas de um conflito normativo. N?s avaliamos a abordagem aplicando-a em contratos contendo conflitos e obtivemos resultados com acur?cia superior a 70%.", 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 = {Faculdade de Inform?tica} }