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

Dissertação (mestrado)—Universidade de Brasília,Instituto de Ciências Humanas, Programa de Pós-Graduação em Filosofia, 2020.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.CAPESIn this paper we analyze the relationship between knowledge, problem solving and formal logic. The specific objective of this dissertation is to examine in what extent the logic of transactions (TR) allows to represent procedural and declarative knowledge, as well as agents capable of using these types of knowledge to solve well-defined problems. To accomplish this task, we present in the first chapter some definitions of knowledge problem, discuss the main aspects involved in problem solving and analyze the relationship between actions and intentions. In the second chapter, we present an introduction to the logic of transactions. In the third chapter, we show how transaction logic can be applied in the context of problem solving and present some ideas that could be used to develop languages that overcome some limitations of TR. We conclude that although TR fulfills its mission of representing knowledge and agents that solve well-defined problems, there are some aspects that could be modified to create even more adequate logic for this task