Моделирование логических знаний и знаниевого вывода средствами СУБД

##plugins.themes.bootstrap3.article.main##

T.A. Shiyan

Abstract

It is considered in the paper abilities of automatic conclusions of knowledge about formal theories, these abilities base on Relational Database Management System and offered by author theoretical model of representation of knowledge about formal theories. It is considered some abilities of pseudo-deduction based on the model and the structure of representation of knowledge. It is described some ways of production of new theories and knowledge about them.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Лисовский К.Ю., Марков А.С. Базы данных. Введение в теорию и методологию. М., 2004.
Маркин В.И. Силлогистические теории в современной логике. М., 1991.
Смирнов В. А. Логические методы анализа научного знания. М., 2002.