Skip navigation
Please use this identifier to cite or link to this item: https://repositorio.unb.br/handle/10482/39156
Files in This Item:
File Description SizeFormat 
2020_HítaloFernandesdeOliveira.pdf975,48 kBAdobe PDFView/Open
Title: Raciocínio e ação : a lógica das transações aplicada à resolução de problemas
Authors: Oliveira, Hítalo Fernandes de
metadata.dc.contributor.email: hítalofernandes@hotmail.com
Orientador(es):: Costa-Leite, Alexandre
Assunto:: Lógica
Conhecimento
Comportamento - avaliação
Resolução de problemas
Citation: OLIVEIRA, Hítalo Fernandes de. Raciocínio e ação: a lógica das transações aplicadas na resolução de problemas. 2020. 90 f. Dissertação (Mestrado em Filosofia)—Universidade de Brasília, Brasília, 2020.
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.
Abstract: In 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.
Description: Dissertação (mestrado)—Universidade de Brasília,Instituto de Ciências Humanas, Programa de Pós-Graduação em Filosofia, 2020.
Licença:: A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.
Agência financiadora: CAPES
Appears in Collections:FIL - Mestrado em Filosofia (Dissertações)

Show full item record Recommend this item " class="statisticsLink btn btn-primary" href="/handle/10482/39156/statistics">



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.