Скачать 164.78 Кбайт
К онтологии сознания через рефлексию
М., ИФ РАН. 1992. С.125 - 141.
4. Катречко С.Л. Введение в логику (программа курса). — М., МГУ. 1993.
5. Катречко С.Л. От логических исчислений к интеллектуальным системам: введение в теорию поиска вывода (программа курса). — М., МГУ. 1994.
6. Катречко С.Л. Исчисления поиска вывода с «условной дизъюнкцией» //Материалы XI Международной конференции "Логика, методология, философия науки, Москва - Обнинск. 1995. Т.2.
7. Катречко С.Л. Логика и теория поиска вывода //Наука и философия на рубеже тысячелетий: перспективы и горизонты (тезисы док. и выс. Всерос. научн. конф.). Курск, 1995.
8. Катречко С.Л. Обратный метод С.Ю. Маслова (обобщенная онлайновая версия в формате Word с учетом [3]) //Логика и компьютер 2: логические языки, содержательные рассуждения и методы поиска доказательства. — М., Наука. 1995.
9. Катречко С.Л. Интеллектуальный бектрекинг //Логические исследования, вып.3. — М., Наука. 1995.
10. Катречко С.Л. Искусственный интеллект versus моделирование сознания //Статья подготовлена на основании доклада 20.05.96 на семинаре "Искусственный и естественный интеллект" факультета информатики РГГУ
11. Катречко С.Л. (в соавт.) Использование интеллектуальных систем при принятии решений //Проблемы управления в контексте гуманитарной культуры. — М., «Университетский гуманитарный лицей», 1997.
12. Katretchko S. Between logic and computer heuristic //Proceedings ICI & C’ 97, June 9 - 13
13. Катречко С.Л. Бесконечность и теория поиска вывода //Бесконечность в математике: философские и исторические аспекты. — М., «Янус-К», 1997.
14. Царьков Д.В., Катречко С.Л. Об одном алгоритме приведения пропозициональных формул к д. ф. н. //Международная конференция «Смирновские чтения». — М., 1997.
15. Катречко С.Л. Обратный метод С.Ю.Маслова и моделирование сознания //Международная конференция (1-ые) «Смирновские чтения». — М., 1997.
16. Катречко С.Л. От логики к теории поиска вывода //Международная конференция «Развитие логики в России: итоги и перспективы». Тезисы докладов и сообщений. — М.: «Логос», 1997
17. Катречко С.Л. К методологии построения интеллектуальных систем //Логическое кантоведение - 4: Тезисы докладов Международного семинара. — Калининград, 1997.
18. Катречко С.Л. Интеллектуальные системы на базе обратного метода С.Ю. Маслова //Человек — Философия — Гуманизм: Тезисы докладов и выступлений 1 Российского философского конгресса (4 — 7 июня 1997); секция «логика и философская логика».
19. Katretchko S. Between Logic and Heuristic //Proceedings 20th World Congress of Philosophy August, 1998.
20. Катречко С.Л. От логических исчислений к интеллектуальным системам (на базе обратного метода С. Маслова) //Итоговый отчет по гранту РГНФ (10 декабря 1997).
21. Катречко С.Л. От логики к теории поиска вывода //2–е «Смирновские чтения», Международная конференция. — М., Изд-во ИФ РАН, 1999.
22. Katretchko S. From logic to proof-search theory //Proceedings XI LMPS’ 99. — Cracow, 1999.
ПРИМЕЧАНИЕ:
— диссертация выполнена в секторе логике Института философии РАН и защищена на заседании специализированного Ученого совета Д. 002. 29-03 Института философии РАН 12 ноября 1992. Научный руководитель — доктор философских наук, профессор Смирнов В.А., оппоненты — д. филос. н. Бочаров В.А., к. филос. н. Шалак В.И.
ЦИТИРУЕМАЯ ЛИТЕРАТУРА:
1. Воронков А.А., Дегтярев А.Н. Автоматическое доказательство теорем //Кибернетика. 1986, N 3; 1987, N 4
2. Пушкин В.Н. Эвристика — наука о творческом мышлении. — М., 1967.
3. Брюшинкин В.Н. Логика, мышление, информация. — Л. (СПб)., 1988.
4. Cook S.A., Rechow R.A. The relative efficency of propositional proof systems. //Journal of symbolic logic. 1979. Vol.44, N.1
5. Данцин Е.Я. Алгоритмика задач выполнимости //Вопросы кибернетики. 1987. Вып.131. С.7 - 30.
6. Серебрянников О.Ф. Эвристические принципы и логические исчисления. — Л СПб).,1970.
7. Смирнов В.А. Формальный вывод и логические исчисления. — М., 1972.
8. Маслов С.Ю. Теория дедуктивных систем и ее применения.— М.: Радио и связь, 1986.
9. Шанин Н.А. и др. Алгорифм машинного поиска естественного логического вывода в исчислении высказываний. М- Л., 1965.
10. Давыдов Г.В. Синтез метода резолюций и обратного метода //Записки научных семинаров ЛОМИ АН СССР. 1971.Т.20.
11.Цейтин Г.С. О сложности вывода в исчислении высказываний //Записки научных семинаров ЛОМИ АН СССР. 1968. Т.8.
12. Суворов П.Ю. О распознавании тавтологичности пропозициональных формул //Записки научных семинаров ЛОМИ АН СССР. 1976. Т.60.
13. Данцин Е.Я. Две системы тавтологичности, основанные на методе расщеплений //Записки семинаров ЛОМИ АН СССР. 1981. Т.105.
14. Маслов С.Ю. Обратный метод установления выводимости для логических исчислений //Труды математического института им.
4. Катречко С.Л. Введение в логику (программа курса). — М., МГУ. 1993.
5. Катречко С.Л. От логических исчислений к интеллектуальным системам: введение в теорию поиска вывода (программа курса). — М., МГУ. 1994.
6. Катречко С.Л. Исчисления поиска вывода с «условной дизъюнкцией» //Материалы XI Международной конференции "Логика, методология, философия науки, Москва - Обнинск. 1995. Т.2.
7. Катречко С.Л. Логика и теория поиска вывода //Наука и философия на рубеже тысячелетий: перспективы и горизонты (тезисы док. и выс. Всерос. научн. конф.). Курск, 1995.
8. Катречко С.Л. Обратный метод С.Ю. Маслова (обобщенная онлайновая версия в формате Word с учетом [3]) //Логика и компьютер 2: логические языки, содержательные рассуждения и методы поиска доказательства. — М., Наука. 1995.
9. Катречко С.Л. Интеллектуальный бектрекинг //Логические исследования, вып.3. — М., Наука. 1995.
10. Катречко С.Л. Искусственный интеллект versus моделирование сознания //Статья подготовлена на основании доклада 20.05.96 на семинаре "Искусственный и естественный интеллект" факультета информатики РГГУ
11. Катречко С.Л. (в соавт.) Использование интеллектуальных систем при принятии решений //Проблемы управления в контексте гуманитарной культуры. — М., «Университетский гуманитарный лицей», 1997.
12. Katretchko S. Between logic and computer heuristic //Proceedings ICI & C’ 97, June 9 - 13
13. Катречко С.Л. Бесконечность и теория поиска вывода //Бесконечность в математике: философские и исторические аспекты. — М., «Янус-К», 1997.
14. Царьков Д.В., Катречко С.Л. Об одном алгоритме приведения пропозициональных формул к д. ф. н. //Международная конференция «Смирновские чтения». — М., 1997.
15. Катречко С.Л. Обратный метод С.Ю.Маслова и моделирование сознания //Международная конференция (1-ые) «Смирновские чтения». — М., 1997.
16. Катречко С.Л. От логики к теории поиска вывода //Международная конференция «Развитие логики в России: итоги и перспективы». Тезисы докладов и сообщений. — М.: «Логос», 1997
17. Катречко С.Л. К методологии построения интеллектуальных систем //Логическое кантоведение - 4: Тезисы докладов Международного семинара. — Калининград, 1997.
18. Катречко С.Л. Интеллектуальные системы на базе обратного метода С.Ю. Маслова //Человек — Философия — Гуманизм: Тезисы докладов и выступлений 1 Российского философского конгресса (4 — 7 июня 1997); секция «логика и философская логика».
19. Katretchko S. Between Logic and Heuristic //Proceedings 20th World Congress of Philosophy August, 1998.
20. Катречко С.Л. От логических исчислений к интеллектуальным системам (на базе обратного метода С. Маслова) //Итоговый отчет по гранту РГНФ (10 декабря 1997).
21. Катречко С.Л. От логики к теории поиска вывода //2–е «Смирновские чтения», Международная конференция. — М., Изд-во ИФ РАН, 1999.
22. Katretchko S. From logic to proof-search theory //Proceedings XI LMPS’ 99. — Cracow, 1999.
ПРИМЕЧАНИЕ:
— диссертация выполнена в секторе логике Института философии РАН и защищена на заседании специализированного Ученого совета Д. 002. 29-03 Института философии РАН 12 ноября 1992. Научный руководитель — доктор философских наук, профессор Смирнов В.А., оппоненты — д. филос. н. Бочаров В.А., к. филос. н. Шалак В.И.
ЦИТИРУЕМАЯ ЛИТЕРАТУРА:
1. Воронков А.А., Дегтярев А.Н. Автоматическое доказательство теорем //Кибернетика. 1986, N 3; 1987, N 4
2. Пушкин В.Н. Эвристика — наука о творческом мышлении. — М., 1967.
3. Брюшинкин В.Н. Логика, мышление, информация. — Л. (СПб)., 1988.
4. Cook S.A., Rechow R.A. The relative efficency of propositional proof systems. //Journal of symbolic logic. 1979. Vol.44, N.1
5. Данцин Е.Я. Алгоритмика задач выполнимости //Вопросы кибернетики. 1987. Вып.131. С.7 - 30.
6. Серебрянников О.Ф. Эвристические принципы и логические исчисления. — Л СПб).,1970.
7. Смирнов В.А. Формальный вывод и логические исчисления. — М., 1972.
8. Маслов С.Ю. Теория дедуктивных систем и ее применения.— М.: Радио и связь, 1986.
9. Шанин Н.А. и др. Алгорифм машинного поиска естественного логического вывода в исчислении высказываний. М- Л., 1965.
10. Давыдов Г.В. Синтез метода резолюций и обратного метода //Записки научных семинаров ЛОМИ АН СССР. 1971.Т.20.
11.Цейтин Г.С. О сложности вывода в исчислении высказываний //Записки научных семинаров ЛОМИ АН СССР. 1968. Т.8.
12. Суворов П.Ю. О распознавании тавтологичности пропозициональных формул //Записки научных семинаров ЛОМИ АН СССР. 1976. Т.60.
13. Данцин Е.Я. Две системы тавтологичности, основанные на методе расщеплений //Записки семинаров ЛОМИ АН СССР. 1981. Т.105.
14. Маслов С.Ю. Обратный метод установления выводимости для логических исчислений //Труды математического института им.
Страницы:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
|