Agentes com recursos limitados e raciocínio aproximado

-----------------------------------------------------------------------------

Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------

Título: Agentes com recursos limitados e raciocínio aproximado

Palestrante: Renata Wassermann

Data e Local: dia 23.04.07 às 16:00 hs

Local: Sala 242 - Bloco A - IME - USP

Resumo:

Muitas aplicações em Inteligência Artificial utilizam a lógica clássica para representação de conhecimento e automatização do raciocínio. A linguagem lógica tem a vantagem de ser bem estabelecida e estudada formalmente. Por outro lado, sabe-se que mesmo restringindo-se à lógica proposicional, operações de inferência ou checagem de consistência são computacionalmente intratáveis.

Muitas alternativas à lógica clássica foram criadas para representação de raciocínio, mas nenhuma sobreviveu por tanto tempo quanto a lógica. Recentemente têm surgido na literatura propostas de manter-se a lógica como linguagem de representação, mas refinando as noções de inferência e satisfatibilidade para que os problemas se tornem tratáveis. Neste seminário vamos discutir a idéia de aproximações: quando não se pode resolver um problema diretamente, procuramos soluções parciais. Quanto mais recursos (tempo, memória) tivermos, melhor a qualidade das soluções parciais. Caso os recursos sejam ilimitados, a solução deve convergir para a solução clássica.



Todos são benvindos