Обсуждение

Поиск и писательство или понимания и писательства?

Поиск наиболее компактных описаний понимания и писательства. Формулировка про "поиск наиболее компактных описаний" -- http://ailev.livejournal.com/942353.html (второй абзац).

замечу, что: 1) в списке "работы агентов", ИМХО, не хватает "перцепции" ( т.е. получение "дискретных кодов" из "аналоговой среды") . 2) в Ваш список "дисциплин информатики" не включена "кибернетика". но задачи информатики ведь не исчерпываются преобразованием между разными формами информации . конечной точкой такого преобразования в любом случае является некоторое "управление чем-то с такой-то целью по такому-то закону на основе таких-то входных данных".

Ваша "перцепция" -- это моё "распознавание". А деятельность, для которой выполняются практики информатики -- она за её пределами. Я пока прагматику не обсуждаю, хотя это и крайне важно. Т.е. я пока обсуждаю разные компиляторы и переводчкики, включая и те, для которых требуется что-то распознавать совсем уж слабо формализованное во входном наборе/потоке. Мощность же кибернетической парадигмы я оцениваю как крайне низкую, слово "управление" (кроме как управление роботом, чтобы он не сходил с нарисованной линии, или печкой, чтобы держала температуру постоянной -- и то, там "регулирование" из теории автоматического регулирования) я стараюсь не использовать. Так что ну её, кибернетику. Без неё хватает, чем заняться...

Различение (отличить 1 от 0), узнавание (обнаружить бит), ценности (1 главнее 0). Ценности это и создание систем ценностей и обучение им и применение. `````````````````````````````````````````````````` -- (философская) логика, объектом практик которой является поиск наиболее компактных описаний для связи текстов и кодов с реальным миром, а также выражения связи с реальным миром формальных и неформальных языков, на которых представлены тексты и коды. Можно считать, что философия языка -- это тоже сюда. -- когнитивная наука (cognitive science), объектом практик которой является поиск наиболее компактных описаний для понимания (перевод текстов и кодов во внутреннее представление в голове человека) и писательство (порождение текстов и кодов из внутреннего представления в голове человека). -- лингвистика, объектом практик которой является поиск наиболее компактных описаний кодирования текста и отекстовки кодов. -- компьютерная наука (computer science), объектом практик которой является поиск наиболее компактных описаний перекодирования. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Здесь про это почти ничего нет,

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

Поддерживаю, что выход на "физику" не является дисциплиной информатики, так же как и регулирование не предусматривает применение информатики (кроме частного, хоть и ужасно популярного цифрового регулирования). Кибернетическая парадигма заключается в обратной связи, а не в управлении как таковом. И эту парадигму можно найти в той же computer science.

Выход на "физику" в информатике есть, но он специальный: это про соотношение кодов, текстов и реальности (философская логика). Но в информатике дискретная математика, а вот матан и прочие дифуры из физики, механики и т.д. -- это не в computer science, а в соответствующих дисциплинах плюс их математиках. В computer science только в той мере, где это оформляется в каком-то языке, на котором это кодируется (языке "длинных целых" или "плавающих" компьютерного железа, языке модулей компьютерных библиотек, языке пакета Mathematica и т.д.). Если бы люди под кибернетикой понимали только "обратную связь" (которая многолика, это слишком общее) в технических системах, то я был бы согласен с такой трактовкой. Но там чаще применяется термин "автоматическое регулирование", а не "кибернетика". А под кибернетикой понимают чуть ли не теорию систем, которая без этой кибернетики отличненько обходится. Ну и добавляют "в живых организмах", что для меня вообще уже запредел, если этот организм сознательный. Так что ну его. В computer science как-то не принято говорить об обратной связи более торжественно, чем метаформически употребляя слово feedback -- не больше и не меньше, чем в любых других дисциплинах.

Да, кибернетика сейчас стала синонимом автоматического управления. Более широкий смысл, который вкладывал в слово кибернетика тот же Винер, разделился на два: техническая кибернетика ушла в цифровое регулирование, а биологическая кибернетика ушла в искусственный интеллект (например, рекуррентные нейронные сети) и в нейрофизиологию (теория функциональных систем П.К.Анохина). Всё же обратная связь составляет суть и основу кибернетики, поэтому я и сказал про парадигму (если я правильно понимаю это слово).

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