Версия для печати темы Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > Флейм > Теория разума и рекурсивное мышление

Автор: unicuum 24.2.2009, 21:07

Тихо сам с собою, я веду беседу. В последнее время на форуме промелькнула статья про логические головоломки, а так же появилось обсуждение разговорного бота. Из этого, а так же многого другого возникли безумные мысли.  Дальше я буду флудить, флудить и ещё раз флудить. Для начала ознакомимся с основными понятиями пролога. Почему пролога? Да просто так, без разницы вообще с чем знакомится, суть не в этом. Существует три вида предложений: факты, правила и вопросы. Факты содержат безусловные утверждения Правила содержат условные утверждения Вопросы спрашивают об утверждениях Это значит, что мышление использует факты и правила, из них выходят новые факты. От фактов можно формировать правила. Но если путь от правил к фактам однозначен, то от фактов к правилам требует достоверности. Ещё это значит, что беседующие между собой люди или люди и боты обмениваются всего лишь тремя видами предложений, которые ещё к тому же могут быть смешаны. Более того, когда я сам решаю задачу, то формулирую её - задаю вопрос, собираю факты и вывожу правила. Что получается в конце. В конце получаются всё те же три вида предложений, возможно смешанных, это и есть решение задачи. Получается общаясь с людьми на любом, в том числе и текущем форуме, я использую программу других людей на логическом языке и сам я как логическая программа. Не столь важно на чём построена логическая система, так как на одной универсальной логической системе можно построить другую универсальную логическую систему. Мозг или процессор не играет значения, важна лишь сама программа. to be continue...

Автор: unicuum 24.2.2009, 21:35

Есть такое понятие как машина Тьюринга, это расширение конечного автомата способного имитировать всех других исполнителей. Так же и с машиной Уникуума, эта машина способная имитировать всех других логических исполнителей, где механизм логическом памяти совмещён с механизмом логического исполнения и является с ним одним целым. Таким образом машину Уникуума можно построить используя машину Тьюринга.   Машина Уникуума изначально пуста и неразумна, но по мере заполнения данными может достичь разумного и сверхразумного уровня. Под уровнем сверхразумного подразумевается уровень разума человека, так как каждый представитель этого вида является машиной Уникуума. Введения в рекурсивную логику: Предположим я хочу создать машину Уникуума и в конечном итоге сделать её разумной. Поскольку я сам машина Уникуума, значит всё что я говорю это три вида предложений. Факт: Я хочу создать машину Уникуума и в конечном итоге сделать её разумной. Вопрос: Как создать машину Уникуума? Вопрос: Как сделать машину Уникуума разумной? Ответ полученный из правил моего мозга: Нужно собрать достаточно фактов, создать из них правила, а из правил новые факты и так повторять рекурсивно, пока не будет достигнут результат. to be continue...

Автор: Lazin 24.2.2009, 22:15

http://ipicture.ru/

Автор: UniBomb 24.2.2009, 22:27

http://ipicture.ru/

Автор: sTa1kEr 24.2.2009, 23:29

Факт: Кот Lazin'а ни на грошь не помог создать машину Уникуума. Вопрос: Нахрена Lazin запостил кота? Ответ полученный из правил моего мозга: Ибо нефиг умничать во флейме!

Автор: UniBomb 25.2.2009, 00:20

Цитата(sTa1kEr @  24.2.2009,  23:29 ) Ибо нефиг умничать во флейме! чорд, а я то думал выставка котокошек....

Автор: bars80080 25.2.2009, 00:32

Цитата(sTa1kEr @  24.2.2009,  22:29 ) Кот Lazin'а ни на грошь не помог создать машину Уникуума. эх, Сталкер, Лазин предлагал не ответ, а направление поиска. или вы не слышали о коте Шрёдингера? уверен, в нём кроется загадка искуственного интеллекта

Автор: sTa1kEr 25.2.2009, 01:22

bars80080, будем прощаться. Вокзал - вон там.

Автор: unicuum 25.2.2009, 10:15

