Return to search

First-order logic for decison problems with preference aggregation / Uma abordagem utilizando lÃgica de primeira ordem para problemas de decisÃo multiagente baseada em agregaÃÃo de preferÃncias

A tomada de decisÃo à um processo cognitivo que conduz à seleÃÃo de um plano de escolha dentre vÃrios. Este pode ser concebido atravÃs do juÃzo de um ou vÃrios indivÃduos, os quais serÃo definidos como agentes. O trabalho em questÃo terà como cerne ambientes onde grupo de indivÃduos atuam simultaneamente influenciando uns aos outros, ou seja, iremos trabalhar com sistemas multiagentes.

Dentre a classe de problemas envolvidos pela tomada de decisÃo, destacam-se os Problemas de DecisÃo MulticritÃrio. Estes sÃo uma variaÃÃo dos Problemas de DecisÃo usuais onde a correta tomada de decisÃo se processa atravÃs da apreciaÃÃo de vÃrios critÃrios, os quais sÃo utilizados para descrever o objeto/fato a ser decidido.

Para que seja possÃvel a tomada de decisÃo, se faz necessÃrio uma estratÃgia que analise o problema em questÃo, de modo a determinar as alternativas sobre as quais o tomador de decisÃo deverà escolher, avalie cada critÃrio que compÃe a alternativa, diante dos possÃveis valores que estes podem assumir, para, assim, realizar a tomada de decisÃo. Dentre as diversas estratÃgias utilizadas para resolver este tipo de problemas, destacam-se aquelas que usam a LÃgica MatemÃtica como tÃcnica de modelagem e soluÃÃo.

Amplamente estudada por pesquisadores vinculados à InteligÃncia Artificial, a LÃgica MatemÃtica utiliza-se de conceitos especÃficos de sua sintaxe e semÃntica para modelar ambientes complexos e estabelecer por mÃtodos especÃficos a tomada de decisÃo. Dentre as abordagens relevantes vinculadas à LÃgica MatemÃtica, destacam-s aquelas que empregam a LÃgica de Primeira Ordem.

Inspirado nas LÃgica de PreferÃncias clÃssicas, este trabalho propÃe a LÃgica de Primeira Ordem para problemas de DecisÃo com AgregaÃÃo de PreferÃncias FODPA. Esta à capaz de modelar e resolver Problemas de DecisÃo MulticritÃrio em ambientes multiagentes atravÃs de tÃcnicas relacionadas Ãs LÃgicas com AgregaÃÃo de PreferÃncias e à LÃgica de Primeira Ordem. / Decision making is a cognitive procedure that lead to selection of a plan of choice among several. This can be designed through the judgment of one or more individuals, who are defined as agents. The work in question will have as core environments where several individuals act simultaneously, that is, we will work with multi-agent systems.

Among the problems involved by the decision making processes, stand out the Multicriteria Decision Problems. These are a variation of the usual Decision Problems where the correct decision-making processes through the assessment of various criteria, which are used to describe the object / fact to be decided.

To be able the correct decision making, a strategy is necessery to analyze the problem, determine the alternatives on which the decision maker must choose, evaluate each criterion that compose an alternative towards the possible values that each criterion can assume, thus, take the decision. Among the several strategies used to solve such problems, stand out those that use the Mathematical Logic as modeling and solution techniques.

Extensively studied by researchers in Artificial Intelligence, the Mathematical Logic uses specific concepts of its syntax and semantics to model complex environments and establish decision-making.

Inspired by the Classical Preferences Logics, this work aims to propose the First Order Logic for Decison problems with Preference Aggregation {FODPA}. This is able to model and solve Multicriteria Decisiom Problems in multi-agent environments by techniques related to Preferences Logics and the First Order Logic.

Identiferoai:union.ndltd.org:IBICT/oai:www.teses.ufc.br:10592
Date20 November 2015
CreatorsArnaldo AraÃjo Lima JÃnior
ContributorsAna Teresa de Castro Martins, Davi Romero de Vasconcelos, Mario Roberto Folhadela Benevides, JoÃo Fernando Lima AlcÃntara
PublisherUniversidade Federal do CearÃ, Programa de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃo, UFC, BR
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações da UFC, instname:Universidade Federal do Ceará, instacron:UFC
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0023 seconds