Искусственный интеллект.

[КИ]

Программисту в моем языке нужно лишь описать модель возможных взаимосвязей между элементам

"Лишь"?  

Чтобы можно было обсудить по существу, приведите пожалуйста задачу и код, который ее решает.

[Дмитрий]

Вы правы, ув КИ.

Требование "нужно ЛИШЬ ОПИСАТЬ нужное .. .." - ничем не хуже знаменитых :

1. Роденовского - .. отсекаю ВСЁ ЛИШНЕЕ.

2. и даже Архимедовского - ДАЙТЕ МНЕ точку опоры ...

[DK]

Чтобы можно было обсудить по существу, приведите пожалуйста задачу и код, который ее решает.

Обязательно покажу. Но языку чуть более двух недель от роду:) Мне еще нужно время чтобы наработать приличные практические результаты. В ближайшие пару месяцев я обязательно их продемонстрирую.

Программисту в моем языке нужно лишь описать модель возможных взаимосвязей между элементам

"Лишь"?  

Именно - "лишь". Язык очень лаконичный. Описывать модели на нем очень просто. И тем проще чем большая база знаний уже наработана - по мере подъема ко все более абстрактным категориям формулировки становятся все более лаконичными.

Дело в том что на нижних уровнях мы используем небольшой набор базовых понятий. По мере выстраивания базы знаний спектр понятий которыми мы можем оперировать расширяется и поэтому вместо того чтобы очередную задачу описывать большим количеством базовых понятий нам лишь достаточно пременить небольшое количество из обширного спектра абстрактных высокоуровневых понятий.

И напоминаю что модель содержит решение не задачи одного единственного типа а фактически континуум типов задач. Т.е. один раз описав модель мы написали программу эквивалентную практически бесконечности программ на каком нибудь классическом алгоритмическом языке:)

[КИ]

Современные подходы к программированию и так предусматривают создание инструмента (например набора объектов с функциями), а затем реализацию уже собственно задачи "лишь лаконичным" их использованием. А также компонентные модели, где вся "низкоуровневая" функциональность может быть вообще скрыта от глаз. Чем выше уровень, тем как правило ниже универсальность. Есть масса рапид-систем, которые выдают полуготовые программы на выходе, вместе с базами данных. Но это как правило лишь модификация некоего шаблона.

Вы говорите, что Ваш язык в принципе сводится только к самому-самому верхне-уровнему, а что именно требуется сделать, движок языка сам догадается, и при этом остается полностью универсальным? Ну.. когда покажете что-то, тогда будет что обсуждать.  

[Дмитрий]

Уж если фактически, то ВЕСЬ Континуум ВСЕХ Типов Задач - без изъянов и исключенй описан ещё дедушкой Аристотелем : либо А либо не.А = 1. Вместо А подставляйте ЛЮБОЕ сколь угодно сложно-заковыристое Выражение - И ВСЕГДА получайте Верный Ответ.

[Дмитрий]

НО Чёртик, как ивсегда - в деталях прячется. То есть, разрастание колич вариантов настолько лавинообразное, что никакого быстродействия всех компов вместе взятых - не хватит, чтобы в обозримое Время получить вняный ответ.

Применение же жадного алгоритма - приводит к поте важных решений. Вот теперь и думайте, ув господа, что лучше - Орёл НАБЕС-Конечности, либо Синица за пазухой.

[DK]

КИ

Вы говорите, что Ваш язык в принципе сводится только к самому-самому верхне-уровнему

Не совсем так. База знаний выращивается от самого нижнего уровня до уровня высоких абстракций. Но это не есть попытка описать решения всех ворзможных задач:) Это не описание алгоритмов решения задач а описание ЗНАНИЙ - совершенно подобно тому как накапливает знания человек. Человек не запоминает бесчисленные способы решения конкретных задач, но знание которое накапливает человек позволяет ему находить решение любых конкретных задач по мере потребности, без необходимости держать в памяти все эти решения. При этом разумеется человек начинает с азов - вначале он получает знание о том что у него например пять пальчиков:) Не ахти какое знание, действительно очень низкоуровневое - но все же это не алгоритм и не конкретный способ решения конкретной задачи - это ЗНАНИЕ. Используя которое маленький человечек может решать много задач. Узнав однажды что у него пять пальчиков он уже все вокруг будет видеть с учетом того что существует "пять". Он может заметить что на столе лежит пять спичек. Хотя никто не учил его пяти спичкам но он увидит сходство - увидит что пять пальчиков похоже на пять спичек - т.е. одно абстрактное знание оказывается применимо к самым различным жизненным систуациям и может участвовать при решении самых разных конкретных задач.

КИ

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

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

Причем процесс составления базы знаний гораздо проще чем если бы я попытался подобную вещь запрограммировать прямиком на том же Delphi - это попросту оказалось бы мне не по силам. Т.е. язык который я разработал я изначально рассматривал как средство именно автоматизации труда программиста:)

