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
-
ABNT
TONIDANDEL, Flavio. Planejamento baseado em casos usando lógica de transações. 1999. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1999. . Acesso em: 19 abr. 2024. -
APA
Tonidandel, F. (1999). Planejamento baseado em casos usando lógica de transações (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. -
NLM
Tonidandel F. Planejamento baseado em casos usando lógica de transações. 1999 ;[citado 2024 abr. 19 ] -
Vancouver
Tonidandel F. Planejamento baseado em casos usando lógica de transações. 1999 ;[citado 2024 abr. 19 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
