@InProceedings{CruzFerrSilv:2018:SiBaCo,
               author = "Cruz, Caio Gustavo Rodrigues da and Ferreira, Maur{\'{\i}}cio 
                         Gon{\c{c}}alves Vieira and Silva, R. R.",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Sistema baseado em conhecimento para defini{\c{c}}{\~a}o de 
                         restri{\c{c}}{\~o}es para constru{\c{c}}{\~a}o de 
                         dom{\'{\i}}nios de planejamento para {\'a}rea espacial",
            booktitle = "Anais...",
                 year = "2018",
               editor = "Santos, Walter Abrah{\~a}o dos and Rodrigues, Italo Pinto and 
                         Lima, Jeanne Samara dos Santos and Rodrigues, Aline Castilho and 
                         Mateus, Dairo Antonio Cuellar and Moreira, Herbi J{\'u}nior 
                         Pereira and Barbosa, ivan M{\'a}rcio and Ten{\'o}rio, 
                         Pl{\'{\i}}nio Ivo Gama and Toledo, Rafael Cardoso and Pereira, 
                         Yuri Matheus Dias",
         organization = "Workshop em Engenharia e Tecnologia Espaciais, 9. (WETE)",
            publisher = "Instituto Nacional de Pesquisas Espaciais (INPE)",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "Planejamento Autom{\'a}tico, Defini{\c{c}}{\~a}o de 
                         Dom{\'{\i}}nios, PDDL.",
             abstract = "O crescente aumento de sistemas automatizados nas miss{\~o}es 
                         espaciais tem gerado preocupa{\c{c}}{\~a}o com seguran{\c{c}}a 
                         e confiabilidade nas opera{\c{c}}{\~o}es realizadas com 
                         sat{\'e}lites. Para prevenir a gera{\c{c}}{\~a}o de estados 
                         inseguros {\`a}s opera{\c{c}}{\~o}es, estrat{\'e}gias foram 
                         criadas para validar planos de opera{\c{c}}{\~a}o de voo gerados 
                         a partir de planejadores autom{\'a}ticos. As pesquisas 
                         demonstraram que estados inseguros podem ser gerados. Verificar se 
                         {\'e} poss{\'{\i}}vel remover estados inseguros de um plano a 
                         partir de mudan{\c{c}}as na defini{\c{c}}{\~a}o de 
                         dom{\'{\i}}nio de planejamento {\'e} o objetivo desta pesquisa. 
                         Neste trabalho foi realizado uma an{\'a}lise que comprovou ser 
                         poss{\'{\i}}vel impedir que um plano contenha um estado 
                         inseguro, a partir da modifica{\c{c}}{\~a}o de 
                         precondi{\c{c}}{\~o}es e efeitos das a{\c{c}}{\~o}es do 
                         dom{\'{\i}}nio. Assim, ap{\'o}s definir a hip{\'o}tese de que 
                         {\'e} poss{\'{\i}}vel modificar dom{\'{\i}}nios que 
                         possibilitem que planejadores autom{\'a}ticos gerem planos sem 
                         estados inseguros, foi proposto uma estrat{\'e}gia para modificar 
                         dom{\'{\i}}nios de planejamento utilizando-se de uma base de 
                         conhecimento de opera{\c{c}}{\~o}es de voo.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "15-16 ago. 2018",
                 issn = "2177-3114",
             language = "pt",
         organisation = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                  ibi = "8JMKD3MGPDW34R/3S2ELU5",
                  url = "http://urlib.net/ibi/8JMKD3MGPDW34R/3S2ELU5",
           targetfile = "CAIO GUSTAVO RODRIGUES DA CRUZ.pdf",
                 type = "Engenharia e Gerenciamento de Sistemas Espaciais",
        urlaccessdate = "23 abr. 2024"
}