The Individual and Collective Reasoning Group (ICR) is an interdisciplinary research team at the University of Luxembourg which is driven by the insight that intelligent systems (like humans) are characterized not only by their individual reasoning capacity, but also by their social interaction potential. Its overarching goal is to develop and investigate comprehensive formal models and computational realizations of individual and collective reasoning and rationality.

ICR is anchored in the Lab for Intelligent and Adaptive Systems (ILIAS) of the Department of Computer Science (DCS), and involved in the Interdisciplinary Centre for Security, Reliability and Trust (SnT). The group, which is led by Leon van der Torre, currently counts more than 15 researchers and is strongly engaged in international cooperation.

Our areas are normative multi-agent systems, autonomous cognitive agents, computational social choice, and the foundations of logic-based knowledge representation and reasoning.

ICR Events in May

  • Jamie Gabbay, Heriot-Watt University (LOAF Event)

    Title: On a proof of consistency of Quine's New Foundations

    Abstract: NF is a mathematical foundation introduced in 1937, whose consistency remains an open problem. NF comes from a set theory tradition and is usually presented as a set theory with a universal set -- but it also admits a presentation as a type theory similar to the higher-order logics in use today in many theorem-provers. Specifically, NF is closely related to the purely negative fragment of simple type theory (meaning: having types of the form t ::= o | t -> o), and this is how I like to think about it and work with it. In my talk, I will describe the mathematical and philosophical significance of NF, and give an accessible account of my claimed proof of its consistency here.

  • Guillaume Aucher (ICR Seminar)
    16.05.2022 - 4 p.m.

    Title: Atomic and Molecular Logics: some Model and Proof Theoretic Aspects

    You can join in person or remotely via WebEx.

  • Ali Farjami (ICR Seminar)
    23.05.2022 - 4 p.m.

    Title: Subordination Algebras as Semantic Environment of Input/Output Logic

    You can join in person or remotely via WebEx.