Análise da complexidade de espaço para um algoritmo de K(1)-Validade

Detalhes bibliográficos
Autor(a) principal: Vilela, Bruno Azevedo
Data de Publicação: 2011
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Biblioteca Digital de Monografias da UnB
Texto Completo: http://bdm.unb.br/handle/10483/15175
Resumo: Trabalho de conclusão de curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2011.
id UNB-2_8d675336bb9f05d7cd4a072722bf05a2
oai_identifier_str oai:bdm.unb.br:10483/15175
network_acronym_str UNB-2
network_name_str Biblioteca Digital de Monografias da UnB
repository_id_str 11571
spelling Vilela, Bruno AzevedoNalon, CláudiaVILELA, Bruno Azevedo. Análise da complexidade de espaço para um algoritmo de K(1)-Validade. 2011. viii, 30 f. Trabalho de conclusão de curso (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2011.http://bdm.unb.br/handle/10483/15175Trabalho de conclusão de curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2011.Apresenta-se neste trabalho a análise da complexidade de espaço do cálculo de resolução para K(1) proposto por Nalon e Dixon. Prova-se que este algoritmo, para o problema de K(1)-validade, tem complexidade de espaço de pior caso, pelo menos, exponencial, isto é, f(n) = (2n). Compara-se este resultado com a complexidade do algoritmo proposto por Ladner para o mesmo problema. Duas técnicas são sugeridas para uma melhora na complexidade de espaço. Prova-se, para isso, que é possível aplicar subsunção proposicional como parte do algoritmo baseado em resolução para K(1).Submitted by Ruthlea Nascimento (ruthlea.nascimento@gmail.com) on 2016-11-03T14:38:43Z No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2011_BrunoAzevedoVilela_tcc.pdf: 459572 bytes, checksum: e516610ceccf35816c35f509c3ba1f2b (MD5)Approved for entry into archive by Luanna Maia (luanna@bce.unb.br) on 2016-11-22T13:44:29Z (GMT) No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2011_BrunoAzevedoVilela_tcc.pdf: 459572 bytes, checksum: e516610ceccf35816c35f509c3ba1f2b (MD5)Made available in DSpace on 2016-11-22T13:44:29Z (GMT). No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2011_BrunoAzevedoVilela_tcc.pdf: 459572 bytes, checksum: e516610ceccf35816c35f509c3ba1f2b (MD5)In this work, the analysis of the K(1)'s resolution calculus space complexity proposed by Nalon and Dixon is done. It is proved that this algorithm, for the K(1)-validity problem, has, at least, exponencial worst case space complexity that is f(n) = (2n). The result is compared with the algorithm's complexity proposed for the same problem by Ladner. For an improvement on the space's complexity, two technics are suggested. For this, it is proved that it is possible to apply propositional subsumption as part of the resolution based calculus for K(1).Lógica modalAlgoritmosAnálise da complexidade de espaço para um algoritmo de K(1)-Validadeinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis2016-11-22T13:44:29Z2016-11-22T13:44:29Z2011-07-14info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Monografias da UnBinstname:Universidade de Brasília (UnB)instacron:UNBORIGINAL2011_BrunoAzevedoVilela_tcc.pdf2011_BrunoAzevedoVilela_tcc.pdfapplication/pdf459572http://bdm.unb.br/xmlui/bitstream/10483/15175/1/2011_BrunoAzevedoVilela_tcc.pdfe516610ceccf35816c35f509c3ba1f2bMD51CC-LICENSElicense_urllicense_urltext/plain46http://bdm.unb.br/xmlui/bitstream/10483/15175/2/license_url587cd8ffae15c8598ed3c46d248a3f38MD52license_textlicense_textapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/15175/3/license_textd41d8cd98f00b204e9800998ecf8427eMD53license_rdflicense_rdfapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/15175/4/license_rdfd41d8cd98f00b204e9800998ecf8427eMD54LICENSElicense.txtlicense.txttext/plain1758http://bdm.unb.br/xmlui/bitstream/10483/15175/5/license.txt48fee5d355e169b5219b5efc5a9ad174MD5510483/151752016-11-22 11:44:29.415oai:bdm.unb.br:10483/15175w4kgbmVjZXNzw6FyaW8gY29uY29yZGFyIGNvbSBhIGxpY2Vuw6dhIGRlIGRpc3RyaWJ1acOnw6NvIG7Do28tZXhjbHVzaXZhLAphbnRlcyBxdWUgbyBkb2N1bWVudG8gcG9zc2EgYXBhcmVjZXIgbm8gUmVwb3NpdMOzcmlvLiBQb3IgZmF2b3IsIGxlaWEgYQpsaWNlbsOnYSBhdGVudGFtZW50ZS4gQ2FzbyBuZWNlc3NpdGUgZGUgYWxndW0gZXNjbGFyZWNpbWVudG8gZW50cmUgZW0KY29udGF0byBhdHJhdsOpcyBkZTogYmRtQGJjZS51bmIuYnIgb3UgMzEwNy0yNjg3LgoKTElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCBvL2EgU3IuL1NyYS4gKGF1dG9yIG91IGRldGVudG9yIGRvcwpkaXJlaXRvcyBkZSBhdXRvcik6CgphKSBDb25jZWRlIMOgIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWEgbyBkaXJlaXRvIG7Do28tZXhjbHVzaXZvIGRlCnJlcHJvZHV6aXIsIGNvbnZlcnRlciAoY29tbyBkZWZpbmlkbyBhYmFpeG8pLCBjb211bmljYXIgZS9vdQpkaXN0cmlidWlyIG8gZG9jdW1lbnRvIGVudHJlZ3VlIChpbmNsdWluZG8gbyByZXN1bW8vYWJzdHJhY3QpIGVtCmZvcm1hdG8gZGlnaXRhbCBvdSBpbXByZXNzbyBlIGVtIHF1YWxxdWVyIG1laW8uCgpiKSBEZWNsYXJhIHF1ZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBzZXUgdHJhYmFsaG8gb3JpZ2luYWwsIGUgcXVlCmRldMOpbSBvIGRpcmVpdG8gZGUgY29uY2VkZXIgb3MgZGlyZWl0b3MgY29udGlkb3MgbmVzdGEgbGljZW7Dp2EuIERlY2xhcmEKdGFtYsOpbSBxdWUgYSBlbnRyZWdhIGRvIGRvY3VtZW50byBuw6NvIGluZnJpbmdlLCB0YW50byBxdWFudG8gbGhlIMOpCnBvc3PDrXZlbCBzYWJlciwgb3MgZGlyZWl0b3MgZGUgcXVhbHF1ZXIgb3V0cmEgcGVzc29hIG91IGVudGlkYWRlLgoKYykgU2UgbyBkb2N1bWVudG8gZW50cmVndWUgY29udMOpbSBtYXRlcmlhbCBkbyBxdWFsIG7Do28gZGV0w6ltIG9zCmRpcmVpdG9zIGRlIGF1dG9yLCBkZWNsYXJhIHF1ZSBvYnRldmUgYXV0b3JpemHDp8OjbyBkbyBkZXRlbnRvciBkb3MKZGlyZWl0b3MgZGUgYXV0b3IgcGFyYSBjb25jZWRlciDDoCBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhIG9zIGRpcmVpdG9zCnJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgY3Vqb3MgZGlyZWl0b3Mgc8OjbyBkZQp0ZXJjZWlyb3MgZXN0w6EgY2xhcmFtZW50ZSBpZGVudGlmaWNhZG8gZSByZWNvbmhlY2lkbyBubyB0ZXh0byBvdQpjb250ZcO6ZG8gZG8gZG9jdW1lbnRvIGVudHJlZ3VlLgoKU2UgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgYmFzZWFkbyBlbSB0cmFiYWxobyBmaW5hbmNpYWRvIG91IGFwb2lhZG8KcG9yIG91dHJhIGluc3RpdHVpw6fDo28gcXVlIG7Do28gYSBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhLCBkZWNsYXJhIHF1ZQpjdW1wcml1IHF1YWlzcXVlciBvYnJpZ2HDp8O1ZXMgZXhpZ2lkYXMgcGVsbyByZXNwZWN0aXZvIGNvbnRyYXRvIG91CmFjb3Jkby4KCkEgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYSBpZGVudGlmaWNhcsOhIGNsYXJhbWVudGUgbyhzKSBzZXUgKHMpIG5vbWUgKHMpCmNvbW8gbyAocykgYXV0b3IgKGVzKSBvdSBkZXRlbnRvciAoZXMpIGRvcyBkaXJlaXRvcyBkbyBkb2N1bWVudG8KZW50cmVndWUsIGUgbsOjbyBmYXLDoSBxdWFscXVlciBhbHRlcmHDp8OjbywgcGFyYSBhbMOpbSBkYXMgcGVybWl0aWRhcyBwb3IKZXN0YSBsaWNlbsOnYS4KBiblioteca Digital de Monografiahttps://bdm.unb.br/PUBhttp://bdm.unb.br/oai/requestbdm@bce.unb.br||patricia@bce.unb.bropendoar:115712016-11-22T13:44:29Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)false
dc.title.pt_BR.fl_str_mv Análise da complexidade de espaço para um algoritmo de K(1)-Validade
title Análise da complexidade de espaço para um algoritmo de K(1)-Validade
spellingShingle Análise da complexidade de espaço para um algoritmo de K(1)-Validade
Vilela, Bruno Azevedo
Lógica modal
Algoritmos
title_short Análise da complexidade de espaço para um algoritmo de K(1)-Validade
title_full Análise da complexidade de espaço para um algoritmo de K(1)-Validade
title_fullStr Análise da complexidade de espaço para um algoritmo de K(1)-Validade
title_full_unstemmed Análise da complexidade de espaço para um algoritmo de K(1)-Validade
title_sort Análise da complexidade de espaço para um algoritmo de K(1)-Validade
author Vilela, Bruno Azevedo
author_facet Vilela, Bruno Azevedo
author_role author
dc.contributor.author.fl_str_mv Vilela, Bruno Azevedo
dc.contributor.advisor1.fl_str_mv Nalon, Cláudia
contributor_str_mv Nalon, Cláudia
dc.subject.keyword.pt_BR.fl_str_mv Lógica modal
Algoritmos
topic Lógica modal
Algoritmos
description Trabalho de conclusão de curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2011.
publishDate 2011
dc.date.submitted.none.fl_str_mv 2011-07-14
dc.date.accessioned.fl_str_mv 2016-11-22T13:44:29Z
dc.date.available.fl_str_mv 2016-11-22T13:44:29Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv VILELA, Bruno Azevedo. Análise da complexidade de espaço para um algoritmo de K(1)-Validade. 2011. viii, 30 f. Trabalho de conclusão de curso (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2011.
dc.identifier.uri.fl_str_mv http://bdm.unb.br/handle/10483/15175
identifier_str_mv VILELA, Bruno Azevedo. Análise da complexidade de espaço para um algoritmo de K(1)-Validade. 2011. viii, 30 f. Trabalho de conclusão de curso (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2011.
url http://bdm.unb.br/handle/10483/15175
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Monografias da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Biblioteca Digital de Monografias da UnB
collection Biblioteca Digital de Monografias da UnB
bitstream.url.fl_str_mv http://bdm.unb.br/xmlui/bitstream/10483/15175/1/2011_BrunoAzevedoVilela_tcc.pdf
http://bdm.unb.br/xmlui/bitstream/10483/15175/2/license_url
http://bdm.unb.br/xmlui/bitstream/10483/15175/3/license_text
http://bdm.unb.br/xmlui/bitstream/10483/15175/4/license_rdf
http://bdm.unb.br/xmlui/bitstream/10483/15175/5/license.txt
bitstream.checksum.fl_str_mv e516610ceccf35816c35f509c3ba1f2b
587cd8ffae15c8598ed3c46d248a3f38
d41d8cd98f00b204e9800998ecf8427e
d41d8cd98f00b204e9800998ecf8427e
48fee5d355e169b5219b5efc5a9ad174
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv bdm@bce.unb.br||patricia@bce.unb.br
_version_ 1801493013404319744

Registros relacionados