The aggregation of propositional attitudes: towards a general theory

How can the propositional attitudes of several individuals be aggregated into overall collective propositional attitudes? Although there are large bodies of work on the aggregation of various special kinds of propositional attitudes, such as preferences, judgments, probabilities and utilities, the aggregation of propositional attitudes is seldom studied in full generality. In this paper, we seek to contribute to filling this gap in the literature. We sketch the ingredients of a general theory of propositional attitude aggregation and prove two new theorems. Our first theorem simultaneously characterizes some prominent aggregation rules in the cases of probability, judgment and preference aggregation, including linear opinion pooling and Arrovian dictatorships. Our second theorem abstracts even further from the specific kinds of attitudes in question and describes the properties of a large class of aggregation rules applicable to a variety of belief-like attitudes. Our approach integrates some previously disconnected areas of investigation.mathematical economics;

Development, test and comparison of two Multiple Criteria Decision Analysis(MCDA) models: A case of healthcare infrastructure location

When planning a new development, location decisions have always been a major issue. This paper examines and compares two modelling methods used to inform a healthcare infrastructure location decision. Two Multiple Criteria Decision Analysis (MCDA) models were developed to support the optimisation of this decision-making process, within a National Health Service (NHS) organisation, in the UK. The proposed model structure is based on seven criteria (environment and safety, size, total cost, accessibility, design, risks and population profile) and 28 sub-criteria. First, Evidential Reasoning (ER) was used to solve the model, then, the processes and results were compared with the Analytical Hierarchy Process (AHP). It was established that using ER or AHP led to the same solutions. However, the scores between the alternatives were significantly different; which impacted the stakeholders‟ decision-making. As the processes differ according to the model selected, ER or AHP, it is relevant to establish the practical and managerial implications for selecting one model or the other and providing evidence of which models best fit this specific environment. To achieve an optimum operational decision it is argued, in this study, that the most transparent and robust framework is achieved by merging ER process with the pair-wise comparison, an element of AHP. This paper makes a defined contribution by developing and examining the use of MCDA models, to rationalise new healthcare infrastructure location, with the proposed model to be used for future decision. Moreover, very few studies comparing different MCDA techniques were found, this study results enable practitioners to consider even further the modelling characteristics to ensure the development of a reliable framework, even if this means applying a hybrid approach

A Logic for Collective Choice

International audienceThis paper presents a modal logic for modelling individual and collective choices over a set of feasible alternatives. The logic extends propositional logic with a binary modality so that a formula can express not only properties of alternatives but also priorities of individuals over the properties. More importantly, each formula of this logic determines a preference ordering over alternatives based on the priorities over properties that the formula expresses. In such a way, preferences of multiple agents can be represented by a set of formulas in the same logic. This allows us to treat the problem of collective choice in a multi-agent system as aggregation of logical formulas. We further use this language to express a few plausible collective choice rules. Similar to preference aggregation, we specify collective choice rules by Arrow’s conditions. Interestingly, all Arrowian conditions are plausible under the new setting except Independence of Irrelevant Alternatives. This gives us a natural way to avoid Arrow’s impossibility result. Finally, we develop a model checking algorithm to automatically generate individual and collective choices in the logic

An interactive fuzzy judgment aggregation model for consensus with partially undecided judges

New requirements and challenges arise in judgment aggregation, due to the complexity of judgment making process and the necessity of dealing with huge amounts of vague and uncertain information and alternatives. In this paper we propose an interactive fuzzy judgment aggregation method for consensus to deal with the situation where judges are partially undecided

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)

http://ceur-ws.org/Vol-627/allproceedings.pdfInternational audienceMALLOW-2010 is a third edition of a series initiated in 2007 in Durham, and pursued in 2009 in Turin. The objective, as initially stated, is to "provide a venue where: the cost of participation was minimum; participants were able to attend various workshops, so fostering collaboration and cross-fertilization; there was a friendly atmosphere and plenty of time for networking, by maximizing the time participants spent together"

Decision Maps for Distributed Scenario-Based Multi-Criteria Decision Support

This thesis presents the Decision Map approach to support decision-makers facing complex uncertain problems that defy standardised solutions. First, scenarios are generated in a distributed manner: the reasoning processes can be adapted to the problem at hand whilst respecting constraints in time and availability of experts. Second, by integrating scenarios and MCDA, this approach facilitates robust decision-making respecting multiple criteria in a transparent well-structured manner

Local Belief Dynamics in Network Knowledge Bases

People are becoming increasingly more connected to each other as social networks continue to grow both in number and variety, and this is true for autonomous software agents as well. Taking them as a collection, such social platforms can be seen as one complex network with many different types of relations, different degrees of strength for each relation, and a wide range of information on each node. In this context, social media posts made by users are reflections of the content of their own individual (or local) knowledge bases; modeling how knowledge flows over the network? or how this can possibly occur? is therefore of great interest from a knowledge representation and reasoning perspective. In this article, we provide a formal introduction to the network knowledge base model, and then focus on the problem of how a single agents knowledge base changes when exposed to a stream of news items coming from other members of the network. We do so by taking the classical belief revision approach of first proposing desirable properties for how such a local operation should be carried out (theoretical characterization), arriving at three different families of local operators, exploring concrete algorithms (algorithmic characterization) for two of the families, and proving properties about the relationship between the two characterizations (representation theorem). One of the most important differences between our approach and the classical models of belief revision is that in our case the input is more complex, containing additional information about each piece of information.Fil: Gallo, Fabio Rafael. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Gerardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Martinez, Maria Vanina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; ArgentinaFil: Abad Santos, Natalia Vanesa. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentin

Decision making theory with geographic information systems support

Decisions are made with varying degrees of effectiveness and efficiency and are influenced by a myriad of internal and external forces. Decision Support Systems (DSS) software can effectively aid decision making through processing the facts and producing meaningful outputs for use by the person or team in making the final choice. Geographic Information Systems (GIS), a form of DSS, are very effective when locational data are present. This thesis talks about using GIS software in decision making procedures