argumentation, as originally defined by Dung, is a model that allows the description of certain information about arguments and relationships between them: in an abstract argumentation framework, the agent knows for sure whether a given argument or attack exists. It means that the absence of an attack between two arguments can be interpreted as “we know that the first argument does not attack the second one”. But the question of uncertainty in abstract argumentation has received much attention in the last (...) years. In this paper, we survey approaches that allow to express information like “There may be an attack between these arguments”. We describe the main models that incorporate qualitative uncertainty in abstract argumentation, as well as some applications of these models. We also highlight some open questions that deserve some attention in the future. (shrink)

La 4e de couverture indique : "Ce qui se passe, se produit ou arrive et qui présente une certaine importance pour les hommes " : pareille définition, en raison de son manque de rigueur scientifique, ne saurait satisfaire l'auteur de cet ouvrage. Le grand événement y est présenté comme une notion susceptible de faire l'objet d'une approche authentiquement épistémologique. Rejetée du système scientifique de façon tapageuse, hâtive et passionnelle durant la majeure partie du XXe siècle par contagion disciplinaire en dépit (...) du réel tourmenté de cette période, la notion de grand événement a été réhabilitée à la faveur de Mai 1968 et des récentes découvertes des sciences dites exactes, mais avec une certaine méfiance voire une certaine honte et sans que l'on en ait tiré toutes les conséquences. L'auteur se prononce en faveur d'une prise en considération affirmée et effective de cette notion intrinsèquement révolutionnaire qui apparaît, à plus d'un titre, comme le trublion de l'ordre scientifique établi. Il se risque même à préconiser la création d'une science transversale dont le grand événement constituerait l'objet. Son approche se situe à la croisée des recherches sur le travail de mémoire et sur le retour du présent qui animent la réflexion de ce changement de siècle et de millénaire. Cette provocation épistémologique interpellera tous ceux qui, à un titre ou à un autre, ont été ou sont confrontés aux grands événements : historiens, journalistes, politologues, diplomates, juristes... acteurs et spectateurs.". (shrink)

Cet article propose un lien entre le discours féministe et la perversion. Dans un monde où le sujet pervers est Maître, le réel est anticipé de façon à satisfaire les besoins primaires. Mais la réalité est tout autre, lorsqu'une femme se pose, ou s'oppose, d'une façon plus spontanée, et vient compromettre la quête du pervers : d'objet, dans un monde qui l'assujettit, elle devient sujet. Elle secoue ainsi l'édifice masculin, non sans heurt, car une certaine forme de violence s'impose alors (...) que l'objet résiste. Ce scénario ne fait que rendre manifeste ce que nous savions déjà sur l'agressivité inhérente au rapport pervers. Ce qui a néanmoins comme conséquence d'offrir une autre possibilité de discours qui, d'un point de vue éthique, s'impose à nos sociétés occidentales pour sortir de la perversion et du Même.This paper proposes an explanation for the resistance to feminist discourse, by linking it to perversion. In a world in which the perverse subject dominates, reality is apprehended with the sole satisfaction of primary needs in view. Now such a "reality" becomes wholly transformed so soon as a woman spontaneously asserts or oppose herself, for she appears to compromise the perverse subject's quest; hitherto an object in a subjugating world, she becomes a subject herself. She thus rocks the masculine structure, with resulting clashes, since some degree of violence is inevitable in the face of resistance. This scenario merely manifests what was already known about agression as endemic to perverse relations. From an ethical point of view, however, new possibilities are thus opened up by a discourse which ought to help our Western societies to escape from perversion and Sameness. (shrink)

This paper addresses the issue of the dynamic enforcement of a constraint in an argumentation system. The system consists in (1) an argumentation framework, made up, notably, of a set of arguments...

Today, computers are found in all sciences. Philosophy is no exception. We see the birth of a computer philosophy and a computational, an experimental, and a digital philosophy, etc. What relationship can there be between these two different epistemic practices that are philosophy and computer science? The pragmatic philosophy of science invites us to see a scientific project as a model building endeavour. For research projects that include computers, one of these models will be conceptual. This will allow philosophy to (...) play a fruitful role in relation to formal, computational, and technological models. This hypothesis is explored in computer-aided text analysis (CARAT) reading projects that are applied to texts of highly theoretical levels such as philosophical texts. (shrink)

L'un des objectifs souvent visé par les théories esthétiques contemporaines est la compréhension de ce produit particulier de l'artiste peintre qu'est un tableau. Et, dans la recherche d'une telle compréhension, plusieurs types d'entreprises tant descriptives qu'explicatives ont déployé une diversité impressionnante de concepts et de méthodes.

