?

Log in

No account? Create an account
Лабораторный журнал -- Day [entries|friends|calendar]
Anatoly Levenchuk

[ website | Лабораторный журнал ]
[ userinfo | livejournal userinfo ]
[ calendar | livejournal calendar ]

Проблемы киборгов и проблемы с киборгами [19 Jul 2012|12:43pm]
МакДональдс в центре скандала: в этих забегаловках принята политика "не снимать ни фото, ни видео!" -- и туда в Париже зашёл Стив Манн, человек-киборг (с носимой камерой-очками, которых через год будет пруд пруди, ибо они начинают выпускаться Гуглем и ещё несколькими производителями). Охранники его вытолкали, разбив аппаратуру -- http://i-business.ru/blogs/post/21649 (подробно с фотографиями в оригинале по-английски: http://eyetap.blogspot.ca/).

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

А самые фишки будут, когда киборгизированные люди начнут объединяться в сети. Я думаю, тогда охранникам бы из МакДональдса (и всем МакДональдсам) просто бы не поздоровилось. Про флеш-мобы ведь все слышали?
47 comments|post comment

Морфизмы [19 Jul 2012|07:00pm]
Такое впечатление, что теоркатегорщики серьёзно взялись за дело: они действительно ставят деятельность по переформулированию самых разных теорий на промышленную основу. Нам предлагается оригинальная онтология, в терминах которой можно более-менее единообразно описать всё что угодно. Так, используемые в информатике "трансляция", "перевод", "мэппинг", "трансформация" и т.д. теоркатегорщики называют "морфизм". Метфора -- мэппинг, т.е. морфизм из одной предметной области в другую. Метонимия -- мэппинг, т.е. морфизм из одной предметной области в ту же самую (http://www.humnet.unipi.it/dott_linggensac/materiale/Broccias.ppt, слайд 82). Блендинг и концептуальная интеграция (http://markturner.org/blending.html) -- тоже морфизмы. Семиотические морфизмы так и называются -- http://cseweb.ucsd.edu/users/goguen/papers/sm/smm.html.

Вот подход, который унифицирует несколько разных подходов к работе с информацией ("информационный поток" Barwise и Seligman, формальный понятийный анализ Wille, решетки теорий Sowa, категорная общая системная теория Goguen): http://cseweb.ucsd.edu/users/goguen/pps/ifi04.pdf. А вот "Data, Schema, Ontology and Logic Integration" того же автора: http://cseweb.ucsd.edu/users/goguen/pps/lisbon04.pdf -- общая теория интеграции данных, представленных в соответствии с разными мета-моделями.

Беда в том, что Goguen (который этим всем занимался) помер в 2006г., оставив после себя восхитительный вебсайт http://cseweb.ucsd.edu/users/goguen/

Но я склоняюсь уже к тому, что весь этот зоопарк терминов преобразования информации называть "морфизмами" (возможно, потом наводя какую-то типологию на эти морфизмы и уже для типов резервируя слова "мэппинг", "трансляция", "перевод", "трансформация", "T-shirt" Алан Кея, и т.д.).

Информатика, как я её определяю, кстати, очень похожа на "семиотику" в её наиболее широком толковании (т.е. включая algebraic semiotics, computational semiotics -- и далее большие куски лингвистики, ибо "язык -- это семиотический код" -- http://en.wikipedia.org/wiki/Code_%28semiotics%29, а также computer science, ибо это всё тоже про то же самое).

Самые разные люди говорят об одном и том же, самыми разными словами, плодят кучу самых разных наук, и потом удивляются похожести результатов, выраженных в самых разных вариантах изложения. Алгебраическая семиотика, лингвистика, теория игр (в её развороте к семантике), когнитивная семантика и даже теория категорий -- это всё про одно и то же, чуть-чуть с разных боков. Пройдёт лет десять, и разбираться со всем этим наваянным интеллектуальным богатством посадят сами компьютеры: обеспечивать морфизмы из когнитивной лингвистики в computer science, из семиотики в когнитивную семантику -- и так далее по всему списку. Можно задумываться, что из этого великолепия пойдёт как онтологическая/логическая основа (та же теория категорий, или game semantics в подходах типа http://sober-space.livejournal.com/41260.html), всё одно лет десять придётся ждать. А пока -- оставь надежду, всяк сюда входящий не-математик...
87 comments|post comment

navigation
[ viewing | July 19th, 2012 ]
[ go | previous day|next day ]