?

Log in

No account? Create an account
Не подскажете какие-нибудь статьи на тему сочетания логического… - ru_declarative [entries|archive|friends|userinfo]
ru_declarative

[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Feb. 20th, 2008|11:40 am]
ru_declarative

ru_declarative

[antilamer]
Не подскажете какие-нибудь статьи на тему сочетания логического программирования и понятия времени?

Я имею в виду какую-то теоретическую базу, в терминах которой можно формулировать и доказывать утверждения типа "Если А произошло после В и было верно P(X,Y) и R(Z), то после А будет верно Q(X,Z)".
Было бы совсем здорово, если бы в этой базе не были забыты и понятия identity и aliasing.

UPD: всем спасибо, похоже LTL это отчасти то, что надо! Буду курить дальше.
linkReply

Comments:
[User Picture]From: lionet
2008-02-20 08:49 am (UTC)
(Reply) (Thread)
[User Picture]From: krlz
2008-02-20 09:43 am (UTC)
Поищите в гугле по теме event calculus и commonsense reasoning.
(Reply) (Thread)
[User Picture]From: krlz
2008-02-20 09:56 am (UTC)
Еще frame problem тудаже.
(Reply) (Thread)
[User Picture]From: thesz
2008-02-20 09:59 am (UTC)
CTL, LTL - Computation Tree Logic и Linear Time Logic.

Используются при формальной проверке всякого рода небольших машин с состояними при разработке чипов.
(Reply) (Thread)
[User Picture]From: dtim
2008-02-20 10:39 am (UTC)
Темпоральные логики. Могу тебе дать книжку Кларка "Верификация моделей программ", там про это есть.
(Reply) (Thread)
[User Picture]From: zam0th
2008-02-20 10:17 pm (UTC)
можно попробовать пи-исчисление :)
(Reply) (Thread)
[User Picture]From: antilamer
2008-02-21 06:15 am (UTC)
Оно по-моему уж больно далеко от реляционной алгебры.. Про процессы в его терминах хорошо говорить, а про отношения не очень.
(Reply) (Parent) (Thread)
[User Picture]From: zam0th
2008-02-21 07:24 am (UTC)
туплю :). тогда да темпоральные логикив сякие
(Reply) (Parent) (Thread)