Pour une logique de l’action tragique : Hegel et la tragédie

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations

Nous nous intéressons dans ce papier aux réglementation qui peuvent exister dans des systèmes multi-agents pour réguler les comportements des agents. Plus précisément, nous travaillons sur deux propriétés des réglementations, la cohérence et la complétude. Après avoir donné une définition de ces deux notions, nous proposons un cadre permettant de compléter de façon cohérente une réglementation ...

Approche logique pour la réconciliation de références

Résumé. Le problème de réconciliation de références consiste à décider si deux descriptions provenant de sources distinctes réfèrent ou non à la même entité du monde réel. Dans cet article, nous étudions ce problème quand le schéma des données est décrit en RDFS étendu par certaines primitives de OWL-DL. Nous décrivons et montrons l’intérêt d’une approche logique basée sur des règles de réconci...

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Logique du temps arborescent pour la spécification et la preuve de programmes

Optimisation par colonies de fourmis pour la programmation logique étendue

RÉSUMÉ. La Programmation Logique Étendue (Answer Set Programming) est un formalisme particulièrement adapté pour représenter différents problèmes issus de l’Intelligence Artificielle (raisonnement non monotone, planification, diagnostic...). De plus, elle peut être utilisée pour coder de manière concise des problèmes combinatoires. Dans tous les cas, les solutions sont obtenues sous la forme d’...