Sistemas modais de conhecimento (2003)
- Authors:
- Autor USP: YAMAMOTO, FLAVIO SHIGEO - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 10.04.2003
-
ABNT
YAMAMOTO, Flavio Shigeo. Sistemas modais de conhecimento. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/. Acesso em: 23 abr. 2024. -
APA
Yamamoto, F. S. (2003). Sistemas modais de conhecimento (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/ -
NLM
Yamamoto FS. Sistemas modais de conhecimento [Internet]. 2003 ;[citado 2024 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/ -
Vancouver
Yamamoto FS. Sistemas modais de conhecimento [Internet]. 2003 ;[citado 2024 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas