Références aux langages de programmation basés sur des logiques conditionnelles

11

Les logiques conditionnelles sont des logiques qui augmentent l'implication logique traditionnelle avec des opérateurs modaux correspondant à d'autres notions de condition (par exemple, le conditionnel causal lit " A provoque" B ", ou conditionnement probabiliste" A | B ", qui se lit" A donné B ").UNE◻→BUNEUNE|BUNEB

Typiquement, ces logiques sont étudiées théoriquement, mais je me suis interrogé sur leurs applications à la conception de langages de programmation (par exemple, pour taper des actions impératives).

J'apprécierais les références à leur théorie de la preuve (ie, calcul séquentiel / déduction naturelle), ou aux langages de programmation avec des types basés sur ces types d'opérateurs modaux.

Merci!

EDIT: The Stanford Encyclopedia of Philosophy a une belle introduction au sujet .

reference-request lo.logic pl.programming-languages type-theory proof-theory Neel Krishnaswami
la source
Bonjour Neel, cela semble assez intéressant. J'ai essayé de Google "logiques conditionnelles", mais je n'ai pas trouvé grand-chose. Pourriez-vous s'il vous plaît suggérer un document d'introduction ou quelque chose pour en savoir plus sur CL? merci
IamMeeoh

Réponses:

8

Vérifiez ces références:

Langages de programmation CondLP et CondLP +:

Gabbay, Giordano, Martelli, Olivetti, Sapino, Raisonnement conditionnel en programmation logique, Journal of Logic Programming, Volume 44, Numéros 1-3, 1er juillet 2000, Pages 37-74

Claudia, Oliveira, The implementation of CondLP, Lecture Notes in Computer Science, 1996, Volume 1085/1996, 713-715

Gabbay, Giordano, Martelli, Olivetti, Programmation logique conditionnelle, Proc. 11th Int. Conf. on Logic Programming, Santa Margherita Ligure, pages 272-289, 1994.

Références à la théorie de la preuve:

Olivetti, Pozzato, Schwind, A sequent calculus and a théorem prover for standard conditional logics, Journal ACM Transactions on Computational Logic (TOCL), Volume 8 Issue 4, août 2007

Mohammad Al-Turkistany
la source
Merci, cela semble très intéressant! J'espérais cependant voir des langages fonctionnels ou impératifs plutôt que des langages logiques.
Neel Krishnaswami
3

L'église pourrait être le genre de chose que vous recherchez - elle est fonctionnelle (dérivée du schéma), mais est conçue avec une sémantique probabiliste, et implémente des probabilités conditionnelles en utilisant "requête" pour faire l'inférence bayésienne. Discussion sur le conditionnement à l'église . C'est (si je comprends bien) plus ou moins l'opération principale de la plupart des programmes de l'Église.

Pour Matteo Mio: vous pourriez également être intéressé par le livre de Graham Priest, "Une introduction à la logique non classique", qui est centré sur la définition de différents types de conditionnels.

kgr
la source