Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Em regiÃes semiÃridas, como à o caso do Estado do CearÃ, e Ãridas encontra-se um difÃcil cenÃrio de escassez hÃdrica devido a vÃrios fatores como irregularidade pluviomÃtrica, altas temperaturas e consequentemente, altas taxas de evaporaÃÃo, etc. Com uma alta demanda e uma oferta nÃo tÃo abundante, faz-se necessÃrio uma gestÃo da Ãgua que possibilite que todos os interessados nesse recurso possam ser atendidos em suas diferentes necessidades e quantidades. A alocaÃÃo de Ãgua à um processo de divisÃo de um bem entre indivÃduos com interesses freqÃentemente conflitantes. O objetivo deste trabalho à analisar o processo de tomada de decisÃo da alocaÃÃo de Ãgua nas Bacias HidrogrÃficas do Estado do CearÃ, identificando suas convergÃncias e divergÃncias metodolÃgicas. Para isso, entrevistas foram realizadas, assim como aplicaÃÃo de questionÃrios durante reuniÃes de alocaÃÃo negociada. O que se observa à que algumas bacias apresentam rituais e procedimentos similares, enquanto em outras verificam-se aÃÃes isoladas. De posse dessas informaÃÃes foram identificadas e propostas melhorias para o sistema de alocaÃÃo negociada nos processos de tomada de decisÃo nas reuniÃes de alocaÃÃo negociada nas bacias. / In semiarid regions, such as the State of CearÃ, and arid is a difficult scenario of water scarcity due to various factors like irregular rainfall, high temperatures and consequently high rates of evaporation, etc.. With a high demand and an offer not so abundant, it is necessary to water management that enables all stakeholders in this feature can be seen in their different needs and quantities. Water allocation is a process of division of property between individuals with often conflicting interests. The objective of this study is to analyze the decision-making process of water allocation Basins of the State of CearÃ, identifying their similarities and differences in methodology. For this, interviews were conducted, as well as questionnaires during meetings negotiated allocation. What is observed is that some basins have similar rituals and procedures, while in others there are isolated actions. Armed with this information were identified and proposed improvements to the system of negotiated allocation processes in decision-making meetings allocation negotiated basins.

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.