Planejamento baseado em casos usando lógica de transações.

• Ano de defesa: 1999
• Autor(a) principal: Tonidandel, Flavio
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Artificial intelligence; Case-based planning; Inteligência artificial; Lógica de transações (Formalização); Planejamento baseado em casos; Transaction logic (Formalization)
• Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3139/tde-04102024-115228/

A Lógica de Transações (TR) possui diversas características que vão ao encontro de algumas das necessidades dos sistemas de planejamento, como por exemplo: uma semântica baseada em caminhos de estados; tratamento de seqüências de fórmulas e uma teoria de provas que possibilita o uso de uma base de dados controlada por oráculos. Devido ao fato desta lógica apresentar características semelhantes à semântica de planejamento, um estudo inicial da equivalência entre a semântica deplanejamento e a semântica de TR foi realizado. Isto permitiu as definições de ações e seus efeitos, com o uso de fluentes inerciais e dependentes. Os planos, objetivos e casos puderam ser modelados e definidos em Lógica de Transações e o planejador baseado em casos teve sua correção e completeza determinadas com relação aos problemas de planejamento. A partir da definição de casos e das ações na estrutura da Lógica de Transações, foram firmadas as etapas do planejador baseado em casos, propondo métodos de indexação e de busca que se caracterizam por possibilitar a recuperação a união de sub-casos. Por fim, a comparação com trabalhos correlatos mostrou que a Lógica de Transações permite uma perfeita definição de uma basede conhecimento de aplicações reais com a incorporação de diversas técnicas da área de Planejamento de Ações e de áreas como o Raciocínio sobre Ações.