Ну.. когда покажете что-то, тогда будет что обсуждать.  

Разумеется. Я привел все это лишь как предварительную информацию к сведению. Сейчас работаю над построением эффективной базы знаний для решения кое каких нужных мне практических задач. Когда будет что показать - покажу.

[Дмитрий]

Собс.но говоря, соответствие 5-и пальчиков нектр кучкам др предметов - для науки давно не новость. Да и декларации об оптимизации - из разных трибун звучат не одно столетие.

А потому, ув ДК у нас и выбора иного нет - кроме как дождаться практического воплощения Ваших оскрытий.

[DK]

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

НО Чёртик, как ивсегда - в деталях прячется. То есть, разрастание колич вариантов настолько лавинообразное, что никакого быстродействия всех компов вместе взятых - не хватит, чтобы в обозримое Время получить вняный ответ.

Применение же жадного алгоритма - приводит к поте важных решений. Вот теперь и думайте, ув господа, что лучше - Орёл НАБЕС-Конечности, либо Синица за пазухой.

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

Использование знаний позволяет сократить объем поиска. Знания - это уже не конкретные инструкции по шагам но некие абстрактные направляющие принципы позволяющие сократить перебор вариантов. Именно использование знаний и стало залогом эффективности моей системы.

[Дмитрий]

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

Кстати, это тоже - вовсе не Ваше изобретение, а древнегреческое по крайней мере ,.. Предостережение от бессмысленности Сизифова ТРУДА.

[DK]

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

Практика всегда сильней логики. То что логики считают невозможным практики просто реализуют как достижения. В этом между мной и вами Дмитрий различие. Хотя мы оба Дмитрии:)

[Дмитрий]

просто ... Сизифов труд полезен если это сизифов труд машины:) Шутка. Разумеется ... Ведь я то знаю что ... То что логики считают невозможным практики просто реализуют как достижения.

В этом между мной и вами Дмитрий различие. Хотя мы оба Дмитрии:)

н-да ... А Шутка Ваша - Разумеется ... из обл. фантастики. Хотя мы оба и Дмитрии но я всё ж осмелюсь попросить у Вас хоть один пример, когда практики просто реализуют ... То что логики считают невозможным.

Проще говоря, Вы опять заявляете, будто бы в реальности можно найти (создать, построить) такой объект, который не описывается НИКАКОЙ Формулой Логики. Мдя-аа, смелости Вам не занимать, ОДНАКО Ж - этим заявлянием Вы всю науку вверх тормашками ставите.

То есть, многотысячлетние усердные попытки и учёных и неучей найти (создать, построить) такой объект в реальности - пока ни успеха, ни Нобелевки никому пока не принесли. Другими словами, наука рано или поздно для любого найденного (созданного, построенного) объекта - подбирает соотв. Формулу Логики.

[DK]

Я ничего такого не говорил. Вы все перевернули и переврали. Я лишь сказал что могу на практике создать то в существоание чего вы и подобные вам поверить не могут потому что не имеют подобного опыта - никогда не создавали ничего нового. Вы выучили что-то лет 40 назад и с тех пор в вашем знании не было никакого прогресса. Такие как вы - тормоз науки. Такие как вы подрезают крылья птицам которые могли бы летать высоко. Подозреваю что вы преподаватель на какой нибудь кафедре. Вы консервативен и упрям в своей уверенности, а между тем ваш кругозор достаточно узок и интеллект достаточно беден. Мне знаком ваш типаж. Ладно, мне уже надоело общение с вами. Попрошу больше не писать в моей теме.

Проще говоря, Вы опять заявляете, будто бы в реальности можно найти (создать, построить) такой объект, который не описывается НИКАКОЙ Формулой Логики.

Вы зря отождествляете себя с самой логикой. Между логикой и логиками есть разница. Логика то как раз не опровергает того что опровергают логики. Система моя логична и работает по законам логики. Но она опровергает суеверия логиков.

[Дмитрий]

1. А скромничать - не надо бы .. На самом деле прогресс прекратился пнсле открытия Аристотелем ЗАКОНА Искл 3-о.

2. А кто на самом деле тормоз науки - прочтите в своём пред сообщ.

[DK]

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

[Дмитрий]

Вы правы, конфликты именно оттого и возникают, что нектр тов - усердно пытаются бежать впереди паровоза.

[DK]

На самом деле наоборот - некоторые товарищи слишком тормозят. Единственный способ убрать этот тормоз - отцепиться от него. Сбросить как балласт. Даже если этим тормозом является весь современный социум.

[Дмитрий]

.. товарищи слишком тормозят. Единственный способ ... Сбросить как балласт... весь современный социум.

Гораздо дешевле отправить в ОООчень дальний космос неск хакеров - нежели туда же ... весь современный социум.