GotAI.NET

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

 

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

 Все темы | Новая тема Стр.2 (4)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Самосознание программы
NO.
Сообщений: 10700
На: Самосознание программы
Добавлено: 23 окт 09 21:17
Цитата:
В целях секретности детали нумеруются от фонаря. Допустить ошибку в номере детали как два пальца об асфальт. Даже несмотря на двойной ввод. Теперь представьте себе конец месяца, запарка, отчеты и прочее.

Мы заинтригованы, неужели удалось с этим безобразием справиться?
[Ответ][Цитата]
Pinot
Сообщений: 27
На: Самосознание программы
Добавлено: 23 окт 09 23:31
Деталь еще куда ни шло. А узел? А если узел начинает принадлежать самому себе? Кошмар парадокса брадобрея. В реальности бесконечный цикл пока хватает оперативной памяти для графа узлов. Потом отчет грохается с аварийным дампом памяти. Все прелести языка высокого уровня.
[Ответ][Цитата]
tac
Сообщений: 2601
На: Самосознание программы
Добавлено: 23 окт 09 23:50
Цитата:
Автор: Pinot

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


Кодировать нужно правильно, а не на компилятор пинать ... делаете класс "Метр" и класс "Килограмм" и компилятор обнаружив сложение - выкинет ошибку ...
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Самосознание программы
Добавлено: 23 окт 09 23:55
Ужос.
[Ответ][Цитата]
tac
Сообщений: 2601
На: Самосознание программы
Добавлено: 23 окт 09 23:56
Цитата:
Автор: Capt.Drew

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


С# это делает через отображение ... но заниматься анализом должен компилятор по хорошему ...
[Ответ][Цитата]
tac
Сообщений: 2601
На: Самосознание программы
Добавлено: 24 окт 09 0:00
Цитата:
Автор: Pinot

Можно привести такую аналогию. Царапнем ДВД иголкой. Некоторая часть данных испорчена. А фильм можно тем не мене смотреть. Говорят, что передача данных обладает избыточностью.
А в программе если заменить + на - случится непоправимое. Цикл допустим начнет выполняться бесконечное число раз.
к=100
Делать пока (к<>0)
к=к-1
...
КонецЦикла

Никакой компилятор ошибки не обнаружит.


Для этого есть ОС - которая могла бы сказать, что такой-то процесс висит и выкинуть его ... Можете закодировать сами такой процесс. Т.е. один процесс контроллер других запускаемых процессов - тогда есть все шансы это отлавливать и этим управлять ...
[Ответ][Цитата]
tac
Сообщений: 2601
На: Самосознание программы
Добавлено: 24 окт 09 0:05
Цитата:
Автор: Pinot

Писать правила типа узел такой-то входит в узел такой-то? Это удваивает всю работу.


Ну, и как по вашему возможно стыковать различные детали без документации ? А для секретности шифровать не пробывали
[Ответ][Цитата]
гость
77.120.129.*
На: Самосознание программы
Добавлено: 24 окт 09 0:36
Цитата:
Автор: NO.
Мы заинтригованы, неужели удалось с этим безобразием справиться?


вероятно рецепт водки, которая помогает в таком случае секретен.
[Ответ][Цитата]
гость
77.120.129.*
На: Самосознание программы
Добавлено: 24 окт 09 0:42
Цитата:
Автор: tac

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

не все так прямо и просто. тот же сиквель можно без труда сделать равномощным машине тьюринга. однако вопрос об остановке мт не решен. сколько еще часов надо ждать клиенту подвисший запрос, уже пора возвращать экзепшин или еще секунду подождать и вернуть отчет? для текущих возможностей сиквеля это решение возможно принять.
[Ответ][Цитата]
Pinot
Сообщений: 27
На: Самосознание программы
Добавлено: 24 окт 09 1:11
Для меня компилятор не бранное слово, а общеизвестный пример ВНЕШНЕЙ системы, которая не может решить проблемы программы. Моя точка зрения что программа сама должна решать правильно она поступает или нет. Никто ребенку правила в мозг не загоняет никакой родитель нравоучения ему не читает типа не дотрагивайся до горячего утюга или стекло бывает острым. Без самосознания программа ТУПАЯ.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Самосознание программы
Добавлено: 24 окт 09 1:14
птичка похожая
http://www.inpic.ru/image/415
[Ответ][Цитата]
Pinot
Сообщений: 27
На: Самосознание программы
Добавлено: 24 окт 09 1:15
Цитата:
Автор: tac
Ну, и как по вашему возможно стыковать различные детали без документации ? А для секретности шифровать не пробывали


Документация на узлы есть. НО с ошибками. Задача была как аккуратно ввести избыточность. Грубая сила типа двойного ввода помогала плохо. Операторы в конце месяца набивали данные один раз и вводили два раза.
[Ответ][Цитата]
tac
Сообщений: 2601
На: Самосознание программы
Добавлено: 24 окт 09 2:03
Цитата:
Автор: Pinot
Никто ребенку правила в мозг не загоняет никакой родитель нравоучения ему не читает типа не дотрагивайся до горячего утюга или стекло бывает острым. Без самосознания программа ТУПАЯ.


Еще как загоняет, читает, вкладывает - целых 18 лет, и то дураками остаются
[Ответ][Цитата]
tac
Сообщений: 2601
На: Самосознание программы
Добавлено: 24 окт 09 2:15
Цитата:
Автор: гость


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


Это решается особой архитектурой. Подчиненный процесс должен посылать скажем раз в секунду сообщение - "Все ок, я работаю". А по проге должны быть разбросаны анализаторы полезности действия - скажем если цикл крутится, то анализатор должен наблюдать обрабатывается то, что надо или нет ... только так .. без семантического анализатора - без полезно это решать ...
[Ответ][Цитата]
Pinot
Сообщений: 27
На: Самосознание программы
Добавлено: 24 окт 09 2:21
Цитата:
Автор: гость
Цитата:
Автор: tac

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

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


Гл конструктор беспилотных самолетов Чистяков имеет мнение, что ему ОС и даром не нужна. И Вирт с ним согласен.
"И гости, и хозяева согласились с неразумностью использования каких-либо операционных систем в системах реального времени. Именно исключение операционной системы профессор Вирт считает своей основной заслугой при проектировании программного обеспечения беспилотного вертолёта." http://dpla.ru/wirth/
[Ответ][Цитата]
 Стр.2 (4)1  [2]  3  4<< < Пред. | След. > >>