Trabalho de evento

PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos (2017)

• Authors:
  • Santos, Viviane Bonadia dos
  • Barros, Leliane Nunes de
• USP affiliated authors: BARROS, LELIANE NUNES DE - IME ; SANTOS, VIVIANE BONADIA DOS - IME
• Unidade: IME
• Assunto: INTELIGÊNCIA ARTIFICIAL
• Agências de fomento:
  • Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
  • Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
  • Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
    Processo FAPESP: 2015/01587-0
• Language: Português
• Abstract: Planejamento clássico em inteligência artificial, cujo objetivo é encontrar um plano de ações que alcance um estado meta a partir de um estado inicial, faz suposição de ambientes completamente observáveis e ações com efeitos determinísticos. Uma extensão de planejamento clássico, chamada de FOND (Fully-Observable Non-Deterministic Problem), considera ações com efeitos não determinísticos e a geração de políticas que eventualmente terminam em becos-sem-saídas. Soluções conhecidas para esse problema são baseadas em técnicas de verificação de modelos sendo que a maioria delas utiliza a lógica temporal de tempo ramificado CTL. Para contornar as limitações da lógica CTL, que não leva em consideração as ações, foi proposta uma nova lógica, a lógica α-CTL, e um planejador para problemas FOND, chamado PACTL. Neste trabalho apresentamos a versão simbólica desse planejador, que representa estados e ações como fórmulas lógicas, utiliza técnicas de verificação simbólica de modelos e diagramas de decisão binária (BDDS).
• Imprenta:
  • Publisher: SBC
  • Publisher place: Porto Alegre
  • Date published: 2017
• Source:
  • Título do periódico: Anais
• Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC


---

Download do texto completo

Tipo	Nome	Link
	2875833.pdf	Direct link

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• ABNT

  SANTOS, Viviane Bonadia dos e BARROS, Leliane Nunes de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. 2017, Anais.. Porto Alegre: SBC, 2017. Disponível em: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf. Acesso em: 18 abr. 2024.

• APA

  Santos, V. B. dos, & Barros, L. N. de. (2017). PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. In Anais. Porto Alegre: SBC. Recuperado de http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf

• NLM

  Santos VB dos, Barros LN de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos [Internet]. Anais. 2017 ;[citado 2024 abr. 18 ] Available from: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf

• Vancouver

  Santos VB dos, Barros LN de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos [Internet]. Anais. 2017 ;[citado 2024 abr. 18 ] Available from: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf

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

• Specifying preferences over policies using branching time temporal logic
• Symbolic FOND planning for temporally extended goals
• Planejamento baseado em verificação simbólica de modelos
• Real-time symbolic dynamic programming for hybrid MDPs
• A planner agent that tries its best in presence of nondeterminism
• Compilador de regras para geracao de um sistema especialista com encadeamento regressivo
• Reachability-based model reduction for Markov decision process
• The role of knowledge in cognitive robotics planning
• Laboratório de ensino de inteligência artificial
• Planning task validation