Revisão de modelos CTL (2010)
- Authors:
- Autor USP: OLIVEIRA, PAULO DE TARSO GUERRA - IME
- Unidade: IME
- Sigla do Departamento: MAC
- DOI: 10.11606/D.45.2010.tde-25032014-092409
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Agências de fomento:
- 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
- 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:
-
ABNT
OLIVEIRA, Paulo de Tarso Guerra. Revisão de modelos CTL. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-25032014-092409/. Acesso em: 10 abr. 2026. -
APA
Oliveira, P. de T. G. (2010). Revisão de modelos CTL (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-25032014-092409/ -
NLM
Oliveira P de TG. Revisão de modelos CTL [Internet]. 2010 ;[citado 2026 abr. 10 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-25032014-092409/ -
Vancouver
Oliveira P de TG. Revisão de modelos CTL [Internet]. 2010 ;[citado 2026 abr. 10 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-25032014-092409/
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
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
