การอ้างอิงถึงภาษาการเขียนโปรแกรมโดยยึดตามตรรกะแบบมีเงื่อนไข


11

logics มีเงื่อนไขนี้ logics ซึ่งขยายความหมายตรรกะแบบดั้งเดิมกับผู้ประกอบกิริยาที่สอดคล้องกับความคิดอื่น ๆ ของสภาพ (เช่นสาเหตุเงื่อนไขอ่าน " ทำให้เกิด 'B' หรือ probabilistic ปรับอากาศ " " ซึ่งอ่าน "กำหนด")ABAA|BAB

โดยทั่วไปแล้ว logics เหล่านี้จะได้รับการศึกษาในรูปแบบตามหลักทฤษฏี แต่ฉันสงสัยเกี่ยวกับแอพพลิเคชั่นของพวกเขาในการออกแบบภาษาการเขียนโปรแกรม (ตัวอย่างเช่น

ฉันขอขอบคุณที่อ้างอิงถึงทฤษฎีการพิสูจน์ของพวกเขา (เช่นแคลคูลัสตามลำดับ / การหักตามธรรมชาติ) หรือภาษาโปรแกรมที่มีประเภทตามตัวดำเนินการประเภทนี้

ขอบคุณ!

แก้ไข: สารานุกรมปรัชญาสแตนฟอร์ดมีการแนะนำที่ดีเกี่ยวกับเรื่องนี้


สวัสดีนีลเสียงนี้น่าสนใจทีเดียว ฉันลองใช้ Google "logics แบบมีเงื่อนไข" แต่หาไม่มาก คุณช่วยแนะนำกระดาษเกริ่นนำหรืออะไรที่ต้องรู้เพิ่มเติมเกี่ยวกับ CL? ขอบคุณ
IamMeeoh

คำตอบ:


8

ตรวจสอบข้อมูลอ้างอิงเหล่านี้:

ภาษาการเขียนโปรแกรม CondLP และ CondLP +:

Gabbay, Giordano, Martelli, Olivetti, Sapino, การให้เหตุผลเชิงเงื่อนไขในการเขียนโปรแกรมเชิงตรรกะ, วารสารการเขียนโปรแกรมลอจิก, เล่มที่ 44, ปัญหา 1-3, 1 กรกฎาคม 2000, หน้า 37-74

Claudia, Oliveira, การใช้งาน CondLP, เอกสารประกอบการบรรยายในวิทยาการคอมพิวเตอร์, 1996, เล่มที่ 1085/1996, 713-715

Gabbay, Giordano, Martelli, Olivetti, การเขียนโปรแกรมเชิงตรรกะแบบมีเงื่อนไข, Proc ภายในวันที่ 11 conf ในการเขียนโปรแกรมลอจิก, Santa Margherita Ligure, หน้า 272–289, 1994

อ้างอิงถึงทฤษฎีพิสูจน์:

Olivetti, Pozzato, Schwind, แคลคูลัสตามลำดับและผู้พิสูจน์ทฤษฎีบทสำหรับ logics แบบมีเงื่อนไขมาตรฐาน, วารสาร ACM ธุรกรรมในการคำนวณเชิงตรรกะ (TOCL), เล่มที่ 8 ฉบับที่ 4, สิงหาคม 2550


ขอบคุณนี่ดูน่าสนใจมาก! ฉันหวังว่าจะเห็นภาษาที่ใช้งานได้หรือมีความจำเป็นมากกว่าภาษาตรรกะ
Neel Krishnaswami

3

คริสตจักรอาจเป็นประเภทของสิ่งที่คุณกำลังมองหา - มันเป็นฟังก์ชั่น (รูปแบบอนุพันธ์) แต่ถูกออกแบบด้วยความหมายที่น่าจะเป็นและใช้ความน่าจะเป็นแบบมีเงื่อนไขโดยใช้ การอภิปรายของเครื่องในคริสตจักร นี่คือ (ตามที่ฉันเข้าใจ) การดำเนินการหลักในโปรแกรมของศาสนจักรส่วนใหญ่ไม่มากก็น้อย

ถึง Matteo Mio: คุณอาจสนใจในหนังสือของ Graham Priest "การแนะนำให้รู้จักกับตรรกะที่ไม่คลาสสิค" ซึ่งเน้นไปที่การกำหนดเงื่อนไขประเภทต่างๆ

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.