Revisão de Modelos CTL

• Processo: 10/15392-3
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de janeiro de 2011
• Data de Término da vigência: 31 de janeiro de 2014
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Renata Wassermann
• Beneficiário: Paulo de Tarso Guerra Oliveira
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Vinculado ao auxílio: 08/03995-5 - LOGPROB: lógica probabilística - fundamentos e aplicações computacionais, AP.TEM
• Assunto(s): Inteligência artificial Revisão de crenças
• Palavra(s)-Chave do Pesquisador: Computation tree logic | Representação do conhecimento e raciocínio | revisão de crenças | Verificação de Modelos | Inteligência Artificial

Resumo

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 de modelos usualmente não fornecem informação alguma sobre como reparar inconsistências nestes modelos. No mestrado, 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 de modelos: uma abordagem baseada em revisão de crenças para o reparo de modelos inconsistentes em um contexto estático. Nós relacionamos nossa proposta a alguns trabalhos clássicos em revisão de crenças. Neste projeto propomos ir mais a fundo nesta análise, estudando as implicações da adaptação da técnica de revisão a esse formalismo lógico. Propomos a formulação de um arcabouço para revisão de conjuntos de fórmulas temporais e investigar a viabilidade de aplicá-lo a lógicas com características semelhantes.

Publicações científicas

(4)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

GUERRA, PAULO T.; WASSERMANN, RENATA. Revising System Specifications in Temporal Logic. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, v. 31, n. 4, p. 28-pg., 2022-08-06. (10/15392-3)

GUERRA, PAULO T.; WASSERMANN, RENATA. Two AGM-style characterizations of model repair. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, v. 87, n. 3, p. 25-pg., 2019-11-01. (10/15392-3)

GUERRA, PAULO T.; WASSERMANN, RENATA. Two AGM-style characterizations of model repair. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, v. 87, n. 3, SI, p. 233-257, NOV 2019. (10/15392-3)

GUERRA, PAULO T.; WASSERMANN, RENATA; AAAI. Two AGM-Style Characterizations of Model Repair. 2022 25TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION 2022), v. N/A, p. 2-pg., 2018-01-01. (10/15392-3)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

OLIVEIRA, Paulo de Tarso Guerra. Revisão de crenças temporais. 2016. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) São Paulo.