Язык описания логических систем.
##plugins.themes.bootstrap3.article.main##
Abstract
Настоящая статья содержит описание базовых понятий, лежащих в основе программной системы поддержки иптерактивнго поиска доказательства "Дедукция". Мы стремились излагать понятия в том виде , в котором они фактически используются в программе , а не в соответствии с представлениями авт орову сложившимися к настоящему моменту. Целью статьи является формальное определение логической базы и возможностей программы . Это позволяет увидеть недостатки и определить направления ее дальнейшего развития. Вместе с тем мы рассчитываем , что статья окажется полезной для тех пользователей программы , которые сами формулируют логические системы в терминах программы " Дедукция"
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Smirnov A. .V ., Novodvorsky A. . Язык описания логических систем. // Logicheskie Issledovaniya / Logical Investigations. 1995. VOL. 3. C. 139-162.
Issue
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.
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.