COMPUTER SCIENCE. CALCULATION EQUIPMENT. MANAGEMENT

Timing Logic

U. M. Bishenov, T. Kh. Ivanov

Institute of Computer Science and Problems of Regional Management of KBSC of RAS, Nal'chik

Abstract: 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

UDC: 519.717