Detalhes bibliográficos
| Ano de defesa: |
2002 |
| Autor(a) principal: |
Pereira, Silvio do Lago |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| 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
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-130621/
|
Resumo: |
Nesse trabalho, estabelecemos uma correspondência entre raciocínio abdutivo no cálculo de eventos e planejamento de ordem parcial. Para tanto, implementamos três sistemas de planejamento abdutivo baseado em cálculo de eventos (Abp, Sabp e Rabp) e três sistemas algorítmicos (de ordem parcial) correspondentes (Pop, Snlp e Tweak). Então, através de uma análise comparativa do comportamento desses sistemas, mostramos que planejadores (lógicos e algorítmicos) que implementam estratégias de planejamento correspondentes apresentam comportamentos idênticos (i.e., examinam o mesmo espaço de busca e apresentam praticamente a mesma eficiência). Também mostramos que, tanto para sistemas lógicos quanto algorítmicos, a eficiência de planejamento não depende apenas da política de proteção de submetas adotadas em cada um deles, mas também das características específicas do domínio de planejamento considerado |
