Koşullu mantık temelli programlama dillerine referanslar

11

Koşullu mantık, diğer koşul kavramlarına karşılık gelen modal operatörlerle geleneksel mantıksal imaları arttıran mantıklardır (örneğin, nedensel koşullu " " B "ye veya olasılık koşullandırmasına neden olur" "," verilen "yiokur). $A\; \square\!\!\!\!\to B$ $A$ $A|B$ $A$ $B$

Tipik olarak bu mantıklar model teorik olarak incelenir, ancak bunların programlama dili tasarımına (örneğin, zorunlu eylemleri yazmak) uygulamalarını merak ettim.

Onların kanıt teorisine (yani sıralı hesap / doğal kesinti) ya da bu tür mod operatörlerine dayanan türlere sahip programlama dillerine yapılan göndermeleri takdir ediyorum.

Teşekkürler!

DÜZENLEME: Stanford Felsefe Ansiklopedisi'nin konuyla ilgili güzel bir tanıtımı vardır .

— Neel Krishnaswami
kaynak

Merhaba Neel, bu oldukça ilginç geliyor. Google'a "koşullu mantık" kelimesini denedim ancak fazla bir şey bulamadım. CL hakkında daha fazla bilgi edinmek için bir tanıtım belgesi veya bir şey önerebilir misiniz? teşekkür ederim

— IamMeeoh

8

Bu referansları kontrol edin:

CondLP ve CondLP + programlama dilleri:

Gabbay, Giordano, Martelli, Olivetti, Sapino, Mantık programlamada koşullu akıl yürütme, Mantık Programlama Dergisi, Cilt 44, Sayılar 1-3, 1 Temmuz 2000, Sayfa 37-74

Claudia, Oliveira, CondLP uygulaması, Bilgisayar Biliminde Ders Notları, 1996, Cilt 1085/1996, 713-715

Gabbay, Giordano, Martelli, Olivetti, Koşullu mantık programlama, Proc. 11. Uluslararası Konf. Mantık Programlama hakkında, Santa Margherita Ligure, sayfa 272-289, 1994.

İspat teorisine referanslar:

Olivetti, Pozzato, Schwind, Standart koşullu mantık için ardışık bir hesaplama ve bir teorem kanıtlayıcı, Hesaplamalı Mantık Üzerine Dergi ACM İşlemleri (TOCL), Cilt 8 Sayı 4, Ağustos 2007

— Muhammed El-Türkistan
kaynak

Teşekkürler, bu çok ilginç görünüyor! Yine de mantık dilleri yerine bazı işlevsel veya zorunlu dilleri görmeyi umuyordum.

— Neel Krishnaswami

3

Kilise aradığınız bir şey olabilir - işlevseldir (şema türevi), ancak olasılıksal bir anlambilim ile tasarlanmıştır ve Bayesian çıkarsama yapmak için "sorgu" kullanarak koşullu olasılıklar uygular. Kilisede klimanın tartışılması . Bu (anladığım kadarıyla) aşağı yukarı çoğu Kilise programındaki ana işlemdir.

Matteo Mio'ya: Graham Priest'in "Klasik olmayan mantığa bir giriş" adlı kitabı, ilginizi çeken farklı koşul koşullarını tanımlamakla da ilgilenebilirsiniz.

— kgr
kaynak