Sistemas modais de conhecimento

Detalhes bibliográficos
Autor(a) principal: Yamamoto, Flavio Shigeo
Data de Publicação: 2003
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/
Resumo: Investigamos características e propriedades de sistemas multi-agentes baseados em conhecimento. Estudamos axiomatizações corretas e completas que capturam e manipulam as noções de conhecimento, conhecimento comum e conhecimento distribuído. Complementamos o estudo dos sistemas de conhecimento caracterizando-os de acordo com a classe de complexidade computacional a que pertencem: fazemos isso expondo as dificuldades existentes nos procedimentos de decisão em termos da complesidade computacional das diversas axiomáticas apresentadas. Verificamos que enquanto o problema de decisão da satisfatibilidade de uma fórmula em S5 com um agente é NP-completo, o problema para vários agentes é PSPACE-comploeto e que a adição do operador de conhecimento comum à linguagem altera o problema para EXPTIME
id USP_0f57ebc3a46b53bd0603b4609e5d528e
oai_identifier_str oai:teses.usp.br:tde-20210729-205825
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Sistemas modais de conhecimentonot availableInteligência ArtificialInvestigamos características e propriedades de sistemas multi-agentes baseados em conhecimento. Estudamos axiomatizações corretas e completas que capturam e manipulam as noções de conhecimento, conhecimento comum e conhecimento distribuído. Complementamos o estudo dos sistemas de conhecimento caracterizando-os de acordo com a classe de complexidade computacional a que pertencem: fazemos isso expondo as dificuldades existentes nos procedimentos de decisão em termos da complesidade computacional das diversas axiomáticas apresentadas. Verificamos que enquanto o problema de decisão da satisfatibilidade de uma fórmula em S5 com um agente é NP-completo, o problema para vários agentes é PSPACE-comploeto e que a adição do operador de conhecimento comum à linguagem altera o problema para EXPTIMEnot availableBiblioteca Digitais de Teses e Dissertações da USPBianconi, RicardoYamamoto, Flavio Shigeo2003-04-10info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2021-07-31T19:18:11Zoai:teses.usp.br:tde-20210729-205825Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-07-31T19:18:11Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Sistemas modais de conhecimento
not available
title Sistemas modais de conhecimento
spellingShingle Sistemas modais de conhecimento
Yamamoto, Flavio Shigeo
Inteligência Artificial
title_short Sistemas modais de conhecimento
title_full Sistemas modais de conhecimento
title_fullStr Sistemas modais de conhecimento
title_full_unstemmed Sistemas modais de conhecimento
title_sort Sistemas modais de conhecimento
author Yamamoto, Flavio Shigeo
author_facet Yamamoto, Flavio Shigeo
author_role author
dc.contributor.none.fl_str_mv Bianconi, Ricardo
dc.contributor.author.fl_str_mv Yamamoto, Flavio Shigeo
dc.subject.por.fl_str_mv Inteligência Artificial
topic Inteligência Artificial
description Investigamos características e propriedades de sistemas multi-agentes baseados em conhecimento. Estudamos axiomatizações corretas e completas que capturam e manipulam as noções de conhecimento, conhecimento comum e conhecimento distribuído. Complementamos o estudo dos sistemas de conhecimento caracterizando-os de acordo com a classe de complexidade computacional a que pertencem: fazemos isso expondo as dificuldades existentes nos procedimentos de decisão em termos da complesidade computacional das diversas axiomáticas apresentadas. Verificamos que enquanto o problema de decisão da satisfatibilidade de uma fórmula em S5 com um agente é NP-completo, o problema para vários agentes é PSPACE-comploeto e que a adição do operador de conhecimento comum à linguagem altera o problema para EXPTIME
publishDate 2003
dc.date.none.fl_str_mv 2003-04-10
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/
url https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815257209873891328

Registros relacionados