Иммиграция, обучение и жизнь в австралии

Оценка шансов Объявления ASPC-timeline Дневники Проекты Реклама Вакансии

Like Tree198Likes

Ответ
 
LinkBack Опции темы Поиск в этой теме
Старый 10.04.2016, 01:08   #1501 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

Цитата:
Сообщение от Karadur Посмотреть сообщение
Правила применяет. Это не strong AI, конечно, хотя очень мощная и сложная штука, безусловно.

Как это делается в общих чертах - сперва идёт трансляция входной строки во внутреннее представление, думаю, для мат. формул это AST, т.е. синтаксическое дерево. А потом к нему (к дереву) применяются правила, т.е. алгоритмы редукции этого дерева. Вот тут пишут, что их там дохрена
The Secret behind the Computational Engine in Wolfram|Alpha&mdash;Wolfram|Alpha Blog
миша, не eби мордовку. скажи как именно он этот интеграл считает. я знаю лишь один способ, и если он до него додумывается, то это много больше, чем аи. единственное, что в него вбита огромная база просто таких интегралов и все, других вариантов я не вижу просто.
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:08   #1502 (permalink)
ротаредоМ
Аватар для Karadur
 
Регистрация: 19.07.2006
Из: Melbourne North
Сообщений: 29,851
По умолчанию

Не ссыте, не будет никакого ИИ.
Karadur вне форума   Ответить с цитированием
Старый 10.04.2016, 01:09   #1503 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

как считает? тут нет правил никаких.
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:12   #1504 (permalink)
Аватар для Thor
 
Регистрация: 23.08.2004
Из: Blue Mountains
Сообщений: 20,682
По умолчанию

Цитата:
Сообщение от Aнжела Посмотреть сообщение
джон коннор первым предостерег вроде
да первым вообще станислав лем
__________________
Navigare necesse est vivere non est necesse
Thor вне форума   Ответить с цитированием
Старый 10.04.2016, 01:13   #1505 (permalink)
Аватар для Thor
 
Регистрация: 23.08.2004
Из: Blue Mountains
Сообщений: 20,682
По умолчанию

Цитата:
Сообщение от Karadur Посмотреть сообщение
Не ссыте, не будет никакого ИИ.
тут есть разные мнения
__________________
Navigare necesse est vivere non est necesse
Thor вне форума   Ответить с цитированием
Старый 10.04.2016, 01:15   #1506 (permalink)
ротаредоМ
Аватар для Karadur
 
Регистрация: 19.07.2006
Из: Melbourne North
Сообщений: 29,851
По умолчанию

Цитата:
Сообщение от Aнжела Посмотреть сообщение
скажи как именно он этот интеграл считает. я знаю лишь один способ, и если он до него додумывается, то это много больше, чем аи.
А ты посмотри, там он печатает разложение в неопределённый интеграл. Он ни до чего не "додумывается", там просто механическое применения правил. Разумеется, туда забито огромное число уже посчитанных интегралов, но я уверен, что этот алгоритм не может их творчески осмысливать.
Karadur вне форума   Ответить с цитированием
Старый 10.04.2016, 01:19   #1507 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

он печатает разложение в неопределённый интеграл

миша, eбать, этот интеграл не берется. в радикалах. вообще. никак. правил нет для него. нету, понемаишь??" чтобы его пощетать нужно догнать
1. что инт лог син = инт лог кос
2. что это как раз то, что надо сейчас применить
3. догадаться сложить эти два интеграла

и только потом уже пойдут правила

как он делает три шага??"
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:21   #1508 (permalink)
ротаредоМ
Аватар для Karadur
 
Регистрация: 19.07.2006
Из: Melbourne North
Сообщений: 29,851
По умолчанию

Цитата:
Сообщение от Aнжела Посмотреть сообщение
как считает? тут нет правил никаких.
Правила там в смысле Тьюринга. Есть входные данные, к ним применяются правила, получаются выходные данные. Простой пример такого дерева и применения правил:

"2+3" на входе превращается во что-то типа

(Формула)
|
(+)
|
|-----|
(2) (3)

Далее мы знаем, что к узлу дерева с (+) можно применить правило сложения, и все три узла (+), (2) и (3) превращаются в один узел (5) - происходит редукция. Потом этот узел может быть частью более сложных деревьев.
Karadur вне форума   Ответить с цитированием
Старый 10.04.2016, 01:23   #1509 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

