조건부 논리를 기반으로하는 프로그래밍 언어에 대한 참조

11

조건부 논리는 다른 조건 개념 (예 : 인과 조건부 해당하는 모달 연산자를 사용하여 기존의 논리적 인 의미를 보강하는 논리입니다 " 는"B "또는 확률 적 조절" "," given "). $A\; \square\!\!\!\!\to B$ $A$ $A|B$ $A$ $B$

일반적으로 이러한 논리는 이론적으로 모델 적으로 연구되지만 프로그래밍 언어 설계 (예 : 명령형 작업)에 대한 응용 프로그램에 대해 궁금했습니다.

나는 그들의 증명 이론 (즉, 연속적인 미적분학 / 자연적 추론)이나 이러한 종류의 모달 연산자를 기반으로 한 유형의 프로그래밍 언어에 대한 언급에 감사합니다.

감사!

편집 : 철학의 스탠포드 백과 사전에는 이 주제에 대한 좋은 소개가 있습니다.

— 닐 크리슈나 스와미
소스

안녕하세요 닐, 이것은 꽤 흥미로운 소리입니다. Google "조건부 논리"를 시도했지만 찾을 수 없었습니다. CL에 대해 더 알고 싶은 입문서 나 제안을 제안 해 주시겠습니까? 감사합니다

— IamMeeoh

8

다음 참조를 확인하십시오.

프로그래밍 언어 CondLP 및 CondLP + :

Gabbay, Giordano, Martelli, Olivetti, Sapino, 논리 프로그래밍의 조건 적 추론, 논리 프로그래밍 저널, 44 권, 2000 년 7 월 1 일 1 ~ 3 호, 페이지 37-74

Claudia, Oliveira, CondLP 구현, 컴퓨터 과학 강의 노트, 1996, Volume 1085/1996, 713-715

Gabbay, Giordano, Martelli, Olivetti, 조건부 논리 프로그래밍, Proc. 11 번 국제 공항 교수 논리 프로그래밍, 산타 마르게리타 리 구레 (Santa Margherita Ligure), 페이지 272–289, 1994.

증명 이론에 대한 언급 :

Olivetti, Pozzato, Schwind, 표준 조건 논리에 대한 후속 미적분학 및 정리 증명

— 모하마드 알-투르 키스 타니
소스

고마워, 이것은 매우 흥미로워 보인다! 그래도 논리 언어가 아닌 일부 기능적 또는 명령형 언어를보고 싶었습니다.

— Neel Krishnaswami

3

교회 는 당신이 찾고있는 일종의 것일 수 있습니다-그것은 기능적이지만 (체계적 파생), 확률 론적 의미론으로 설계되었으며 베이지안 추론을 수행하기 위해 "쿼리"를 사용하여 조건부 확률을 구현합니다. 교회에서의 조절에 관한 토론 . 이것은 대부분의 교회 프로그램에서 주요한 작업입니다.

Matteo Mio에게 : 다른 유형의 조건을 정의하는 데 중점을 둔 Graham Priest의 저서 "비 고전 논리에 대한 소개"에 관심이있을 수 있습니다.

— kgr
소스