Стандартные и нестандартные логики аргументации I

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

V.K. Finn

Abstract

The article discusses standard and non-standard logics of argumentation.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Аншаков О.М., Скворцов Д.П., Финн В.К. Логические средства экспертных систем типа ДСМ // Семиотика и информатика. 1986. Вып. 28. С. 65-101.
Аншаков О.М., Скворцов Д.П., Финн В.К. О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез // Семиотика и информатика. 1993. Вып. 33. С. 164-233.
Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов расширенного функционального исчисления // Математический сборник. 1938. Т. 4. № 2. С. 287-308.
Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах М.: Физматлит, 2004.
Поппер К.Р. Объективное знание. М.: УРСС, 2002.
Финн В. К. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия и логика. М.: Наука, 1974. С. 398-438.
Финн В.К. Об одном варианте логики аргументации // НТИ. Сер. 2. 1996. № 5-6. С. 3-19.
Финн В. К. Синтез познавательных процедур и проблема индукции // НТИ. Сер. 2. 1999. № 1-2. С. 8-45.
Финн В.К., Михеенкова М.А. О логических средствах концептуализации мнений // НТИ. Сер. 2. 2002. № 6. С. 4-22.
Финн В.К. Об интеллектуальном анализе данных // Новости искусственного интеллекта. 2004. № 3. С. 3-18.
Anshakov О.М., Finn V.K., Skvortsov D.P. On axiomatization of manyvalued logics associated with formalization of plausible reasoning // Studia Logica. 1989. XLVIII. № 4. P. 423-447. Имеется русская версия: Аншаков О._., Скворцов Д.П., Финн В.К. Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений // Логические исследования. М.: Наука, 1993. С. 222-247.
Arruda A. A survey of paraconsistent logic // Mathematical Logic in Latin America. 1980. North-Holland Publ. Co. P. 1-40.
van Benthem O.F, van Elmeren F.H., Grootendrost R. and Veltman F. (Eds.) // Logic and Argumentation. Amsterdam. North-Holland, 1996.
Prakken H., Vreeswijk G. Logic for defeasible argumentation // Handbook of philosophical Logic. Vol. 4. Kluwer Academic Publishers. Dordrecht, 2001.
Smullyan R.M. First-Order Logic. Springer-Verlag. New York Inc., 1968.
Willard C.A. Theory of Argumentation. Tuscaloosa and London: The University of Alabama Press, 1989.