миша, еще раз. не еби мордовку. ты либо обясни какие правила он применяет в данном конкретном, либо скажи я, поца, как и вы xyй его знает и в аxyе тоже
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:26   #1510 (permalink)
ротаредоМ
Аватар для Karadur
 
Регистрация: 19.07.2006
Из: Melbourne North
Сообщений: 29,851
По умолчанию

Цитата:
Сообщение от Aнжела Посмотреть сообщение
чтобы его пощетать нужно догнать
1. что инт лог син = инт лог кос
2. что это как раз то, что надо сейчас применить
3. догадаться сложить эти два интеграла

и только потом уже пойдут правила

как он делает три шага??"
Ну, значит, вбито в него правило 1.
А дальше он просто применяет подходящие правила, пытаясь редуцировать дерево. В случае с интегрированием редукция означает, что мы пытаемся избавиться от операции "интегрировать" во всех узлах. Когда ни одного интегрирования не осталось, неопределённый интеграл взят.
Karadur вне форума   Ответить с цитированием
Старый 10.04.2016, 01:30   #1511 (permalink)
ротаредоМ
Аватар для Karadur
 
Регистрация: 19.07.2006
Из: Melbourne North
Сообщений: 29,851
По умолчанию

А если он не может посчитать неопределённый интеграл, то считает просто численно. У меня так получась когда-то, уже не помню примера. Можешь сам что-нибудь заковыристое вбить.
Karadur вне форума   Ответить с цитированием
Старый 10.04.2016, 01:30   #1512 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

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

помимо правила 1 нужно еще решится перейти от данного интеграла к сумме двух, то есть именно что заменить одну задачу другой, формально более сложной. это разве не есть мышление и интеллект
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:33   #1513 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

Цитата:
Сообщение от Karadur Посмотреть сообщение
А если он не может посчитать неопределённый интеграл, то считает просто численно. У меня так получась когда-то, уже не помню примера. Можешь сам что-нибудь заковыристое вбить.
нет, миша. он сначала считает численно, а потом дает ответ пи на два лог ноль пять. то есть он решает задачу из демидовича на 5

кста я ему дал инт лог тангенса. он сразу говорит 0, но потом пишет комьютейшнал тайм ексидед.

я понимаю, что ноль это числено, а точно пощитать он не может чтоль? это странно, потому что тут то же правило инт лог син=инт лог кос. как он там до него дошел, а тут не может?
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:36   #1514 (permalink)
Аватар для Thor
 
Регистрация: 23.08.2004
Из: Blue Mountains
Сообщений: 20,682
По умолчанию

хорош песдить математике. численно там всё получается, но это не что что проф ожыдал.
__________________
Navigare necesse est vivere non est necesse
Thor вне форума   Ответить с цитированием
Старый 10.04.2016, 01:37   #1515 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

он находит точное значение. я чото больше, чем уверен, что оно в него просто вбито. то есть грубо все задачи из демидовича в нем были вбиты. инт лог тан в демидовиче нет, вот он и ексидит свой комп тайм.
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:38   #1516 (permalink)
ротаредоМ
Аватар для Karadur
 
Регистрация: 19.07.2006
Из: Melbourne North
Сообщений: 29,851
По умолчанию

Цитата:
Сообщение от Aнжела Посмотреть сообщение
то есть именно что заменить одну задачу другой, формально более сложной. это разве не есть мышление и интеллект
Да тупым перебором это делается, примерно как в шахматных программах. Просто применяются правила, которые можно применить. В разных сочетаниях, перебором. Возможно, с какой-то оптимизацией. Цель - убрать из дерева узлы с операцией интегрирования.


Цитата:
Сообщение от Aнжела Посмотреть сообщение
я понимаю, что ноль это числено, а точно пощитать он не может чтоль? это странно, потому что тут то же правило инт лог син=инт лог кос. как он там до него дошел, а тут не может?
А хрен его знает, какие там правила зашиты для интегралов. Но нет там проблеска интуиции и разума, там только тупой перебор и применение правил и правил для применения правил. Большая сложная машина Тьюринга, короче говоря. И не более.
Karadur вне форума   Ответить с цитированием
Старый 10.04.2016, 01:40   #1517 (permalink)
Аватар для Thor
 
Регистрация: 23.08.2004
Из: Blue Mountains
Сообщений: 20,682
По умолчанию

угу, я тожэ немного разочарован.
__________________
Navigare necesse est vivere non est necesse
Thor вне форума   Ответить с цитированием
Старый 10.04.2016, 01:40   #1518 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