Цитата(sTa1kEr @  24.2.2009,  23:29 ) Нахрена Lazin запостил кота? А зачем он выставляет такие аватары? Очевидно, чтобы ты задумался над этим вопросом. У меня тоже есть изображения не менее симпатичных существ. Но не будем отвлекаться и продолжим... Машина Уникуума является особым видом машины Тьюринга, а поскольку вторая является абстрактной машиной, то первая тоже абстрактная. Машина Уникуума наследует все свойства машины Тьюринга. Введение в пространственно-временной анализ: Логика лежит вне времени и пространства. Машина Уникуума является исполнителем логики. Теоретически её можно создать на любой другой платформе, то есть вне нашей вселенной. Практически же все машины Уникуума лежат в ней, и хотя механизмы логики не зависят от платформы, знания которые копит машина являются её прямым следствием. Таким образом подходим к главным правилам: Абстрактный исполнительный механизм машины Уникуума не зависит от платформы. Абстрактный механизм памяти машины Уникуума напротив зависим от платформы. Практический вывод таков. Поскольку все люди являются конкретными воплощениями машины Уникуума созданными на платформе нашей вселенной, то все их разговорные языки несут или пространственную или абстрактную логику и строятся на этих принципах. Естественно абстрактная логика преобладает, так как лежит в основе самой машины Уникуума, а пространственная логика является лишь её частным случаем. to be continue...

Автор: Lazin 25.2.2009, 10:30

Автор: sTa1kEr 25.2.2009, 11:42

Цитата(unicuum @  25.2.2009,  11:15 ) А зачем он выставляет такие аватары? Очевидно, чтобы ты задумался над этим вопросом. Что ты, что ты?! Админздрав предупреждает, думать во флейме может быть вредно для вашего аккаунта здоровья!

Автор: unicuum 25.2.2009, 11:54

Итак, переформулируем наши данные: Факт: Надо создать машину Уникуума и в конечном итоге сделать её разумной. Вопрос 01: Как создать исполнительный механизм машины Уникуума используя платформенно-зависимый случай машины Тьюринга - компьютер? Вопрос 02: Как сделать машину Уникуума разумной? Второй вопрос разбивается на следующие: Вопрос 03 Что должен делать частный случай машины Уникуума, то есть для чего машина будет использоваться? Вопрос 04 Что понимается под разумом применительно к частному случаю машины Уникуума? Обратимся к частным случаям: Предположим выставлено ограничение и человек общается с частным случаем машины Уникуума лишь через текстовый чат. Он формулирует задачу состоящую из ([фактов] [и|или] [правил] [и|или] [вопросов]) и отправляет её на обработку. На выходе должны получиться ([факты] [и|или] [правила] [и|или] [вопросы]), смотря что тот человек, который задавал задачу хочет получить. Это так же зависит от состояния частного случая машины Уникуума на момент обработки данных. В одних случаях нам нужен чётко сформулированный ответ, если например мы поручаем создать программу на основе наших описаний. Нам нужен готовый код и желательно оптимизированный под определённую систему исполнения. В данном случае мы получаем факт. С другой стороны, иногда нам хочется просто поболтать ни о чём. В таком случае чёткие ответы не нужны. Значит при обмене информацией, мыслеформами заключёнными в разговорные языки существуют следующие рекомендуемый типы ответа. логические атомы - понятия формулировка формальных мыслеформ человеком формулировка формальных  мыслеформ ботом формулировка неформальных мыслеформ человеком формулировка неформальных  мыслеформ ботом формальный|человек=>возврат=>формальный|бот формальный|человек=>возврат=>неформальный|бот неформальный|человек=>возврат=>формальный|бот неформальный|человек=>возврат=>неформальный|бот to be continue...

Автор: Lazin 25.2.2009, 19:47

http://ipicture.ru/

Автор: sTa1kEr 25.2.2009, 19:53

Ммм... сколько аппетитной шаурмы! Добавлено через 1 минуту и 31 секунду Жаль только фотошоп....

Автор: unicuum 25.2.2009, 20:11

Цитата(sTa1kEr @  25.2.2009,  19:53 ) Ммм... сколько аппетитной шаурмы! Один котёнок выглядит мило, но вот когда столько, это уже вызывает омерзение. Лазин похоже слишком много программировал и у него поехала крыша.  Ему ещё можно помочь пока он только меняет странные аватары, постит котов и хихикает над тем как бикает всех по носу с помощью картинки. Однако если ему сейчас не помочь, то его уровень абстрактного мышления поднимется, и тогда он будет потерян для общества.   Ну что ж, добро пожаловать в мир безумных программистов.

Автор: bars80080 25.2.2009, 20:33

Цитата(unicuum @  25.2.2009,  19:11 ) Лазин похоже слишком много программировал и у него поехала крыша. это говорит зверюга из обители зла с ободранной кожей

Автор: unicuum 25.2.2009, 21:02

Цитата(bars80080 @  25.2.2009,  20:33 ) это говорит зверюга из обители зла с ободранной кожей  Ты фильм невнимательно смотрел, у той зверюги нет ничего общего с этой.

Автор: bars80080 25.2.2009, 21:26

одна, не одна. значит отряд один, судя по первичным половым признакам

Автор: Lazin 25.2.2009, 22:22

http://ipicture.ru/

