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


Release:

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

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

Abstract:

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.

References: