Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Nalon, Cláudia | - |
Autor(es): dc.creator | Amaral, Lucas de Moura | - |
Data de aceite: dc.date.accessioned | 2024-10-23T16:23:39Z | - |
Data de disponibilização: dc.date.available | 2024-10-23T16:23:39Z | - |
Data de envio: dc.date.issued | 2019-10-21 | - |
Data de envio: dc.date.issued | 2019-10-21 | - |
Data de envio: dc.date.issued | 2019-10-21 | - |
Data de envio: dc.date.issued | 2019-02-25 | - |
Fonte completa do material: dc.identifier | http://repositorio.unb.br/handle/10482/35640 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/907320 | - |
Descrição: dc.description | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019. | - |
Descrição: dc.description | Neste trabalho, apresentamos um cálculo para raciocinar sobre E-conexões, as quais provêem um método computacionalmente robusto para combinar Abstract Description Systems (ADSs) arbitrários. ADSs, introduzidos por Baader et al, são uma generalização de várias lógicas, tais como temporais, espaciais, epistêmicas, lógicas descritivas e modais. Provemos um cálculo baseado em resolução para lidar com conexões, assumindo que o problema de satifatibilidade global das lógicas componentes é decidível. Isto nos permite focar em raciocinar apenas sobre as restrições impostas pelas E-conexões, deixando o raciocínio específico de cada domínio para as lógicas componentes. Um dos passos mais importantes necessários para alcançar isto é a devida separação dos elementos sintáticos relacionados às diferentes componentes, através de uma forma normal proposta. Assim, provemos o conjunto completo de regras de transformação, apresentando provas para a terminação e preservação de satisfatibilidade desta transformação. Este trabalho apresenta as provas de correção, completude e terminação para o cálculo proposto. Também disponibilizamos uma implementação prototípica, baseada no provador KSP. Discutimos os resultados da avaliação e sugerimos algumas modificações que podem ser feitas para melhorar a performance, abrindo caminho para o desenvolvimento de uma futura implementação tanto modular quanto eficiente. | - |
Descrição: dc.description | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). | - |
Descrição: dc.description | We introduce a calculus to reason about E-connections, which provide a computationally ro- bust method to combine arbitrary Abstract Description Systems (ADSs). ADSs, introduced by Baader et al, are a generalization of various logics such as temporal, spatial, epistemic descrip- tion and modal logics in general. In this work, we restrict the logics to be combined to normal modal logics. We provide a resolution-based calculus to deal with connections, assuming that the global satisfiability problems of the component logics are decidable. This allows us to focus on reasoning only about the restrictions imposed by the E-connections, leaving domain-specific reasoning to the component logic. One of the most important steps required to achieve this is the proper separation of syn- tactical elements related to different components via a proposed normal form. Therefore, we provide the full set of transformation rules, presenting proofs for termination and preservation of satisfiability of this transformation. This work presents the correctness, completeness and termination proofs for the proposed calculus. We also make available a proof-of-concept implementation, based on the KSP prover. We discuss the results of the evaluation and suggest some modifications that can be made to improve performance, paving the way for the development of a future modular and efficient implementation. | - |
Formato: dc.format | application/pdf | - |
Direitos: dc.rights | Acesso Aberto | - |
Direitos: dc.rights | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data. | - |
Palavras-chave: dc.subject | Lógica modal | - |
Palavras-chave: dc.subject | Raciocínio automático | - |
Palavras-chave: dc.subject | E-conexões | - |
Título: dc.title | A resolution-based E-connected calculus | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional – UNB |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: