Lógica BDI fuzzy
Autor(a) principal: | |
---|---|
Data de Publicação: | 2008 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFRN |
Texto Completo: | https://repositorio.ufrn.br/jspui/handle/123456789/17995 |
Resumo: | 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] |
id |
UFRN_ef802185c46998ff9b41e17a5343afdb |
---|---|
oai_identifier_str |
oai:https://repositorio.ufrn.br:123456789/17995 |
network_acronym_str |
UFRN |
network_name_str |
Repositório Institucional da UFRN |
repository_id_str |
|
spelling |
Cruz, Anderson Paivahttp://lattes.cnpq.br/4553903531932794http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4Bedregal, Benjamin René Callejashttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7Canuto, Anne Magaly de Paulahttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790093J8Medeiros, Maria da Paz Nunes dehttp://lattes.cnpq.br/1201435944432572Costa, Antonio Carlos da Rochahttp://lattes.cnpq.br/5601943285331545Santiago, Regivan Hugo Nunes2014-12-17T15:47:50Z2009-05-192014-12-17T15:47:50Z2008-09-26CRUZ, Anderson Paiva. Lógica BDI fuzzy. 2008. 125 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2008.https://repositorio.ufrn.br/jspui/handle/123456789/17995Intendding 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)Coordenação de Aperfeiçoamento de Pessoal de Nível Superiorapplication/pdfporUniversidade Federal do Rio Grande do NortePrograma de Pós-Graduação em Sistemas e ComputaçãoUFRNBRCiência da ComputaçãoLógica computacionalBDIFuzzySistemas distribuídosComputational logicBDIFuzzyDistributed systemsCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOLógica BDI fuzzyinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALAndersonPC.pdfapplication/pdf869261https://repositorio.ufrn.br/bitstream/123456789/17995/1/AndersonPC.pdf91e1d275a5e4a9bad4ad9b5124d11a65MD51TEXTAndersonPC.pdf.txtAndersonPC.pdf.txtExtracted texttext/plain288677https://repositorio.ufrn.br/bitstream/123456789/17995/6/AndersonPC.pdf.txtfe11beef8459689bd31e7f5ff9424290MD56THUMBNAILAndersonPC.pdf.jpgAndersonPC.pdf.jpgIM Thumbnailimage/jpeg1794https://repositorio.ufrn.br/bitstream/123456789/17995/7/AndersonPC.pdf.jpg1f9fe93e3e40777b39c59eba92634c5cMD57123456789/179952017-11-04 10:03:55.846oai:https://repositorio.ufrn.br:123456789/17995Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2017-11-04T13:03:55Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false |
dc.title.por.fl_str_mv |
Lógica BDI fuzzy |
title |
Lógica BDI fuzzy |
spellingShingle |
Lógica BDI fuzzy Cruz, Anderson Paiva Lógica computacional BDI Fuzzy Sistemas distribuídos Computational logic BDI Fuzzy Distributed systems CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
title_short |
Lógica BDI fuzzy |
title_full |
Lógica BDI fuzzy |
title_fullStr |
Lógica BDI fuzzy |
title_full_unstemmed |
Lógica BDI fuzzy |
title_sort |
Lógica BDI fuzzy |
author |
Cruz, Anderson Paiva |
author_facet |
Cruz, Anderson Paiva |
author_role |
author |
dc.contributor.authorID.por.fl_str_mv |
|
dc.contributor.authorLattes.por.fl_str_mv |
http://lattes.cnpq.br/4553903531932794 |
dc.contributor.advisorID.por.fl_str_mv |
|
dc.contributor.advisorLattes.por.fl_str_mv |
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4 |
dc.contributor.advisor-co1ID.por.fl_str_mv |
|
dc.contributor.referees1.pt_BR.fl_str_mv |
Canuto, Anne Magaly de Paula |
dc.contributor.referees1ID.por.fl_str_mv |
|
dc.contributor.referees1Lattes.por.fl_str_mv |
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790093J8 |
dc.contributor.referees2.pt_BR.fl_str_mv |
Medeiros, Maria da Paz Nunes de |
dc.contributor.referees2ID.por.fl_str_mv |
|
dc.contributor.referees2Lattes.por.fl_str_mv |
http://lattes.cnpq.br/1201435944432572 |
dc.contributor.referees3.pt_BR.fl_str_mv |
Costa, Antonio Carlos da Rocha |
dc.contributor.referees3ID.por.fl_str_mv |
|
dc.contributor.referees3Lattes.por.fl_str_mv |
http://lattes.cnpq.br/5601943285331545 |
dc.contributor.author.fl_str_mv |
Cruz, Anderson Paiva |
dc.contributor.advisor-co1.fl_str_mv |
Bedregal, Benjamin René Callejas |
dc.contributor.advisor-co1Lattes.fl_str_mv |
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7 |
dc.contributor.advisor1.fl_str_mv |
Santiago, Regivan Hugo Nunes |
contributor_str_mv |
Bedregal, Benjamin René Callejas Santiago, Regivan Hugo Nunes |
dc.subject.por.fl_str_mv |
Lógica computacional BDI Fuzzy Sistemas distribuídos |
topic |
Lógica computacional BDI Fuzzy Sistemas distribuídos Computational logic BDI Fuzzy Distributed systems CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
dc.subject.eng.fl_str_mv |
Computational logic BDI Fuzzy Distributed systems |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
description |
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] |
publishDate |
2008 |
dc.date.issued.fl_str_mv |
2008-09-26 |
dc.date.available.fl_str_mv |
2009-05-19 2014-12-17T15:47:50Z |
dc.date.accessioned.fl_str_mv |
2014-12-17T15:47:50Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
CRUZ, Anderson Paiva. Lógica BDI fuzzy. 2008. 125 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2008. |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufrn.br/jspui/handle/123456789/17995 |
identifier_str_mv |
CRUZ, Anderson Paiva. Lógica BDI fuzzy. 2008. 125 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2008. |
url |
https://repositorio.ufrn.br/jspui/handle/123456789/17995 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal do Rio Grande do Norte |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Sistemas e Computação |
dc.publisher.initials.fl_str_mv |
UFRN |
dc.publisher.country.fl_str_mv |
BR |
dc.publisher.department.fl_str_mv |
Ciência da Computação |
publisher.none.fl_str_mv |
Universidade Federal do Rio Grande do Norte |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFRN instname:Universidade Federal do Rio Grande do Norte (UFRN) instacron:UFRN |
instname_str |
Universidade Federal do Rio Grande do Norte (UFRN) |
instacron_str |
UFRN |
institution |
UFRN |
reponame_str |
Repositório Institucional da UFRN |
collection |
Repositório Institucional da UFRN |
bitstream.url.fl_str_mv |
https://repositorio.ufrn.br/bitstream/123456789/17995/1/AndersonPC.pdf https://repositorio.ufrn.br/bitstream/123456789/17995/6/AndersonPC.pdf.txt https://repositorio.ufrn.br/bitstream/123456789/17995/7/AndersonPC.pdf.jpg |
bitstream.checksum.fl_str_mv |
91e1d275a5e4a9bad4ad9b5124d11a65 fe11beef8459689bd31e7f5ff9424290 1f9fe93e3e40777b39c59eba92634c5c |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN) |
repository.mail.fl_str_mv |
|
_version_ |
1802117711314026496 |