Planejamento e Satisfazibilidade

O trabalho publicado no início da década de 90 por Selman et. al: "A New Method
for Solving Hard Satisfiability Problems", descreve um procedimento heurístico
capaz de solucionar algumas instâncias SAT com um gasto de tempo relativametne
pequeno. No mesmo ano de 1992, Kautz e Selman vislumbram uma aplicação prática
de seu novo algoritmo: Planejamento em IA. 

Até esta data, o problema de Planejamento, ou mais detalhadamente, o problema
de determinar uma seqüência lógica de ações com a finalidade de atingir um
objetivo pré-determinado, era tratado como um problema de dedução lógica ou
busca. Nos anos subseqüentes, os dois pesquisadores aprimorarm sua solução
adicionando algumas novas idéias. E o que se viu foi o surgimento de um
planejador chamado BlackBox, que participou da competição de planejadores de
1998.

Este seminário apresenta o desenvolvimento destas pesquisas até o surgimento do
BlackBox como solução para o problema de planejamento. Esta solução relaciona
duas áreas de pesquisas distintas: SAT e Planejamento em IA. Além disso, este
seminário apresenta alguns experimentos na área de Planejamento em IA
realizados no grupo de pesquisas em Inteligência Computacional da Universidade
Federal do Paraná.