Projet joint CNRS et FACEPE (Brésil)

Reconciling Description Logic and Non-Monotonic Reasoning in the Legal Domain

Le présent projet a comme objectif intégrer les logiques de description avec les formalismes pour le raisonnement non-monotone en général et avec les approches par défaut et révisable en particulier de façon à ce que l’on puisse modéliser des situations dynamiques, des exceptions et d’autres aspects du raisonnement, comme le raisonnement légal et l’argumentation. En particulier, nous étudierons les limitations des logiques de description dans ces types de raisonnement, par exemple en présence d’exceptions non-prévues explicitement dans la littérature normative. En plus, ce projet prévois le rajout de fonctionnalités non-monotone à un prototype développé au sein de l’équipe partenaire pour raisonner sur des cas légaux et des cas de test du domaine légal pour évaluer l’intégration entre les différentes approches.

Projet de recherche en commun avec l’Université Fédérale de Pernambuco (UFPE) financé par le CNRS et la FACEPE (Brésil).