Timing Logic
News of the Kabardin-Balkar scientific center of RAS, no. 1 (1998), pp. 28-31
Cet article a éte moissonné depuis 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},
year = {1998},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/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/