Среда, 13.12.2017, 11:58
_____Иcкусственный Интеллект в Веданской теории
Приветствую Вас Гость | RSS
Меню сайта
Категории раздела
Веданопедия [23]
Описание Веданской теории в форме энциклопедических статей
Творческий цех [12]
Статьи Веданопедии, находящиеся в стадии разработки.
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Форма входа
Главная » Статьи » Веданопедия

Компьютерная канонизация.
Компьютерная канонизация – способ более точного определения понятий, которые традиционно считаются «интуитивно ясными» и неопределяемыми.

Согласно Веданской теории (ВТ), интеллектуальная деятельность человека представляет собой работу различных мозговых программ. Однако эти программы недоступны нам для непосредственного наблюдения и изучения так, как нам доступны компьютерные программы, имеющие исходные тексты на каком-нибудь языке программирования и потом листинги трансляции. Идея компьютерной канонизации заключается в том, чтобы при анализе какой-нибудь мозговой программы заменить ее программой, в компьютере проделывающей ту же или аналогичную работу и, в отличие от настоящей мозговой программы, имеющей исходный текст на определенном алгоритмическом языке и листинг трансляции. Тем самым данная (мозговая) программа приобретет другую степень определенности.

Чтобы такая вещь была возможна, необходимо разработать алгоритмический язык для описания (мозговых) алгоритмов и программ, компьютерный транслятор с такого языка и компьютерный интерпретатор, выполняющий эти программы.

На начальной стадии разработки ВТ представлялось нереальным пытаться компьютерно канонизировать всё человеческое мышление. Но представлялось реальным таким способом канонизировать ряд основных понятий математики, такие как числа, арифметические и логические операции.

Компьютерная канонизация тем и отличается от математической формализации, что она канонизирует (т.е. более строго определяет) именно содержательное мышление (в математике), а не пытается «изгнать смысл» и «перейти к игре значками», что составляет сущность математической формализации... Более подробно.

Компьютерной канонизации могут быть подвергнуты также понятия, используемые при доказательствах (включая сам ход доказательства). Тогда машинные программы воспроизводят работу мозговых программ, как те работают во время доказательства...  ...

В мае 1980 года Валдис Эгле предложил компьютерную канонизацию системы метрических чисел. Подготовленные В. Эгле программы выполняют ту же работу (или почти ту же работу), которую выполняют мозговые программы человека, когда они порождают числа и (первичные) операции над ними. Исходные тексты программ для транслятора-интерпретатора Эуклидос можно посмотреть здесь.
Категория: Веданопедия | Добавил: sevm (15.02.2012)
Просмотров: 365
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Поиск
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Copyright MyCorp © 2017Конструктор сайтов - uCoz