Форум: Проблемы искусственного интеллекта

Регистрация | Вход

Все темы | Новая тема  Стр.5 (8) << < Пред. | След. > >>    Поиск:
Автор	Тема: На: Модель Logos AI 3
Corwin Сообщений: 1324	На: Модель Logos AI 3 Добавлено: 03 окт 09 17:51 Вот решил заняться серьезным изучением Пролога как языка логического программирования и заметил что большую часть функциональности Пролога можно воссоздать в Логосе (просто обучив его примерам программ написанных на Прологе). Вырисовывается картина что в ближайшем будущем Логос можно будет применять как язык логического программирования с произвольным синтаксисом. Т.е. какому синтаксису или на каком языке Логос обучить, на таком и можно будет решать задачи равноценные Прологовским. [Ответ][Цитата]
NO. Сообщений: 10700	На: Модель Logos AI 3 Добавлено: 03 окт 09 18:17 это как например [Ответ][Цитата]
Corwin Сообщений: 1324	На: Модель Logos AI 3 Добавлено: 03 окт 09 18:49 Да хотябы взять примеры из книг на Прологе. Синтаксис пролога: сестра( X, Y) :- родитель( Z, X), родитель( Z, Y), женщина( X). Формулировка задачи на ЕЯ: Для любых X и Y X является сестрой Y, если у X и Y есть общий родитель, и X - женщина. Более доступная формулировка на ЕЯ: Если Имя1 имеет общего родственника с Имя2, при этом Имя1 это женщина, то она является сестрой Имя2. Логос в принципе может понимать все эти формы задачи (думаю что также большинство произвольных на которые может хватить фантазии). Собственно формулировка задачи не имеет значения. Все зависит только от того в каком стиле обучить систему. [Ответ][Цитата]
Capt.Drew Сообщений: 4179	На: Модель Logos AI 3 Добавлено: 03 окт 09 18:54 Сейчас наметился легкий ренессанс Пролога, даже в ЮС-арми.. да и JRules куплен IBM. Хорошо бы углубиться B Rules Engines [Ответ][Цитата]
NO. Сообщений: 10700	На: Модель Logos AI 3 Добавлено: 03 окт 09 19:16 а рекурсивные выражения Логос понимает? [Ответ][Цитата]
Corwin Сообщений: 1324	На: Модель Logos AI 3 Добавлено: 03 окт 09 20:05 Да, но их использование пока ограничено глубиной в два прохода. [Ответ][Цитата]
daner Сообщений: 4593	На: Модель Logos AI 3 Добавлено: 03 окт 09 21:21 Занятно... Мне кажется в этом есть на много больший потенциал чем вы сами демонстририете. Вам бы задачу поинтересней перед своим Логос поставить. А то повторение Пролога не очень... сексуально Цитата: Автор: Corwin Да, но их использование пока ограничено глубиной в два прохода. Ну и что же за такую глубину входа можно сделать? [Ответ][Цитата]
NO. Сообщений: 10700	На: Модель Logos AI 3 Добавлено: 03 окт 09 22:31 Такое она запустит? f(x) = 1+f(f(x-1)+f(x/2))) [Ответ][Цитата]
Corwin Сообщений: 1324	На: Модель Logos AI 3 Добавлено: 03 окт 09 22:37 Да я понимаю что эмуляция Пролога это не очень интересно, но если удастся воссоздать его функциональность в модели Логоса, это даст не плохое понимание о возможностях самой модели По крайней мере перестанут путать Логос с чат ботом. Вообще анализ ЕЯ уже порядком поднадоел, а вот написать первый в мире язык программирования (пускай и логический а не процедурный) со свободным синтаксисом это весьма заманчиво. >и что же за такую глубину входа можно сделать? Ну пока модель экспериментальная. Ранние версии имели более глубокую рекурсию, но разбираться откуда и как они сделали тот или другой логический вывод было дело не из приятных. На данной стадии исследований вполне хватает и текущей глубины рекурсии. [Ответ][Цитата]
NO. Сообщений: 10700	На: Модель Logos AI 3 Добавлено: 03 окт 09 22:56 Когда я таким занимался все уперлось в отладку, то есть пользователь должен иметь такую возможность. Придется тебе сам Логос писать на Логосе. Вот там путаница начинается где которое. [Ответ][Цитата]
Corwin Сообщений: 1324	На: Модель Logos AI 3 Добавлено: 03 окт 09 23:54 >f(x) = 1+f(f(x-1)+f(x/2))) Нет такое не пройдет. Во первых не понятно что должно быть в результате выполнения расчетов, во вторых задача более сложная чем может показаться. Так как сама модель при старте имеет нулевую БД и совершенно не умеет разбивать уравнения на части для последовательного решения (что между прочим также должно происходить рекурсивно), то сначала ее надо этому обучить. Т.е. надо показать что уравнение Х = 2 + 2 * 2 для решения необходимо разбить на I1=(2*2); I2=(2+I1); X = I2; У текущей модели такого понятия как приоритетность знаков вообще нет и она просто разобьет предложения на все возможные варианты и каждый из них будет решать по отдельности. Т.е. в этом конкретном примере будет две рекурсивные разбивки (2+(2*2)) и ((2+2)*2) и соответственно получиться два разных ответа. В следующих моделях я конечно такое буду пресекать. В следующей модели постараюсь больше внимания уделять возможности трейсов логических выводов, а то в текущей реализации разбираться что откуда взялось крайне не удобно.. [Ответ][Цитата]
Андрей Сообщений: 3943	На: Модель Logos AI 3 Добавлено: 04 окт 09 1:09 Развитие базы знаний человека проходит три стадии: 1. Синтез априорных знаний - они выращиваются в утробе, чисто физиологически, по плану, выработанному филогенезом. (квалиа, эффекторы) 2. Подражание - синтез новых знаний по шаблону, уже существующему в социуме. (речь, традиции) 3. Творчество - синтез своих, уникальных знаний. (музыка, наука) Похоже Corwin боится мыслить о третьем пункте вообще. Он старается только подражать. Пусть так - тоже метод. Но создать ИИ - значит подражать ЕИ. Зачем подражать речи? Зачем подражать Прологу? Подражай интеллекту в целом! [Ответ][Цитата]
NO. Сообщений: 10700	На: Модель Logos AI 3 Добавлено: 04 окт 09 1:56 напоминает Refal [Ответ][Цитата]
daner Сообщений: 4593	На: Модель Logos AI 3 Добавлено: 04 окт 09 14:43 Цитата: Автор: NO. Придется тебе сам Логос писать на Логосе А вот это серьезный тест для языка (если Логос так позиционировать). Мне в Логосе в первую очередь мешает то, что не понятно чего же это такое и с какой стороны его нужно оценивать и с чем сравнивать. А то начинаешь к нему применять критерии какие-то... он вроде частично их выполняет (классно) а частично нет... думаешь плохо это, но с другой стороны, вроде и нечестно к нему такие требования предьявлять, он же "этим" не является. [Ответ][Цитата]
NO. Сообщений: 10700	На: Модель Logos AI 3 Добавлено: 04 окт 09 15:19 Цитата: Очень трудно в язык проникать, когда сразу на двух языках думаете. А этот пацак все время говорит на языках, продолжение которых не знает! [Ответ][Цитата]
Стр.5 (8): 1  2  3  4  [5]  6  7  8 << < Пред. | След. > >>