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

Article Sidebar

PDF
Опубликован: 04.12.2007
DOI: https://doi.org/10.21146/2074-1472-2007-14-0-306-319

Main Article Content

Т.А. Шиян

Аннотация

В статье рассматриваются возможности автоматического вывода знаний о формальных теориях, основанные на системе управления реляционными базами данных и предлагаемые автором теоретические модели представления знаний о формальных теориях. Рассмотрены некоторые возможности псевдодедукции на основе модели и структуры представления знаний. Описаны некоторые способы производства новых теорий и знаний о них.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Шиян Т. Моделирование логических знаний и знаниевого вывода средствами СУБД // Логические исследования / Logical Investigations. 2007. Т. 14. C. 306-319.
Выпуск
Том 14 (2007)
Раздел
Статьи

Литература

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