Riferimenti a linguaggi di programmazione basati su logiche condizionali

11

Le logiche condizionali sono logiche che aumentano la tradizionale implicazione logica con operatori modali corrispondenti ad altre nozioni di condizione (ad esempio, la condizionale causale To recita " cause" B ", oppure condizionamento probabilistico " ", che recita " dato "). $A\; \square\!\!\!\!\to B$ $A$ $A|B$ $A$ $B$

Tipicamente queste logiche sono studiate teoricamente come modello, ma mi sono chiesto quali fossero le loro applicazioni alla programmazione del linguaggio di programmazione (ad esempio, per digitare azioni imperative).

Apprezzerei i riferimenti alla loro teoria delle prove (ad es. Calcolo sequenziale / deduzione naturale) o ai linguaggi di programmazione con tipi basati su questo tipo di operatori modali.

Grazie!

EDIT: La Stanford Encyclopedia of Philosophy ha una bella introduzione all'argomento .

— Neel Krishnaswami
fonte

Ciao Neel, sembra abbastanza interessante. Ho provato a Google "logiche condizionali" ma non sono riuscito a trovare molto. Potresti suggerire un documento introduttivo o qualcosa per sapere di più su CL? grazie

— IamMeeoh,

8

Controlla questi riferimenti:

Linguaggi di programmazione CondLP e CondLP +:

Gabbay, Giordano, Martelli, Olivetti, Sapino, Ragionamento condizionale nella programmazione logica, Journal of Logic Programming, Volume 44, Numeri 1-3, 1 luglio 2000, Pagine 37-74

Claudia, Oliveira, L'implementazione di CondLP, Appunti di lezione in Informatica, 1996, Volume 1085/1996, 713-715

Gabbay, Giordano, Martelli, Olivetti, Programmazione logica condizionale, Proc. 11th Int. Conf. sulla programmazione logica, Santa Margherita Ligure, pagine 272–289, 1994.

Riferimenti alla teoria delle prove:

Olivetti, Pozzato, Schwind, Un calcolo sequenziale e un proore del teorema per logiche condizionali standard, Journal ACM Transactions on Computational Logic (TOCL), Volume 8 Numero 4, Agosto 2007

— Mohammad Al-Turkistany
fonte

Grazie, sembra molto interessante! Speravo di vedere alcuni linguaggi funzionali o imperativi piuttosto che linguaggi logici.

— Neel Krishnaswami,

3

La chiesa potrebbe essere il tipo di cosa che stai cercando: è funzionale (derivato dallo schema), ma è progettata con una semantica probabilistica e implementa le probabilità condizionali usando "query" per fare l'inferenza bayesiana. Discussione sul condizionamento in chiesa . Questa (a quanto ho capito) è più o meno l'operazione principale nella maggior parte dei programmi della Chiesa.

A Matteo Mio: potresti anche essere interessato al libro di Graham Priest, "Un'introduzione alla logica non classica", incentrato sulla definizione di diversi tipi di condizionali.

— KGR
fonte