Menu



Exportar registro bibliográfico

Metrics:

Tese

Revisão de crenças em lógicas de descrição e em outras lógicas não clássica (2010)

  • Authors:
  • Autor USP: RIBEIRO, MARCIO MORETTO - IME
  • Unidade: IME
  • Sigla do Departamento: MAC
  • DOI: 10.11606/T.45.2010.tde-16112010-155644
  • Assunto: INTELIGÊNCIA ARTIFICIAL
  • Agências de fomento:
  • Language: Português
  • Abstract: A área de revisão de crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O marco da área de revisão de crenças foi a publicação do trabalho de Alchourrón, Gardenfors e Makinson [AGM85]. Nesse trabalho conhecido como paradigma AGM foram definidos critérios de racionalidade para tipos de mudanças de crenças. Desde então, a área de revisão de crenças foi influenciada por diversas disciplinas como filosofia, computação e direito. Paralelamente ao desenvolvimento da área de revisão de crenças, os últimos 20 anos foram marcados por um grande avanço no estudo das lógicas de descrição. Tal avanço, impulsionado pelo desenvolvimento da web-semântica, levou a adoção de linguagens inspiradas em lógicas de descrição (OWL) como padrão para se representar ontologias na web. Nessa tese tratamos do problema de aplicar a teoria de revisão de crenças a lógicas não clássicas e especialmente a lógicas de descrição. Trabalhos recentes mostraram que o paradigma AGM é incompatível com diversas lógicas de descrição. Estendemos esses resultados mostrando outras lógicas que não são compatíveis com o paradigma AGM. Propomos formas de aplicar a teoria de revisão tanto em bases quanto em conjuntos de crenças a essas lógicas. Além disso, usamos algoritmos conhecidos da área de depuração de ontologias para implementar operações em bases de crenças.
  • Imprenta:
  • Data da defesa: 20.09.2010
    • Acesso à fonteAcesso à fonteDOI

    Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).

    Status:
    Artigo publicado em periódico de acesso aberto (Gold Open Access)
    Versão do Documento:
    Versão publicada (Published version)
    Acessar versão aberta:

    Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.

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

    • ABNT

      RIBEIRO, Márcio Moretto. Revisão de crenças em lógicas de descrição e em outras lógicas não clássica. 2010. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-16112010-155644/. Acesso em: 09 abr. 2026.

    • APA

      Ribeiro, M. M. (2010). Revisão de crenças em lógicas de descrição e em outras lógicas não clássica (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-16112010-155644/

    • NLM

      Ribeiro MM. Revisão de crenças em lógicas de descrição e em outras lógicas não clássica [Internet]. 2010 ;[citado 2026 abr. 09 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-16112010-155644/

    • Vancouver

      Ribeiro MM. Revisão de crenças em lógicas de descrição e em outras lógicas não clássica [Internet]. 2010 ;[citado 2026 abr. 09 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-16112010-155644/

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

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