Detalhes bibliográficos
| Ano de defesa: |
2003 |
| Autor(a) principal: |
Yamamoto, Flavio Shigeo |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
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 |
