Timing Logic
News of the Kabardin-Balkar scientific center of RAS, no. 1 (1998), pp. 28-31.

Voir la notice de l'article provenant de la source Math-Net.Ru

This article is a presentation of work carried out at the IPRU Institute on the topic of artificial intelligence. The article is devoted to the conceptual and theoretical foundations of the logic of time (temporal) intervals. Using combinatorial methods, all possible relations of intervals and their transitive closure are obtained, which are interpreted as rules for the derivation of pseudophysical logic of time intervals.
Keywords: artificial intelligence, pseudophysical logic
@article{IZKAB_1998_1_a4,
     author = {U. M. Bishenov and T. Kh. Ivanov},
     title = {Timing {Logic}},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {28--31},
     publisher = {mathdoc},
     number = {1},
     year = {1998},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a4/}
}
TY  - JOUR
AU  - U. M. Bishenov
AU  - T. Kh. Ivanov
TI  - Timing Logic
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 1998
SP  - 28
EP  - 31
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a4/
LA  - ru
ID  - IZKAB_1998_1_a4
ER  - 
%0 Journal Article
%A U. M. Bishenov
%A T. Kh. Ivanov
%T Timing Logic
%J News of the Kabardin-Balkar scientific center of RAS
%D 1998
%P 28-31
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a4/
%G ru
%F IZKAB_1998_1_a4
U. M. Bishenov; T. Kh. Ivanov. Timing Logic. News of the Kabardin-Balkar scientific center of RAS, no. 1 (1998), pp. 28-31. http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a4/