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: UMA PLATAFORMA DE DEMONSTRAÇÃO DE TEOREMAS BASEADA EM GRAFOS Autor: BRUNO SCHROEDER
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
EDWARD HERMANN HAEUSLER - ORIENTADOR
Nº do Conteudo: 29093
Catalogação: 09/02/2017 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=29093@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=29093@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.29093
Resumo:
Título: UMA PLATAFORMA DE DEMONSTRAÇÃO DE TEOREMAS BASEADA EM GRAFOS Autor: BRUNO SCHROEDER
Nº do Conteudo: 29093
Catalogação: 09/02/2017 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=29093@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=29093@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.29093
Resumo:
Demonstrações em lógica podem tornar-se muito grandes e complexas. Para
resolver problemas, e para estudar lógica, é comum valer-se de assistentes de
demonstração. Um assistente de demonstração geral deve integrar ferramentas que
ajudem a especificar as lógicas, as equações, os conjuntos de regras, e as
estratégias de busca (semi) automática de demonstrações. A comunidade usuária
de Provadores Automáticos de Teoremas conhece algumas ferramentas que
atendem a estes requisitos. Entretanto, estas ferramentas não estão preparadas para
lidar com demonstrações muito grandes. Trabalhos recentes sugerem que uma boa
forma de chegar a demonstrações menores é usar grafos, ao invés de árvores, para
representar demonstrações. Esta dissertação descreve e implementa uma máquina
virtual baseada em grafo e um compilador para a confecção de provadores de
teoremas baseados em grafo. Para validar a ferramenta, alguns estudos de casos e
provadores de teoremas baseados em grafo são apresentados.