| Шиян Т.А. Моделирование логических знаний и знаниевого вывода средствами СУБД // Логические исследования. Вып. 14. М., 2007. |
Аннотация. В статье рассматриваются возможности автоматического вывода знаний о формальных теориях, основанные на реляционной СУБД и предлагаемой автором теоретической модели представления знаний о формальных теориях. Рассматриваются некоторые возможности псевдо-дедукции, предоставляемые рассматриваемой структурой представления данных. Приводятся некоторые способы порождения новых теорий и знаний о них.
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.
Статья / paper in Rus. PDF, 232 kb.