Raciocínio e ação : a lógica das transações aplicada à resolução de problemas

Abstract

Neste trabalho analisamos as relações entre conhecimento, resolução de problemas e lógica formal. O objetivo específico desta dissertação é examinar em que medida a lógica das transações (TR) permite representar os conhecimentos procedural e declarativo, bem como agentes capazes de utilizar esses tipos de conhecimentos para resolver problemas bem definidos. Para realizar tal tarefa, apresentamos no primeiro capítulo algumas definições de problema e de conhecimento, discutimos os principais aspectos envolvidos na resolução de problemas e analisamos a relação entre ações e intenções. No segundo capítulo, apresentamos uma introdução a lógica das transações. No terceiro capítulo, mostramos como a lógica das transações pode ser aplicada no contexto da resolução de problemas e apresentamos algumas ideias que poderiam ser utilizadas para desenvolver linguagens que superassem algumas limitações de TR. Concluímos que apesar de TR cumprir sua missão de representar o conhecimento e agentes que resolvem problemas bem definidos, existem alguns aspectos que poderiam ser modificados para criar lógicas mais adequados ainda para tal tarefa.