Lógica BDI fuzzy

AUTOR(ES)
DATA DE PUBLICAÇÃO

2008

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)

ASSUNTO(S)

sistemas distribuídos bdi lógica computacional computational logic fuzzy distributed systems fuzzy bdi sistemas de computacao

ACESSO AO ARTIGO

Documentos Relacionados