Lógicas BDI fussy/

Resumo: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 área...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Principais autores:	Cruz, Anderson Paiva., Santiago, Regivan Hugo Nunes., Calleja Bedregal, Benjamin René.
Formato:	Dissertação
Publicado em:
Assuntos:	Lógica (Computação) - Dissertação. Lógica BDI(Belief-Desire-Intention) - Lógica fuzzy - Lógica modal - Agentes inteligentes - Ciência da computação - Logic (Computer). DBI logic(Belief-Desire-Intention). Fuzy logic. Logic modal. Intelligent agents.
Endereço do item:	https://repositorio.ufrn.br/bitstream/123456789/17995/1/AndersonPC.pdf
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

id	oai:localhost:123456789-84328
record_format	dspace
spelling	oai:localhost:123456789-843282022-11-30T11:06:00Z Lógicas BDI fussy/ Cruz, Anderson Paiva. Santiago, Regivan Hugo Nunes. Calleja Bedregal, Benjamin René. Lógica (Computação) - Dissertação. Lógica BDI(Belief-Desire-Intention) - Dissertação. Lógica fuzzy - Dissertação. Lógica modal - Dissertação. Agentes inteligentes - Dissertação. Ciência da computação - Dissertação. Logic (Computer). DBI logic(Belief-Desire-Intention). Fuzy logic. Logic modal. Intelligent agents. Resumo: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)#$&Abstract: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]. 1 2022-10-05T20:14:30Z 2022-10-05T20:14:30Z 2008. Dissertação 004.312 C957l DISSERT 119129 https://repositorio.ufrn.br/bitstream/123456789/17995/1/AndersonPC.pdf https://repositorio.ufrn.br/bitstream/123456789/17995/1/AndersonPC.pdf
institution	Acervo SISBI
collection	SIGAA
topic	Lógica (Computação) - Dissertação. Lógica BDI(Belief-Desire-Intention) - Dissertação. Lógica fuzzy - Dissertação. Lógica modal - Dissertação. Agentes inteligentes - Dissertação. Ciência da computação - Dissertação. Logic (Computer). DBI logic(Belief-Desire-Intention). Fuzy logic. Logic modal. Intelligent agents.
spellingShingle	Lógica (Computação) - Dissertação. Lógica BDI(Belief-Desire-Intention) - Dissertação. Lógica fuzzy - Dissertação. Lógica modal - Dissertação. Agentes inteligentes - Dissertação. Ciência da computação - Dissertação. Logic (Computer). DBI logic(Belief-Desire-Intention). Fuzy logic. Logic modal. Intelligent agents. Cruz, Anderson Paiva. Santiago, Regivan Hugo Nunes. Calleja Bedregal, Benjamin René. Lógicas BDI fussy/
description	Resumo: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)#$&Abstract: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].
format	Dissertação
author	Cruz, Anderson Paiva. Santiago, Regivan Hugo Nunes. Calleja Bedregal, Benjamin René.
author_facet	Cruz, Anderson Paiva. Santiago, Regivan Hugo Nunes. Calleja Bedregal, Benjamin René.
author_sort	Cruz, Anderson Paiva.
title	Lógicas BDI fussy/
title_short	Lógicas BDI fussy/
title_full	Lógicas BDI fussy/
title_fullStr	Lógicas BDI fussy/
title_full_unstemmed	Lógicas BDI fussy/
title_sort	lógicas bdi fussy/
publishDate	2022
url	https://repositorio.ufrn.br/bitstream/123456789/17995/1/AndersonPC.pdf
work_keys_str_mv	AT cruzandersonpaiva logicasbdifussy AT santiagoregivanhugonunes logicasbdifussy AT callejabedregalbenjaminrene logicasbdifussy
_version_	1766846308804460544

Lógicas BDI fussy/

Registros relacionados