|
|
Современный ИИ и школьная геометрия.
Добавлено: 29 дек 18 11:42
|
Скажем есть формула нахождения гипотенузы треугольника. Способов её нахождения очень много. Может ли какая-то современная система ИИ, что-то подобное вывести. Если да, то каким образом она может быть организована?
|
|
|
|
| На: Современный ИИ и школьная геометрия.
Добавлено: 29 дек 18 11:55
Изменено: 29 дек 18 11:56
|
Система автоматического доказательства теорем имеют исключительно научный интерес. От практически значимых задач они очень далеки. Все практически значимые задачи имею ту или иную форму неопределенности для преодоления который нет отработанных способов.
Само автоматическое доказательство теорем дело не хитрое. Всё что нужно это движок с реализацией логики предикатов N-го порядка. Если лень заморачиваться, то можно многое реализовать на связке XSLT + JavaScript. Вещь не самая быстрая, но довольно надежная и имеет прямой выход на векторную графику через SVG.
|
|
|
|
| На: Современный ИИ и школьная геометрия.
+1
Добавлено: 30 дек 18 3:04
|
тут вопрос скорее не о доказательстве некоей данной теоремы, а о поиске вида зависимости. Можно заметить, что катеты однозначно определяют гипотенузу, остается найти заведомо существующую зависимость. В школе было доказательство через тригонометрические функции, оно совершенно неестественное. МОжно поискать среди доказательств 'по построению' 'наиболее' естественное и спросить себя, отчего бы искуссвенная система восприятия, концептуализации, генерирования геометрических конфигураций не смогла бы обнаружить требуемое.
|
|
|
|
| На: Современный ИИ и школьная геометрия.
Добавлено: 30 дек 18 5:39
Изменено: 30 дек 18 7:21
|
Может. Перебором. Пифагор ведь тоже случайно наткнулся. До него 4 млрд лет как крысы об лёд. Кстати, крысы, так те до сих пор не в курсе про квадрад гипотенузы.)))
|
|
|
|
| На: Современный ИИ и школьная геометрия.
Добавлено: 30 дек 18 12:22
Изменено: 30 дек 18 12:23
|
Неудачный пример. Формулу вычисления гипотенузы ни один интеллект ещё не выводил с нуля (не зная её), эта формула является примером для обучения школьников. Помимо формулы вычисления гипотенузы школьники изучают сотни других формул. Они прокачивают свою нейросетку.
И только потом появляется неумелый навык, который надо отработать на практике, обязательно сравнив результат с правильным вариантом и доведя вывод формул до правильного. Далее приходит опыт и такие школьники становятся способными учиться в ВУЗе. А те, у кого обучение зашло в локальный минимум, они идут в ПТУ и затем становятся хорошими водителями и сварщиками.
В общем, когда вы рассуждаете о задаче интеллекта, вы не умеете её правильно ставить. Обязательно должны быть примеры. Необязательно размеченные данные, может быть и кластеризация.
|
|
|
|
| На: Современный ИИ и школьная геометрия.
Добавлено: 30 дек 18 13:19
|
Заблудшим в 2х понятиях поясняю. Особо одаренным дважды. "нейросети" аж 1943 года придумки никакого отношения к биологическим нейронным сетям не имеют. В силу своего исполнения на машине Тьюринга первые являются не более чем конечным автоматом. Связь разума со структурой нейронной сети не более чем никем не доказанная гипотиза.
|
|
|
| |
|
| На: Современный ИИ и школьная геометрия.
Добавлено: 30 дек 18 22:52
|
Автор: гость
тут вопрос скорее не о доказательстве некоей данной теоремы, а о поиске вида зависимости. Можно заметить, что катеты однозначно определяют гипотенузу, остается найти заведомо существующую зависимость. В школе было доказательство через тригонометрические функции, оно совершенно неестественное. МОжно поискать среди доказательств 'по построению' 'наиболее' естественное и спросить себя, отчего бы искуссвенная система восприятия, концептуализации, генерирования геометрических конфигураций не смогла бы обнаружить требуемое. |
|
это, однозначно, плюс одно очко.
|
|
|
| |
|
| На: Современный ИИ и школьная геометрия.
Добавлено: 31 дек 18 1:06
|
тут вспоминаю как в каком-то древнем манускрипте был нарисован прямоугольный треугольник с единственным построением - высотой на гипотенузу и припиской - смотри! далее было использование соотв. соотношений. Формула пифагора естественно следует из рассмотрения подобия получившихся треугольников в контексте соотношения их площадей. Мораль двойная (как должна быть организована система), по кр. мере обладать как-то организованными предварительными знаниями и при оперировании ими должна опираться на содержательную сторону (геометрическое 'видение') и быть способной совмещать контексты разных аспектов (классический вопрос как возможны априорные синтетические суждения).
еще раз можно обратить внимание (как должна быть организована система) на этот принцип семиотической интроспекции (бишь рефлексии) - взгляд на задачу с метауровня, с уровня на котором возникает представление что задача имеет (или не имеет) определенное решение и общее описание ее структуры (пригодное для комбинирования с другими контекстами).
как гаусс ребенком быстро просуммировал сумму первых ста членов натурального ряда.
Как подойти к задаче замостить нестандартную шахматную доску костяшками домино (сначала выяснить четное ли число полей, а потом если их четно, то равно ли число белых и черных).
|
|
|
|
| На: Современный ИИ и школьная геометрия.
Добавлено: 31 дек 18 1:11
|
Автор: Кусаюсь
"нейросети" аж 1943 года придумки никакого отношения к биологическим нейронным сетям не имеют. В силу своего исполнения на машине Тьюринга первые являются не более чем конечным автоматом. Связь разума со структурой нейронной сети не более чем никем не доказанная гипотиза. |
|
А докажи то, что ты сейчас пёрнул в воздух и испортил его зловонью вчерашнего горохового супа.
|
|
|
|
| На: Современный ИИ и школьная геометрия.
Добавлено: 31 дек 18 1:23
|
Каждый неуч может утверждать все, что ему угодно. Для него все вещи - это неизвестное 50/50, однако он легко может склонить чаши весов в любую сторону. И он рассуждает следующим образом: я довольно много в жизни повидал и при этом не встречал доказательств, значит можно считать верным то, что такого доказательства не существует.
Так что, неучи, ваше положение довольно смехотворно. Эффект Даннинга-Крюгера - это про вас.
|
|
|
| |
| |
|
| На: Современный ИИ и школьная геометрия.
Добавлено: 31 дек 18 5:30
|
Автор: Михайло
Вы хотя бы нейронные сети изнутри и в действии изучали??? Чтобы хаять их? |
|
Даже наш местный младший помощник постдока из мормонской дыры на среднем западе США неприкаянный рагуль Егоров пытался объяснить вам что "нейронные сети" из ваших влажных хотелок имеют с биологическими нейронными сетями только общее и очень неудачное название. Вы случаем не с украины? "Нейронные сети" из ваших мечтаний не более чем интегральная интерполяция на основе теоремы Вейерштрасса. Возможность применения теоремы Вейерштрасса к любым числовым последовательностям доказал еще Фурье. Он конечно раньше был, но так понятнее.
|
|
|
|