Radiotekhnika
Publishing house Radiotekhnika

"Publishing house Radiotekhnika":
scientific and technical literature.
Books and journals of publishing houses: IPRZHR, RS-PRESS, SCIENCE-PRESS


Тел.: +7 (495) 625-9241

 

Multi-threaded relevant LP-inference

Keywords:

S.Yu. Bolotova – Post-graduate Student, Voronezh State University (VSU). E-mail: bolotova.svetlana@gmail.com


The relevant backward inference, based on the solution of logical equations, is an effective tool for research and optimization of production-logical systems. It can significantly reduce the number of slow-running queries to an external source of information. This paper describes the implementation of a multi-threaded algorithm for relevant backward inference. It is based on parallelizing steps in constructing a set of facts that are required in the inference. It presents pseudo-code based on the proposed algorithm, as well as a model of computation in the form of a graph.
References:

  1. Gupta A. Parallelism in production systems. Pitman. 1987. 224 p.
  2. Maxortov S.D. Matematicheskie osnovy' iskusstvennogo intellekta: teoriya LP-struktur dlya postroeniya i issledovaniya modelej znanij produkczionnogo tipa / pod red. V.A. Vasenina. M.: Izd-vo MCNMO. 2009. 299 s.
  3. Rixter D. Windows dlya professionalov: Programmirovanie dlya Windows 95 i Windows NT 4 na baze Win32 API / per. Ju.E. Kupczevich i dr. pod obshh. red. Ju.E. Kupczevicha. Izd-e 3-e. M.: Izd. otd. «Rus. Redakcziya» TOO «Channel Trading Ltd». 1997. 679 s.
  4. Voevodin V.V., Voevodin Vl.V. Parallel'ny'e vy'chisleniya: Ucheb. posobie dlya stud. vuzov, obuch. po napravleniyu 510200 «Prikladnaya matematika i informatika». SPb.: BXV-Peterburg. 2002. 599 s.
  5. Chechkin A.V. Nejrokomp'yuternaya paradigma informatiki // Nejrokomp'yutery': razrabotka, primenenie. 2011. № 7. S. 3-9.

© Издательство «РАДИОТЕХНИКА», 2004-2017            Тел.: (495) 625-9241                   Designed by [SWAP]Studio