Автор: pycha 26.2.2009, 02:19

unicuum, мог бы , то плюсов те набомбил, очень полезной темой обзавелся загружать мозги. Давайте устроим соревнование, кто первый создат искуственный интелект получит 100 тыщ. зы  Lazin,  ну наконецто меня спомнил , я собак оччень люблю зыы  Lazin, а предыдущий аватарик, там где с пальцем во рту мне больше нравится  зыыы Lazin, у  нее такие белые зубы, какой зубной пастой она пользуется?

Автор: unicuum 26.2.2009, 15:25

Цитата(pycha @  26.2.2009,  02:19 ) Давайте устроим соревнование, кто первый создаст искусственный интеллект получит 100 тыщ. Я бы сам тебе 100 штук отвалил, если бы ты поделился со мной секретом создания ИИ. Цитата(pycha @  26.2.2009,  02:19 ) ну наконец-то меня вспомнил , я собак оччень люблю Зверская какая собака, а ведь хорошей притворялась, наверное довели. Кстати, опять на коленках у кого-то. Маньяки, кладут на свои коленки невинных зверят, а потом  Даже видно, как собака в ужасе отчаянно защищается. Но не будем отвлекаться и продолжим... Итак, возвращаемся к двум выводам выделенным красным. Абстрактный исполнительный механизм машины Уникуума условно назовём логическим ядром, а абстрактный механизм памяти машины Уникуума просто памятью. Здесь и далее я буду употреблять эти сокращения. Такое разделение приводит к интересной мысли. Логическое ядро можно разработать не забивая в него никакие данные. Последнее нужно лишь для проверки, является ли оно истинной машиной Уникуума, то есть способно ли имитировать всех других логических исполнителей или нет. Из этого определения так же следует, что на любом логическом ядре, можно построить любые другие логические ядра. Таким образом для начала нужно рассмотреть разные логические ядра и создать из них наиболее оптимальное, то которое и будет положено в основу искусственного разума. to be continue...

Автор: pycha 26.2.2009, 15:57

Цитата(unicuum @  26.2.2009,  15:25 ) Я бы сам тебе 100 штук отвалил, если бы ты поделился со мной секретом создания ИИ. а вот и не скажу Добавлено через 1 минуту и 28 секунд Цитата(unicuum @  26.2.2009,  15:25 ) Маньяки, кладут на свои коленки невинных зверят, а потом  Даже видно, как собака в ужасе отчаянно защищается. отпустите собаку, ато гринпис глотку порвет Добавлено через 4 минуты и 11 секунд Цитата(unicuum @  26.2.2009,  15:25 ) поделился со мной секретом создания ИИ. тебе секрет создания или исходники нужны?

Автор: unicuum 26.2.2009, 18:20

Цитата(pycha @  26.2.2009,  15:57 ) тебе секрет создания или исходники нужны? Достаточно секрета создания, потому что исходники будут стоить на много порядков больше. Впрочем мне нужно доказательство, что это секрет создания ИИ, а не какая-то там туфта.

Автор: pycha 26.2.2009, 20:49

unicuum ну ладно , отдам те секрет нахаляву. Он изложен в твоих постах выше. Читай и думай  Добавлено через 1 минуту и 5 секунд unicuum ну ладно , отдам те секрет нахаляву. Он изложен в твоих постах выше. Читай и думай

Автор: unicuum 26.2.2009, 21:21

Цитата(pycha @  26.2.2009,  20:49 ) unicuum ну ладно , отдам те секрет нахаляву. Он изложен в твоих постах выше. Читай и думай smile В моих постах выше это ещё не изложено, там только начало, чтобы ясно было откуда берутся мои мысли. Я собирался написать о способах создания логических ядер ниже.

Автор: Lazin 26.2.2009, 22:11

http://ipicture.ru/

Автор: pycha 27.2.2009, 11:18

Цитата(unicuum @  26.2.2009,  21:21 ) В моих постах выше это ещё не изложено, там только начало, чтобы ясно было откуда берутся мои мысли. Я собирался написать о способах создания логических ядер ниже. значит читай ниже и думай

Автор: pycha 28.2.2009, 10:02

че остановился? давай дальше свой суперфлуд

Автор: unicuum 6.3.2009, 21:58

Цитата(pycha @  28.2.2009,  10:02 ) че остановился? давай дальше свой суперфлуд  Так прочитал дальше свой суперфлуд и офигел от открывающихся возможностей. Теперь вот думаю, флуд продолжу позже.

Автор: Lazin 6.3.2009, 22:55

http://ipicture.ru/

Автор: S3_ 7.3.2009, 22:20

Хи-хи

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)