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

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.