Made available in DSpace on 2014-12-17T15:47:50Z (GMT). No. of bitstreams: 1 AndersonPC.pdf: 869261 bytes, checksum: 91e1d275a5e4a9bad4ad9b5124d11a65 (MD5) Previous issue date: 2008-09-26 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1] / Com o intuito de entender como a mente humana funciona iniciaram-se estudos sobre cogni??o nos campos da filosofia e psicologia. Teorias surgiram desses estudos e, atualmente, esta curiosidade foi estendida a outras ?reas, tais como, ci?ncia e engenharia de computa??o, no entanto, nestas ?reas, o objetivo ? sutilmente diferente: entender o funcionamento da mente e aplic?-lo em uma modelagem artificial. Em ci?ncia da computa??o, a sub-?rea de sistemas multiagentes tem progredido bastante, utilizando trabalhos em intelig?ncia artificial, l?gica computacional, sistemas distribu?dos, teoria dos jogos e, aproveitando tamb?m teorias provenientes da pr?pria filosofia e psicologia. Desta forma, alguns pesquisadores j? v?em o paradigma de programa??o orientado a agentes como a melhor solu??o para a implementa??o dos softwares mais complexos: cujos sistemas s?o din?micos, n?o-determin?sticos e que podem ter de operar com dados faltosos sobre ambientes tamb?m din?micos e n?o-determin?sticos. Este trabalho busca a apresenta??o de uma extens?o da formaliza??o l?gica de um modelo de arquitetura de agentes cognitivos, chamado BDI (belief-desire-intention), na qual o agente ? capaz de deliberar suas a??es baseando-se em suas cren?as, desejos e inten??es. A formaliza??o de tal modelo ? conhecida pelo nome de l?gica BDI, uma l?gica modal com tr?s rela??es de modalidade. Neste trabalho, ser?o apresentados dois planos para transform?-la numa l?gica modal fuzzy onde as rela??es de acessibilidade e as f?rmulas (modais-fuzzy) poder?o ter valora??es dentro do intervalo [0,1]. Esta l?gica modal fuzzy h? de ser um sistema l?gico formal capaz de representar quantitativamente os diferentes graus de cren?as, desejos e inten??es objetivando a constru??o de racioc?nios fuzzy e a delibera??o de a??es de um agente (ou grupo de agentes), atrav?s dessas atitudes mentais (seguindo assim um modelo intensional)