Ver registro no DEDALUS
Exportar registro bibliográfico

Revisão de modelos CTL (2010)

  • Authors:
  • USP affiliated authors: OLIVEIRA, PAULO DE TARSO GUERRA - IME
  • USP Schools: IME
  • Subjects: INTELIGÊNCIA ARTIFICIAL
  • Language: Português
  • Abstract: Verificação de modelos é uma das mais eficientes técnicas de verificação automática de sistemas. No entanto, apesar de poder lidar com verificações complexas, as ferramentas de verificação demodelos ususalmente não fernecem informação alguma sobre como reparar inconsistências nestes modelos. Nesta dissertação, mostramos que abordagens desenvolvidas para a atualização de modelos CTL inconsistentes não são capazes de lidar com todos os tipos de alterações em modelos. Introduzimos então o conceito de revisão demodelos: uma abordagem baseada em revisão de crenças para o reparo de modelos inconsistentes em um contexto estático. Relacionamos nossa proposta com trabalhos clássicos em revisão de crenças. Definimos um operador de revisão de modelos e mostramos que este obedece postulados de racionalidade clássico de revisão de crenças. Propomos um algoritmo de revisão com base no algoritmo utilizado pela abordagem de atualização de modelos. Discutimos sobre problemas elimites do algoritmo proposto e mostramos que essa estratégia de adaptação não é uma solução apropriada.
  • Imprenta:
  • Data da defesa: 16.12.2010

  • Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    IME31000065789QA860.T O48r e.2
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      OLIVEIRA, Paulo de Tarso Guerra; WASSERMANN, Renata. Revisão de modelos CTL. 2010.Universidade de São Paulo, São Paulo, 2010.
    • APA

      Oliveira, P. de T. G., & Wassermann, R. (2010). Revisão de modelos CTL. Universidade de São Paulo, São Paulo.
    • NLM

      Oliveira P de TG, Wassermann R. Revisão de modelos CTL. 2010 ;
    • Vancouver

      Oliveira P de TG, Wassermann R. Revisão de modelos CTL. 2010 ;

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