Multi-threaded relevant LP-inference
- 1 аспирант, Воронежский госуниверситет (ВГУ)
Abstract
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.
How to cite
Болотова С.Ю. Применение многопоточности в релевантном LP-выводе // Нейрокомпьютеры: разработка, применение. 2013. № 9. С. 53–58.
References
- Gupta A. Parallelism in production systems. Pitman. 1987. 224 p.
- 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.
- 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.
- 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.
- Chechkin A.V. Nejrokomp'yuternaya paradigma informatiki // Nejrokomp'yutery': razrabotka, primenenie. 2011. № 7. S. 3-9.