Modification of tableau algorithm based on checking disjointness of complex concepts

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

Authors: Alexander G. Ivashko, Andrey V. Grigoryev, Mikhail V. Grigorev

About the authors:

Alexander G. Ivashko, Dr. Sci. (Tech.), Professor, 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

Full text download file

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.

Keywords:

References: