Exportar registro bibliográfico

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

  • How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      YAMAMOTO, Flavio Shigeo; BIANCONI, Ricardo. Sistemas modais de conhecimento. 2003.Universidade de São Paulo, São Paulo, 2003.
    • APA

      Yamamoto, F. S., & Bianconi, R. (2003). Sistemas modais de conhecimento. Universidade de São Paulo, São Paulo.
    • NLM

      Yamamoto FS, Bianconi R. Sistemas modais de conhecimento. 2003 ;
    • Vancouver

      Yamamoto FS, Bianconi R. Sistemas modais de conhecimento. 2003 ;

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

    Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021