Recent advancements in algorithms for abstract argumentation make it possible now to solve reasoning problems even with argumentation frameworks of large size, as demonstrated by the results of the various editions of the International Competition on Computational Models of Argumentation (ICCMA). However, the solvers participating to the competition may be hard to use for non-expert programmers, especially if they need to incorporate these algorithms in their own code instead of simply using the command-line interface. Moreover, some ICCMA solvers focus on (...) the ICCMA tracks, and do not implement algorithms for other problems. In this paper we describe pygarg, a Python implementation of the SAT-based approach used in the argumentation solver CoQuiAAS. Contrary to CoQuiAAS and most of the participants to the various editions of ICCMA, pygarg incorporates all problems that have been considered in the main track of any edition of ICCMA. We show how to easily use pygarg via a command-line interface inspired by ICCMA competitions, and then how it can be used in other Python scripts as a third-party library. (shrink)

Même si le concept d'idéologie remonte dans ses premiers emplois à Destutt de Tracy, il est sans contredit un concept pour lequel le marxisme réclame un privilège. C'est à Karl Marx que l'on reconnaît le rôle d'instigateur de cette problématique.L'interprétation classique du concept d'idéologie oriente cette problématique vers l'aspect de détermination sociale des idées telle la sociologie de la connaissance qui l'identifie à des problèmes de fausse conscience, d'illusions, de justifications, etc. Que l'on se réfère à Lukacs, à Mannheim et (...) encore récemment à Althusser, le problème de l'idéologie se pose en termes de conscience, de représentation déterminée par des conditions socio-économiques. (shrink)

Résumé Dans cet article, nous discuterons de l’intégration du numérique à la sémiotique et proposerons qu’une modélisation conceptuelle puisse offrir un pont de dialogue entre ces deux domaines classiquement cloisonnés. Plus précisément, nous avancerons l’hypothèse que tout projet de recherche qui en appellera à l’informatique soit une démarche scientifique que s’il construit une théorie qui contient, en plus des modèles classiques que sont les modèles formel, computationnel et physique, un modèle conceptuel. Ce lieu, où les chercheur-es conceptualisent les multiples dimensions (...) de leur objet de recherche, sera alors défini en tant que socle d’une relation solide entre la sémiotique et l’informatique. Nous verrons que les différentes définitions du modèle conceptuel convergent vers la thèse soutenant que la connaissance scientifique met en œuvre une instance de conceptualisation qui doit identifier les diverses dimensions du problème en plus de devoir s’exprimer de manière à ce qu’elle soit communicable entre les membres des communautés épistémiques. Nous verrons, enfin, qu’un projet de recherché sémiotique exige la construction d’un tel modèle afin de décrire, généraliser et sélectionner des problèmes et que ce même modèle, conceptuel, sera aussi nécessaire si le ou la sémioticien-ne utilise l’informatique dans le cadre de sa recherche.fr. (shrink)

Résumé Au sein d’une théologie considérée comme fondamentalement pratique, la théologie pratique comme sous-discipline se distingue par un intérêt particulier — empirique, herméneutique, critique et stratégique — pour les pratiques dont elle fait souvent son objet propre. Après avoir signalé quelques impacts de ce centrement sur la pratique, l’article présente quelques définitions de la pratique et quelques éléments d’histoire du concept. Il expose ensuite quelques traits des pratiques, en particulier avec Paul Ricoeur et Jürgen Habermas, conjuguant des perspectives sémantique, pragmatique (...) et communicationnelle. Il vise particulièrement à faire ressortir la richesse et la complexité de la pratique dont l’étude est trop souvent prise comme allant de soi et qui surprennent toujours celui qui s’y adonne.At the heart of a theology which is fundamentally considered to be practical, practical theology, as a sub-discipline, distinguishes itself by its particular empirical, hermeneutic, critical, and strategic interest in the practices with which it is concerned. After pointing out some of the impacts of this central concern with practice, the present article presents some definitions of practice as well as some historical background of the concept. It then examines some of the characteristics of practice, particularly in relation to Paul Ricoeur and Jürgen Habermas, while discussing semantic, pragmatic, and communicational perspectives. In particular, this article aims at highlighting the richness and complexity of practice. (shrink)

Argumentation has been an important topic in knowledge representation, reasoning and multi-agent systems during the last twenty years. In this paper, we propose a new abstract framework where arguments are associated with a strength, namely a quantitative information which is used to determine whether an attack between arguments succeeds or not. Our Strength-based Argumentation Framework combines ideas of Preference-based and Weighted Argumentation Frameworks in an original way, which permits to define acceptability semantics sensitive to the existence of accruals between arguments. (...) The question of accruals arises in situations where several arguments defending the same position against another argument are unable to individually defeat this argument, but could do it collectively if they combine their strengths. We investigate some of the theoretical and computational properties of our new framework and semantics, and present a reasoning algorithm that is based on a translation of the problem into pseudo-boolean constraint satisfaction. This paper proposes an intuitive framework which allows strength compensations in an argumentation context where attacks may not succeed, completed by an approach which detects accruals throughout the reasoning process without requiring the elicitation of all compensatory combinations of arguments as an input. (shrink)

We describe a tool that allows the merging of extensions of argumentation frameworks, following the approach defined by 33–42). The tool is implemented in Java, and is highly modular thanks to Object Oriented Programming principles. We describe a short experimental study that assesses the scalability of the approach, as well as the impact on runtime of using an integrity constraint.

