Tyumen State University Herald. Physical and Mathematical Modeling. Oil, Gas, Energy


Releases Archive. Вестник ТюмГУ. Физико-математические науки. Информатика (№4, 2012)

Modification of tableau algorithm based on checking disjointness of complex concepts

About the authors:

Alexander G. Ivashko, Dr. Sci. (Tech.), Director of the Institute of Mathematics and Computer Science, Head of the Department of Program and System Engineering, University of Tyumen; a.g.ivashko@utmn.ru

Andrey V. Grigoryev, postgraduate student, Institute of Mathematics, Humanities and Information Technologies, Tyumen State University
Mikhail V. Grigorev, Cand. Sci. (Tech.), Associate Professor, Department of Program and System Engineering, Tyumen State University; m.v.grigorev@utmn.ru


The article considers researching the necessity of tableau algorithm changing with aim to reduce algorithm work time, for providing an opportunity of its using for checking large knowledge bases.