Цитата:
Сообщение от Karadur Посмотреть сообщение
Да тупым перебором это делается, примерно как в шахматных программах. Просто применяются правила, которые можно применить. В разных сочетаниях, перебором. Возможно, с какой-то оптимизацией. Цель - убрать из дерева узлы с операцией интегрирования.
ты больной? этот интеграл так не посчитать, как ты не поймешь, он не берется.

короче все. вбит он в него просто и все.
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:42   #1519 (permalink)
ротаредоМ
Аватар для Karadur
 
Регистрация: 19.07.2006
Из: Melbourne North
Сообщений: 29,851
По умолчанию

Цитата:
Сообщение от Aнжела Посмотреть сообщение
инт лог тан в демидовиче нет, вот он и ексидит свой комп тайм.
Он перебирает варианты, и в какой-то ветке происходит комбинаторый взрыв, тогда - хренак, времени уходит слишком много и система просит денег. И вся твоя высшая математика замыкается в итоге на орально-анальные вау-импульсы.
Karadur вне форума   Ответить с цитированием
Старый 10.04.2016, 01:44   #1520 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

Цитата:
Сообщение от Karadur Посмотреть сообщение
Он перебирает варианты, и в какой-то ветке происходит комбинаторый взрыв, тогда - хренак, времени уходит слишком много и система просит денег. И вся твоя высшая математика замыкается в итоге на орально-анальные вау-импульсы.
нуку, перечисли мне варианты то?
миша, если он может посчитать инт лог син и в курсе, что лог тан = лог син-лог кос (а это он точно знает, это как раз и есть правило, о котором ты говоришь), он сразу должен понять, что будет ноль. то есть отсюда понятно, что да, ни хера он соображет, а демидович в него просто вбит
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:51   #1521 (permalink)
Аватар для Thor
 
Регистрация: 23.08.2004
Из: Blue Mountains
Сообщений: 20,682
По умолчанию

не означает ли это, что он во что-то кроме перебора вариаинтов врубается?
__________________
Navigare necesse est vivere non est necesse
Thor вне форума   Ответить с цитированием
Старый 10.04.2016, 01:52   #1522 (permalink)
ротаредоМ
Аватар для Karadur
 
Регистрация: 19.07.2006
Из: Melbourne North
Сообщений: 29,851
По умолчанию

Цитата:
Сообщение от Aнжела Посмотреть сообщение
перечисли мне варианты то?
Да я в общем говорю. Набрасываю, как эта хрень работает (в смысле набросок делаю). Смысл в том, что эта альфа может не просто тупо одноходовые правила применять, но и комбинировать их и находить многоходовки, однако там наверняка часто будут возникать комбинаторные взрывы, так что времени на подсчёты будет не хватать.

Цитата:
Сообщение от Aнжела Посмотреть сообщение
то есть отсюда понятно, что да, ни хера он соображет, а демидович в него просто вбит
Я и говорю, не ссы насчёт предсказаний Сары, она была неправа.
Karadur вне форума   Ответить с цитированием
Старый 10.04.2016, 01:53   #1523 (permalink)
ротаредоМ
Аватар для Karadur
 
Регистрация: 19.07.2006
Из: Melbourne North
Сообщений: 29,851
По умолчанию

Цитата:
Сообщение от Thor Посмотреть сообщение
не означает ли это, что он во что-то кроме перебора вариаинтов врубается?
Ну если только туда сознание Демидовича пересадили, а не просто учебник.
Karadur вне форума   Ответить с цитированием
Старый 10.04.2016, 01:54   #1524 (permalink)
<< BANNED >>

No Avatar
 
Регистрация: 21.04.2015
Из: е
Сообщений: 11,240
По умолчанию

но это не спасет тебя, мегранд. ну будет несколько сомелье из жыдов смотреть на тебя из всех камер, а потом, когда нефть закончится, сложит твои тушки в камеру как у вачовских, надев очки и наушники. разницы то нет. а в сомелье тебя не возьмут.
Aнжела вне форума   Ответить с цитированием
Старый 10.04.2016, 01:56   #1525 (permalink)
Аватар для Thor
 
Регистрация: 23.08.2004
Из: Blue Mountains
Сообщений: 20,682
По умолчанию

Когда сознание там появится мы не знаем. Но близки к этому. Интересно.
__________________
Navigare necesse est vivere non est necesse
Thor вне форума   Ответить с цитированием
Ответ

Закладки


Здесь присутствуют: 1 (пользователей: 0 , гостей: 1)
 
Опции темы Поиск в этой теме
Поиск в этой теме:

Расширенный поиск


no new posts