Первые шаги к теории неформализуемых понятий.
Article Sidebar
Опубликован:
22.04.1993
Main Article Content
Аннотация
На первый взгляд, сама постановка вопроса о формализации неформализуемых понятий кажется парадоксом. Она немедленно вызывает два рода возражений: "физики" говорят, что неформализуемое понятие не является понятием, "лирики" недоумевают, "зачем формализовать то, что явно неформализуемо?" На первое возражение легко ответить хотя бы ссылкой на экспертные системы и на выявившуюся в последнее время в "искусственном интеллекте" необходимость учитывать "нечетко сформулированные" понятия. В ответ на второе возражение перечислим девять задач, вынуждающих нас рассматривать формализации неформализуемых понятий и строить их теорию.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Непейвода Н. Первые шаги к теории неформализуемых понятий. // Логические исследования / Logical Investigations. 1993. Т. 1. C. 34-45.
Выпуск
Раздел
Статьи
Литература
Белянин Н.В., Жебланоба Е.А. Операция диаголизации и вопросно-ответные системы // Вычислительные системы. 1976. ВЫП. 67. С.113-126.
Белянин Н.В. Как формализовать "неформализуемое"? // Семиотические модели в управлении: Тез. докл. и сообщ. к 5 научно-метод. конф. 1-3 окт. 1984 г. Новосибирск, 1984. С. ills.
Белянин Н.В. О логическом статусе норм // Интеллектуальные системы и имитация: Тез. докл. и сообщ. к 6 научно-метод. конф. 28-30 окт. 1985 г. Новосибирск, 1985. С.66-67. А.Гильберт Я., Бернайс П. Основания математики: Теория доказательств. М., 1982.
Клини С.К. Введение в математику. М., 1957.
Непейбода Н.Н. О формализации неформализуемых понятий: автопродуктивные системы теорий // Семиотика и информатика. 1985. ВЫП.25. С.46-93.
Непейбода Н.Н. Автопродуктивные системы теорий как средство описания систем неформализуемых понятий // Неклассические логики. М., 1985. С.96-108.
Непейбода Н.Н. Автопродуктивные системы теорий и системы неформализуемых понятий // Интенсиональные логики и логическая структура теорий. Тбилиси, 1985. С.100-101.
Непейбода Н.Н. Правило неожиданности и структурные goto // Семиотика и информатика. 1984. Вып.23. С.18-46.
Феферлан С. Трансфинитные рекурсивные последовательности математических теорий. 1971. Т.15, Je 5. С. 84-139.
Gannon J.D. Characteristic error in programming languages //ACM, 1978. N.Y., 1978. Vol.2. P.570-577.
Белянин Н.В. Как формализовать "неформализуемое"? // Семиотические модели в управлении: Тез. докл. и сообщ. к 5 научно-метод. конф. 1-3 окт. 1984 г. Новосибирск, 1984. С. ills.
Белянин Н.В. О логическом статусе норм // Интеллектуальные системы и имитация: Тез. докл. и сообщ. к 6 научно-метод. конф. 28-30 окт. 1985 г. Новосибирск, 1985. С.66-67. А.Гильберт Я., Бернайс П. Основания математики: Теория доказательств. М., 1982.
Клини С.К. Введение в математику. М., 1957.
Непейбода Н.Н. О формализации неформализуемых понятий: автопродуктивные системы теорий // Семиотика и информатика. 1985. ВЫП.25. С.46-93.
Непейбода Н.Н. Автопродуктивные системы теорий как средство описания систем неформализуемых понятий // Неклассические логики. М., 1985. С.96-108.
Непейбода Н.Н. Автопродуктивные системы теорий и системы неформализуемых понятий // Интенсиональные логики и логическая структура теорий. Тбилиси, 1985. С.100-101.
Непейбода Н.Н. Правило неожиданности и структурные goto // Семиотика и информатика. 1984. Вып.23. С.18-46.
Феферлан С. Трансфинитные рекурсивные последовательности математических теорий. 1971. Т.15, Je 5. С. 84-139.
Gannon J.D. Characteristic error in programming languages //ACM, 1978. N.Y., 1978. Vol.2. P.570-577.