Boris A. Kulik

Bio

Date of birth: 9 March, 1941

Citizenship: Russian

Married: Liya Kulik

Children: son Sergei (born 1971), daughter Maria (born 1988)

ą

Education

• PhD in Computer Science (Institute of Control Problems Russian Academy of Science, Moscow, 1996). Thesis: The methods for reduction of complexity of intelligent decision problems based on tuple algebra.
• MSci in Mining Engineering (Mining Institute, Leningrad, 1963)

Employment

• 1997- present: Senior Research Fellow, Insitute for Problems of Mechanical Engineering RAS, St. Petersburg.
• 1991-1997: Senior Research Fellow, Reseach and Development Corporation "Aurora" of the Defense Ministry Industry of Russia, St. Petersburg
• 1965-1991: Partcipation in various scientific and engineering proects
• 1963-1965: Military service

• "Logical Basis of Common Sense". St.Petersburg: Polytekhnika Publishers, St-Petersburg, 1997 (in Russian).
• "Personal Computer in Your Office". Publishing House "Lenizdat", Leningrad, 1991 (in Russian); with L.P. Kraismer.

ąPapers

• 1998 "Software for Simulation and Analyses of Natural Discoursions". Computers in Education, No 2, pp. 55-63 (in Russian).
• 1997 "Representation of Logistic Systems in the Probability Space on the Basis of the Tuple Algebra. 1. Basis of Tuple Algebra". Automation and Telemechanics, No 1, pp. 126-136 (in Russian).
• 1997 "Representation of Logistic Systems in the Probability Spase on the Basis of the Tuple Algebra. 2. Measurable Logistic Systems". Automation and Telemechanics, No 2, pp. 169-179; with M.V. Naumov (in Russian).
• 1997 "Representation of Logical Systems in a Probabilistic Space in Terms of Cortege Algebra. 1. Elements of Cortege Algebra". Automation and Remote Control, Vol. 58, No 1, Pt2, pp. 102-110.
• 1997 "Representation of Logical Systems in a Probabilistic Space in Terms of Cortege Algebra. 2. Measurable Logical Systems". Automation and Remote Control, Vol. 58, No 2, Pt2, pp. 290-298; with M.V. Naumov.
• 1996 "Base Principles of Common Sence Phylosophy (cognitive aspect)" News of Artifical Intelligence, No 3, pp 7-92 (in Russian).
• 1995 "New Classes of Conjunctive Normal Forms with a Polynomially Recognizable Property of Satisfiability". Automation and Remote Control, Vol.56, No.2 Pt2, pp.245-255.
• 1995 " A Logic Programming System Based on Cortege Algebra". Journal of Computer and Systems Sciences International, Vol.33, No.2, pp.159-170.
• 1994 "Mathematical Model of Deductive Database Based on Tuple Algebra" News of Russian Academy of Science. Technical Cybernetics, No 2, pp. 161-169 (in Russian).
• 1988 "Software Based on Matrix Representation for Some Classes of Nonnumerical Applications". Programming and Computer Software, Vol.14, No.2, pp.71-75; with E.V. Rakhov.

Proceedings

• 1998 "Logical Inference on Logical Graphs." V Russian Conference on Modern Logic: Problems of Theory, History and Applications, St. Petersburg, June.
• 1997 "Development of Algorithmical Provision for the Calculation of Systems Reliability and Safety on the Basis of Tuple Algebra." International Conference on Informatics and Control, St. Petersburg, Russia, June (in English).
• 1996 "The Simulation of Reasoning Based on Set Algebra." Fifth Nattional Conference in Artificial Intelligence, Kazan, Russia, October.

Professional Organizations
Member of the Russian Association of Artificial Intelligence since 1993
Research interests
Algorithms for Artificial Intelligence, Automated Reasoning, Mathematical Logic, Meaningful Logic, Tuple Algebra, Interpretable Inference Systems, Common Sense Reasoning, Philosophy of Cognitive Sciences, ąEpistemology.