Revisão de modelos CTL (2010)
- Authors:
- Autor USP: OLIVEIRA, PAULO DE TARSO GUERRA - IME
- Unidade: IME
- Sigla do Departamento: MAC
- 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
-
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: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25032014-092409/. Acesso em: 12 maio 2024. -
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 http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25032014-092409/ -
NLM
Oliveira P de TG. Revisão de modelos CTL [Internet]. 2010 ;[citado 2024 maio 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25032014-092409/ -
Vancouver
Oliveira P de TG. Revisão de modelos CTL [Internet]. 2010 ;[citado 2024 maio 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25032014-092409/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
