Re[6]: Sergij rychik

From: Muravjov Artem ( muravjoff@mtu-net.ru ) Date: 2000-02-01 15:36

>> еще объективной реальности" - толочь воду в ступе - не ясно ни одно.

> Можно перефразировать так: "сознание - это, построенная на получаемых
> извне импульсах, модель их причины". Тоже самое, но другими словами.

Другими, но импульс в нейроне изучен очень хорошо. Если определить модель
через образы и связи, потом определить образ и связи в терминах, к примеру,
нейрофзиологии - тоже дост. хорошо изучены, то станет ясно, ЧТО надо
строить.

> А Вы можете ТОЧНО сформулировать, ЧТО нужно?

Да. Я бы удовлетворился И на уровне Эллочки-людоедочки-домохозяйки :)
Т.е. универсальный решатель бытовых задач с пониманием бытового
человеческого языка.

>> Предлагаю обсуждать в терминах "запрограммировал так - делает то, не делает то".

> Запрограммировать - дело десятое, за этим проблемы не станет... Вопрос
>такой - надо определить базовый набор операция над понятиями,
>все мыслительные процессы. Когда-то я остановился на следующем:
> - сравнение понятий на тождественность
> - сравнение понятий на родо-видовую принадлежность (is a)
> - выделение общих признаков у различных понятий (построение абстракции)
> - классификация понятий

> Однако при реализации реальной задачи оказалось, что полезно иметь еще
>такие вещи, как шаблоны и к этому добавилось еще:
> - выделение шаблона на основе группы понятий
> - разделение понятия на шаблон и "подстановку"
> - формирования понятия на основе шаблона и подстановки

> При усложнении задачи всплыла также необходимость в "именах" -
>под которыми подразумевалась бы группа связанных понятий, и к операциям
>добавились:
> - создание "имени"
> - "раскрытие" имени в связанную группу понятий.

>Разумеется никаких гарантий, что этот набор полон и неизбыточен нет, но
>хотелось бы иметь.

1) Очень интересно, а есть что-нибудь работающее с этими принципами ?

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

3) Чем отличается, к примеру, классификация и называние ? И там и тут
берется связанный образ.

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

Да, конечно, я перевернул ситуацию для простоты. Логика - маленькая и
недавняя надстройка.

> Животное использует ногу везде, где надо перемещаться, в технике же
>предпочитают колесо.

Вот представьте домашнего робота - что будет эффективнее нога или колесо ?

> Есть такая штука - память, состояние которой очень сильно влияет на
>реакцию ЦНС на внешние раздражители. В принципе это хорошо описывается
>разделом математики, как "теория автоматов", а в часности "автоматы с
>внутренней паматью". Машина фон-Неймана (мат.модель современных
>компьютеров) - построена на том же принципе.

Я согласен, но неправильно выделение памяти в отдельное устройство. В ЦНС
нет такого.

Мне интересует, в курсе ли хто насчет операционок для встроенных систем ?
Слышал ли кто о QNX, насчет языка Ада ? Говорят они хороши для всякой
мобильной роботики.