Посилання на мови програмування на основі умовної логіки


11

Умовна логіка - це логіка, яка збільшує традиційний логічний вплив з модальними операторами, що відповідають іншим поняттям умови (наприклад, причинно-наслідкова читає " A викликає" B "або ймовірнісне обумовлення" A | Б "яка говорить" A дану B «).ABAA|BAB

Зазвичай ці логіки вивчаються теоретично модельно, але я замислювався над їх застосуваннями до дизайну мови програмування (наприклад, для введення імперативних дій).

Я вдячний посиланням на їх теорію доказів (тобто, послідовне обчислення / природне виведення) або на мови програмування з типами, заснованими на таких видах модальних операторів.

Дякую!

EDIT: Енциклопедія філософії Стенфорда має приємне вступ до цього питання .


Привіт Ніл, це звучить досить цікаво. Я спробував Google "умовної логіки", але не міг знайти багато. Чи можете ви запропонувати вступний документ або щось, щоб дізнатися більше про CL? дякую
IamMeeoh

Відповіді:


8

Перевірте ці посилання:

Мови програмування CondLP та CondLP +:

Габбай, Джордано, Мартеллі, Оліветті, Сапіно, Умовні міркування в логічному програмуванні, Журнал логічного програмування, Том 44, Випуски 1-3, 1 липня 2000, Сторінки 37-74

Клавдія, Олівейра, Впровадження CondLP, Конспекти лекцій з інформатики, 1996, Том 1085/1996, 713-715

Gabbay, Giordano, Martelli, Olivetti, Умовно-логічне програмування, Proc. 11-а міжнар. Конф. з логічного програмування, Санта Марґаріта Лігуре, стор. 272–289, 1994.

Посилання на теорію доказів:

Оліветті, Поззато, Швінд, послідовне обчислення і доказ теореми для стандартної умовної логіки, Журнали ACM-операцій з обчислювальної логіки (TOCL), Том 8, випуск 4, серпень 2007 р.


Дякую, це виглядає дуже цікаво! Хоча я сподівався побачити деякі функціональні або імперативні мови, а не логічні мови.
Neel Krishnaswami

3

Церква може бути саме тим, що ви шукаєте - вона функціональна (похідна схема), але розроблена з імовірнісною семантикою та реалізує умовні ймовірності, використовуючи "запит" для здійснення байєсівського висновку. Обговорення кондиціонування в Церкві . Це (наскільки я розумію) більш-менш основна операція в більшості церковних програм.

Для Маттео Міо: вас також може зацікавити книга Грема Приста «Вступ до некласичної логіки», яка зосереджена на визначенні різних типів умовних умов.

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.