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: LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC Autor: BERNARDO PINTO DE ALKMIM
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
EDWARD HERMANN HAEUSLER - ADVISOR
CLAUDIA NALON - CO-ADVISOR
Nº do Conteudo: 65956
Catalogação: 30/01/2024 Idioma(s): ENGLISH - UNITED STATES
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
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=65956@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=65956@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.65956
Resumo:
Título: LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC Autor: BERNARDO PINTO DE ALKMIM
CLAUDIA NALON - CO-ADVISOR
Nº do Conteudo: 65956
Catalogação: 30/01/2024 Idioma(s): ENGLISH - UNITED STATES
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
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=65956@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=65956@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.65956
Resumo:
The intuitionistic description logic iALC was created to model and reason
over the domain of Law based on Kelsenian Jurisprudence [1]. Over the past
decade, this logic has been used in several ways to either model norms or
formalise legal reasoning [2, 3, 4, 5, 6, 7, 8, 9, 10]. In this work we intend to
complement previous research done with this logic by filling some gaps found
while working with it.
The first gap occurs in iALC needing an intuitive way to explain reasoning for non-logicians. It has a sound and complete (concerning intuitionistic
conceptual models [3]) Sequent Calculus (SC) [6] that has seen less usage
than expected due to its non-intuitive way of presenting a proof. We present a
(quasi-)normalising, sound and complete (w.r.t. TBox validity for intuitionistic
conceptual models) Natural Deduction (ND) System to cover this difficulty in
explaining SC to non-logicians, especially those in the domain of Law, which
are essential to us. We do not achieve full normalisation due to a kind of derivation which cannot be normalised - aside from this exception, the rest of the
system can provide uniform derivations.
The second gap is being unable to deal with non-monotonic reasoning
(NMR). Usually, one considers monotonic reasoning, in which, if one can
conclude something from a set of premises, there is no way to add another
premise to avoid said conclusion. This is not the case in a court of law,
for instance, in which different parties aim to convince a judge or jury of
opposite consequences by adding different premises to the case itself. We
provide an exploratory investigation of an extension of iALC to deal with
NMR to represent legal reasoning in aspects of the Law, such as the judicial
process, which is non-monotonic by nature. We present desirable properties
and a possible application of such a system via a case study.
We explain further the motivation for both the ND system and the NMR
extension and the decisions taken for both.
Descrição | Arquivo |
COMPLETE |