XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: RACIOCÍNIO DE COMPLIANCE SOBRE NORMAS LEGAIS: UMA ABORDAGEM BASEADA EM LÓGICA Autor: FERNANDO ANTONIO DANTAS GOMES PINTO
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
EDWARD HERMANN HAEUSLER - ORIENTADOR
Nº do Conteudo: 67178
Catalogação: 02/07/2024 Liberação: 02/07/2024 Idioma(s): INGLÊS - ESTADOS UNIDOS
Tipo: TEXTO Subtipo: TESE
Natureza: PUBLICAÇÃO ACADÊMICA
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=67178&idi=1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=67178&idi=2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.67178
Resumo:
Título: RACIOCÍNIO DE COMPLIANCE SOBRE NORMAS LEGAIS: UMA ABORDAGEM BASEADA EM LÓGICA Autor: FERNANDO ANTONIO DANTAS GOMES PINTO
Nº do Conteudo: 67178
Catalogação: 02/07/2024 Liberação: 02/07/2024 Idioma(s): INGLÊS - ESTADOS UNIDOS
Tipo: TEXTO Subtipo: TESE
Natureza: PUBLICAÇÃO ACADÊMICA
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=67178&idi=1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=67178&idi=2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.67178
Resumo:
Garantir que uma base de conhecimento com atos da administração
pública contenha apenas fatos em conformidade com sua legislação torna-se
um desafio para qualquer gestor público. Para isso, dado o grande volume
de dados gerados por empresas públicas, faz-se necessário o emprego de
recursos tecnológicos que auxiliem o processo de análise de conformidade
destes atos. Este trabalho apresenta uma arquitetura computacional capaz de
extrair informações publicados dos diários oficiais e então serializá-los em duas
bases de conhecimento: triplas RDF/XML de fatos e triplas de RDF/XML de
regras formalizadas em lógica iALC, uma lógica de descrição intuicionista.
Para garantir a consistência desta base de conhecimento, foi desenvolvido
um SAT Solver para iALC em forma de tableau semântico intuicionista.
Uma extensão do tableau intuicionista de primeira ordem apresentado por
Fitting (1969). Este SAT Solver faz parte de um módulo que além de gerar
modelos e contra-exemplos para as regras formalizadas em iALC, também
gera um código preliminar de consultas em SPARQL. Esta abordagem permite
inferir e certificar a qualidade dos dados disponíveis na base de conhecimento
RDF/XML de fatos. Para garantir a qualidade do nosso SAT Solver, fizemos
a prova de soundness das suas regras. Para garantir a qualidade da nossa
abordagem lógica, construímos um conjunto de 21 Questões de Competência e
aplicamos à nossa ferramenta. Os resultados deste estudo de caso mostraram
a eficácia e eficiência da nossa abordagem.
| Descrição | Arquivo |
| NA ÍNTEGRA |
