条件付きロジックに基づくプログラミング言語への参照

11

条件付きロジックは、他の条件の概念に対応するモーダル演算子で従来の論理的含意を強化するロジックです（たとえば、因果条件付き「 cause "B」を読み取ります。または確率的条件付け「」、「 given」を読み取ります）。 $A\; \square\!\!\!\!\to B$ $A$ $A|B$ $A$ $B$

通常、これらのロジックはモデル理論的に研究されますが、プログラミング言語の設計（命令型アクションの入力など）への応用について疑問に思いました。

証明理論（シーケント計算/自然演de）、またはこれらの種類のモーダル演算子に基づいた型を持つプログラミング言語への参照に感謝します。

ありがとう！

編集：スタンフォード哲学百科事典には、このテーマに関する素晴らしい紹介があります。

— ニール・クリシュナスワミ
ソース

こんにちはニール、これは非常に興味深いですね。Googleで「条件付きロジック」を試してみましたが、あまり見つけることができませんでした。CLについて詳しく知るための紹介論文や何かを提案してください。ありがとう

— IamMeeoh

8

これらの参照を確認してください。

プログラミング言語CondLPおよびCondLP +：

Gabbay、Giordano、Martelli、Olivetti、Sapino、論理プログラミングの条件付き推論、Journal of Logic Programming、Volume 44、Issue 1-3、1 July 2000、Pages 37-74

クラウディア、オリベイラ、CondLPの実装、コンピューターサイエンスの講義ノート、1996年、ボリューム1085 / 1996、713-715

Gabbay、Giordano、Martelli、Olivetti、条件付き論理プログラミング、Proc。第11国際空港確認ロジックプログラミング、サンタマルゲリータリグレ、272〜289、1994年。

証明理論への参照：

Olivetti、Pozzato、Schwind、標準の条件付きロジックのシーケント計算と定理証明、Journal ACM Transactions on Computational Logic（TOCL）、Volume 8 Issue 4、2007年8月

— モハマドアルトルコキスタニー
ソース

おかげで、これは非常に興味深いですね！ただし、論理言語ではなく、機能言語または命令型言語をいくつか見たいと思っていました。

— ニールクリシュナスワミ

3

教会はあなたが探している種類のものかもしれません-それは機能的（スキーム派生）ですが、確率論的なセマンティクスで設計され、ベイジアン推論を行うために「クエリ」を使用して条件付き確率を実装します。教会でのコンディショニングの議論。これは（私が理解しているように）大部分の教会プログラムの主な活動です。

Matteo Mio氏：Graham Priestの著書「非古典的ロジックの紹介」にも興味があるかもしれません。これは、さまざまなタイプの条件の定義を中心としています。

— kgr
ソース