Octobre 2023


Retour à la vue des calendrier
Jeudi 12 Octobre
Heure: 10:30 - 11:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Identification des préférences structurées en choix social : quelques résultats algorithmiques et expérimentaux
Description: Olivier Spanjaard Dans cet exposé, nous présenterons quelques résultats sur la reconnaissance de structures dans les préférences en décision collective. Plus précisément, étant donnée une collection de préférences de votants exprimées sous la forme de relations d'ordre complètes sur un même ensemble de candidats, on cherchera à déterminer si ses préférences respectent une structure commune sur les candidats, et si oui à identifier cette structure. Nous nous intéresserons au cas des préférences unimodales (single-peaked) sur un axe ou sur un graphe quelconque. Nous aborderons à la fois des aspects portant sur la justification de la pertinence des structures identifiées, des aspects algorithmiques et des aspects plus expérimentaux.
Lundi 23 Octobre
Heure: 12:30 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: L’ontologie pour la représentation des connaissances et la prise de décision pour les systèmes multi-capteurs de plateformes aéroportées
Description: Vincent Beugnet L’identification d’objets est un enjeu critique pour les plateformes aéroportées dans un contexte militaire. Les systèmes actuellement existants et utilisés ne permettent pas une identification automatique des objets rencontrés malgré l’augmentation des capacités des capteurs. Nous proposons un système basé sur des ontologies pour optimiser l’acquisition d’informations sur les objets rencontrés en prenant la main sur la suite de capteurs à disposition.
Heure: 13:00 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Towards a Formalisation of Value-based Actions and Consequentialist Ethics
Description: Adam Wyner Agents act in ways that relate to their personal or institutional values, amongst other reasons to act; that is, Agents aim to bring about a state of the world that is more compatible with their values. To formalise and ground this intuition, the paper proposes an action framework based on the familiar STRIPS formalisation. The technical contribution is to express actions in terms of Value-based Formal Reasoning (VFR), which provides a set of propositions derived from an Agent’s value profile and the Agent’s assessment of propositions in light of the profile. The conceptual contribution is to provide a computational framework for a form of consequentialist ethics which is satisficing, pluralistic, act-based, and preferential.
Jeudi 26 Octobre
Heure: 10:30 - 11:30
Lieu: Salle A303, bâtiment A, Université de Villetaneuse
Résumé: Binary non-negative polynomials and convex certificates
Description: Liding Xu We consider the problem of certifying the non-negativity of polynomials over the Boolean hypercube.
We propose a new type of binary non-negativity certificate, which involves the signed support vector of the monomials occurring in the given polynomial. We employ known tools such as max flow and extensions of supermodular functions in order to construct our certificates. Especially, we examine the projected and extended LP formulations for the cone of our binary non-negativity certificates.
Based on these tools, we show that a certain family of binary polynomials can be optimized in a fixed-parameter tractable way.
Lundi 30 Octobre
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: On Semantic Annotation of Legislation
Description: Adam Wyner The talk presents an overview of recent work on semantic annotation of legislation. The law is presented in a range of complex, dense texts. Querying and correlating laws would help individuals and organisations access, understand, and comply with their legal obligations. We first present the Core Legal Annotation Language (CLAL), a machine readable XML for key semantic elements such as obligations, prohibitions, exceptions, and others. CLAL is applied to the GDPR; we show some examples. We then turn to issues related to information retrieval from the annotated GDPR, particularly where implicitly related information is needed, e.g., obligations and rights. Finally, we step back and discuss general methodological issues. Currently, there is diversity amongst the metadata of legal texts. This is particularly problematic for the law, as it is desirable to have common resources in order to extract information or support inferences. To achieve this, we propose a methodology based on the notions of formalisation continuum, modularisation, and stepwise refinement.