Exportar registro bibliográfico

Planejamento baseado em casos usando lógica de transações (1999)

  • Authors:
  • Autor USP: TONIDANDEL, FLAVIO - EP
  • Unidade: EP
  • Sigla do Departamento: PEE
  • Assunto: ENGENHARIA ELÉTRICA
  • Language: Português
  • Abstract: 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
  • Imprenta:
  • Data da defesa: 15.03.1999

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

    • ABNT

      TONIDANDEL, Flavio; RILLO, Márcio. Planejamento baseado em casos usando lógica de transações. 1999.Universidade de São Paulo, São Paulo, 1999.
    • APA

      Tonidandel, F., & Rillo, M. (1999). Planejamento baseado em casos usando lógica de transações. Universidade de São Paulo, São Paulo.
    • NLM

      Tonidandel F, Rillo M. Planejamento baseado em casos usando lógica de transações. 1999 ;
    • Vancouver

      Tonidandel F, Rillo M. Planejamento baseado em casos usando lógica de transações. 1999 ;

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

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021