Le présent article porte sur les débats relatifs à la Forme que doit prendre l'appareil de collecte de données statistiques pour faire face aux transformations que connaissent les sociétés occidentales depuis le début du XIXe siècle. C'est au moment de la mise sur pied, en 1832, du Bureau statistique du Board of Trade britannique que sont avancés pour la première fois les arguments en faveur de la coordination, de la centralisation ou de la décentralisation en matière statistique. Jusqu'en 1945, ce (...) débat sera un des mieux alimentés, le décollage des économies, les guerres mondiales, la crise des années trente offrant aux protagonistes l'occasion de s'interroger sur la forme que doit prendre le système de collecte et d'analyse des données statistiques. La perspective que nous adopterons ici se distingue par sa double amplitude: ainsi, ne nous limitant pas aux grands systèmes statistiques, ceux de GrandeBretagne, de France et des États-Unis, nous croiserons les fils des histoires nationales de la plupart des pays occidentaux; de plus, ne nous en tenant pas à la période où naissent la plupart des bureaux statistiques, soit le XIXe siècle, nous embrasserons l'ensemble de la période s'étendant de 1800 à 1945. (shrink)

The International Competition on Computational Models of Argumentation (ICCMA) focuses on reasoning tasks in abstract argumentation frameworks. Submitted solvers are tested on a selected collection of benchmark instances, including artificially generated argumentation frameworks and some frameworks formalizing real-world problems. This paper presents the novelties introduced in the organization of the Third (2019) and Fourth (2021) editions of the competition. In particular, we proposed new tracks to competitors, one dedicated to dynamic solvers (i.e., solvers that incrementally compute solutions of frameworks obtained (...) by incrementally modifying original ones) in ICCMA’19 and one dedicated to approximate algorithms in ICCMA’21. From the analysis of the results, we noticed that i) dynamic recomputation of solutions leads to significant performance improvements, ii) approximation provides much faster results with satisfactory accuracy, and iii) classical solvers improved with respect to previous editions, thus revealing advancement in state of the art. (shrink)

The rise of big digital data is changing the framework within which linguists, sociologists, anthropologists, and other researchers are working. Semiotics is not spared by this paradigm shift. A data-driven computational semiotics is the study with an intensive use of computational methods of patterns in human-created contents related to semiotic phenomena. One of the most promising frameworks in this research program is the Semantic Vector Space (SVS) models and their methods. The objective of this article is to contribute to the (...) exploration of the SVS for a computational semiotics by showing what types of semiotic analysis can be accomplished within this framework. The study is applied to a unique body of digitized artworks. We conducted three short experiments in which we explore three types of semiotic analysis: paradigmatic analysis, componential analysis, and topic modelling analysis. The results reported show that the SVS constitutes a powerful framework within which various types of semiotic analysis can be carried out. (shrink)

ABSTRACTThe new paradigm in the psychology of reasoning redirects the investigation of deduction conceptually and methodologically because the premises and the conclusion of the inferences are assumed to be uncertain. A probabilistic counterpart of the concept of logical validity and a method to assess whether individuals comply with it must be defined. Conceptually, we used de Finetti's coherence as a normative framework to assess individuals' performance. Methodologically, we presented inference schemas whose premises had various levels of probability that contained non-numerical (...) expressions and, as a control, sure levels. Depending on the inference schemas, from 60% to 80% of the participants produced coherent conclusions when the premises were uncertain. The data also show that except for schemas involving conjunction, performance was consistently lower with certain than uncertain premises, the rate of conjunction fallacy was consistently low (not exceeding 20%,.. (shrink)

This book offers a solution for the problem of structure and agency in sociological theory by developing a new pair of fundamental concepts: metric and nonmetric. Nonmetric forms, arising in a crowd made out of innumerable individuals, correspond to social groups that divide the many individuals in the crowd into insiders and outsiders. Metric forms correspond to congested zones like traffic jams on a highway: individuals are constantly entering and leaving these zones so that they continue to exist, even though (...) the individuals passing through them change. Building from these concepts, we can understand “agency” as a requirement for group identity and group membership, thus associating it with nonmetric forms, and “structure” as a building-up effect following the accumulation of metric forms. This reveals the contradiction between structure and agency to be a case of forced perspective, leaving us victim to an optical illusion. (shrink)

Most instantiations of the inference ‘y; so if x, y’ seem intuitively odd, a phenomenon known as one of the paradoxes of the material conditional. A common explanation of the oddity, endorsed by Mental Model theory, is based on the intuition that the conclusion of the inference throws away semantic information. We build on this explanation to identify two joint conditions under which the inference becomes acceptable: (a) the truth of x has bearings on the relevance of asserting y; and (...) (b) the speaker can reasonably be expected not to be in a position to assume that x is false. We show that this dual pragmatic criterion makes accurate predictions, and contrast it with the criterion defined by the mental model theory of conditionals, which we show to be inadequate. (shrink)