Atualização de modelos baseada em ações

• Processo: 10/10845-0
• Modalidade de apoio: Bolsas no Brasil - Doutorado Direto
• Data de Início da vigência: 01 de setembro de 2010
• Data de Término da vigência: 31 de agosto de 2013
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Leliane Nunes de Barros
• Beneficiário: Maria Viviane de Menezes
• 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 Engenharia de conhecimento
• Palavra(s)-Chave do Pesquisador: Atualização de Modelos | Engenharia de Conhecimento | Planejamento em IA | Raciocínio sobre ações | Verificação de Modelos | Inteligência Artificial

Resumo

Erros são comuns durante o desenvolvimento de sistemas, sendo que sua detecção e correção envolve um processo de alto custo. Este custo, no entanto, pode ser reduzido se o projetista for capaz de corrigir erros ainda na fase de especificação do sistema. Atualização de modelos é uma abordagem formal utilizada para corrigir automaticamente um modelo de um sistema que não satisfaz uma dada propriedade. A maioria das abordagens de atualização de modelos é baseada na lógica temporal CTL , a qual não leva em consideração as ações que rotulam as transições de estados. Em trabalhos anteriores propomos uma nova abordagem para atualização de modelos, que pode ser utilizada para sugerir automaticamente modificações em um sistema considerando as ações. Para isso, o modelo é representado por um sistema de transições rotuladas e as propriedades a serem verificadas são especificadas na lógica temporal alpha-CTL :uma extensão de CTL que possui a semântica baseada em ações. Nessa proposta de doutorado direto queremos estender essa abordagem de atualização de modelos baseada em ações para também sugerir modificações na própria especificação de ações. Essa ideia amplia o conceito anterior de atualização de modelos para que possa ser aplicado também na área de modelagem de domínios de planejamento, isto é, modelagem de ações de agentes de planejamento que interagem com um ambiente. Nesse contexto, as ações induzem os modelos no qual se deseja verificar propriedades e efetuar atualizações. (AU)

Publicações acadêmicas

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

MENEZES, Maria Viviane de. Mudanças em problemas de planejamento sem solução. 2014. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) São Paulo.