Язык описания логических систем.

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

A .V . Smirnov
A . Novodvorsky

Abstract

Настоящая статья содержит описание базовых понятий, лежащих в основе программной системы поддержки иптерактивнго поиска доказательства "Дедукция". Мы стремились излагать понятия в том виде , в котором они фактически используются в программе , а не в соответствии с представлениями авт орову сложившимися к настоящему моменту. Целью статьи является формальное определение логической базы и возможностей программы . Это позволяет увидеть недостатки и определить направления ее дальнейшего развития. Вместе с тем мы рассчитываем , что статья окажется полезной для тех пользователей программы , которые сами формулируют логические системы в терминах программы " Дедукция"

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

R. Harper, F. Honsell, G. Plotkin. A framework on defining logics//Proc. of the 2nd Annual Logic in Computer Sc. Conf. Ithaca, NY. June 1987.
P. Suppes. Uses of Artificial Intelligence in computer-based instruction. / / Artificial Intelligence in Higher Education. Springer-Verlag, 1990.
В. Смирнов. Формальный вывод и логические исчисления. М., 1972.
Смирнов А.В. Система интерактивного доказательства теорем / / Логические исследования. Выпуск 2 // М.,1993
Smirnov A.,Novodvorsky A. Logical systems description language / / ILCSDP 93-02. Moscow, 1993
С. Маслов. Теория дедуктивных систем и ее применения. М., 1986.
Логика и компьютер. М., 1990.
Sawamura, Minami,Ohashi. Proof methods based on Sheet of Thought in EUODHILOS //Fujitsu lab. Research Report. 1992.