Le déficit d’explicabilité des techniques d’apprentissage machine (AM) pose des problèmes opérationnels, juridiques et éthiques. Un des principaux objectifs de notre projet est de fournir des explications éthiques des sorties générées par une application fondée sur de l’AM, considérée comme une boîte noire. La première étape de ce projet, présentée dans cet article, consiste à montrer que la validation de ces boîtes noires diffère épistémologiquement de celle mise en place dans le cadre d’une modélisation mathématique et causale d’un phénomène physique. (...) La différence majeure est qu’une méthode d’AM ne prétend pas représenter une causalité entre les paramètres d’entrées, qui peuvent être de plus de haute dimensionnalité, et ceux de sortie. Nous montrons dans cet article l’intérêt de mettre en œuvre les distinctions épistémologiques entre les différentes fonctions épistémiques d’un modèle, d’une part, et entre la fonction épistémique et l’usage d’un modèle, d’autre part. Enfin, la dernière partie de cet article présente nos travaux en cours sur l’évaluation d’une explication, qui peut être plus persuasive qu’informative, ce qui peut ainsi causer des problèmes d’ordre éthique. (shrink)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...) dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. (shrink)

This paper analyzes criteria of fair division of a set of indivisible items among people whose revealed preferences are limited to rankings of the items and for whom no side payments are allowed. The criteria include refinements of Pareto optimality and envy-freeness as well as dominance-freeness, evenness of shares, and two criteria based on equally-spaced surrogate utilities, referred to as maxsum and equimax. Maxsum maximizes a measure of aggregate utility or welfare, whereas equimax lexicographically maximizes persons' utilities from smallest to (...) largest. The paper analyzes conflicts among the criteria along with possibilities and pitfalls of achieving fair division in a variety of circumstances. (shrink)

We report the results of a questionnaire study on the fair distribution of indivisible goods. We collected data from three different subject pools, first- and second- year students majoring in economics, law students, and advanced economics students with some background knowledge of fairness theories. The purpose of this study is to assess the empirical relevance of various fairness criteria such as inequality aversion, the utilitarian principle of maximizing the sum of individual payoffs, the Rawlsian “maximin” principle of maximizing the payoff (...) of the worst-off individual, and the criterion of envy-freeness (in the sense of Foley 1967). (shrink)

This article presents a relatively straightforward theoretical framework about distributive justice with applications. It draws on a few key concepts of Sociological Game Theory. SGT is presented briefly in section 2. Section 3 provides a spectrum of distributive cases concerning principles of equality, differentiation among recipients according to performance or contribution, status or authority, or need. Two general types of social organization of distributive judgment are distinguished and judgment procedures or algorithms are modeled in each type of social organization. Section (...) 4 discusses briefly the larger moral landscapes of human judgment – how distribution may typically be combined with other value into consideration. The article suggests that Rawls, Elster, and Machado point in this direction. Finally, it is suggested that the SGT framework presented provides a useful point of departure to systematically link it and compare the Warsaw School of Fair Division, Rawls, and Elster, among others. (shrink)

We introduce a family of proportional surplus division values for TU-games. Each value first assigns to each player a compromise between her stand-alone worth and the average stand-alone worths over all players, and then allocates the remaining worth among the players in proportion to their stand-alone worths. This family contains the proportional division value and the new egalitarian proportional surplus division value as two special cases. We provide characterizations for this family of values, as well as for each single value (...) in this family. (shrink)

We introduce a conceptual model for reaching group decisions. Our model extends a well-known, single-agent cognitive model, the recognition-primed decision (RPD) model. The RPD model includes a recognition phase and an evaluation phase. Group extensions of the RPD model, applicable to a group of RPD agents, have been considered in the literature, however the proposed models do not formalize how distributed and possibly inconsistent information can be combined in either phase. We show how such information can be utilized by aggregating (...) it using a specific social choice method, namely judgment aggregation. Our model is applicable to hierarchical groups of agents containing at least one RPD agent. (shrink)

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book (...) takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other. (shrink)

Negotiation Support Systems have traditionally modelled the process of negotiation. They often rely on mathematical optimisation techniques and ignore heuristics and other methods derived from practice. Our goal is to develop systems capable of decision support to help resolve a given dispute. A system we have constructed, Family_Winner, uses empirical evidence to dynamically modify initial preferences throughout the negotiation process. It sequentially allocates issues using trade-offs and compensation opportunities inherent in the dispute.

Contested Pile methods are two-phase procedures for the fair allocation of indivisible items to two players. In the Generation Phase, items over which the players’ preferences differ widely enough are allocated. “Contested” items are placed in the Contested Pile, which is then allocated in the Splitting Phase. Each phase can be carried out using several different techniques; we perform a comprehensive analysis of the resulting design variants using a computational model. The properties of fairness and efficiency, generally achieved in the (...) Generation Phase, must be traded off against robustness to manipulation. We find that the recently developed Undercut procedure for the Splitting Phase outperforms alternative methods in both fairness and efficiency. In general, procedures that keep the Contested Pile relatively small and incorporate the Undercut procedure score well in both fairness and efficiency, but are prone to manipulation. (shrink)