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 " provoque" B ", ou conditionnement probabiliste" ", qui se lit" donné "). $A\; \square\!\!\!\!\to B$ $A$ $A|B$ $A$ $B$

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 .

— Neel Krishnaswami
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

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
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
source