Форум ИГШ

Старое место
Текущее время: 20 ноя 2018 20:43

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 19 ] 
Автор Сообщение
СообщениеДобавлено: 20 сен 2011 09:33 
Не в сети
Аватара пользователя

Зарегистрирован: 29 апр 2010 20:09
Сообщения: 3945
Откуда: Ej
Пишет Нет (reincarnat)
@ 2011-09-20 09:38:00

http://reincarnat.livejournal.com/1092114.html
Цитата:
Рабдыбр
Обозначилась проблема "языка межсистемного общения". Грубо говоря, языка на котором очень трудно сознательно врать.
Язык при этом понимается как совокупность аксиом, определений и моделей объектов и процессов, описания структурных факторов и связей.

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

В идеале хотелось бы, чтобы понятия, такие как "православное большинство", "эффективный собственник" или "экстремизм" сразу бы воспринимались, как несуществующие объекты.
Я, собственно, не первый этим озаботился, но эту проблему надо решать и решать в первую очередь. Все остальное вторично.

_________________
"- Не шалю, никого не трогаю, починяю примус..."


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 11:50 
Не в сети

Зарегистрирован: 14 апр 2010 08:36
Сообщения: 10539
Есть какие-то наработки в области программирования, я о них слышал краем уха.
Типа языка программирования, который одновременно является доказательством того, что программа делат ровно то, что требуется.


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 11:51 
Не в сети

Зарегистрирован: 14 апр 2010 08:36
Сообщения: 10539
Применительно к теме это будет что-то типа "эффективный собственик(история успеха в текстовой форме, показатель прибыльности, средняя зарплата, отношение к средней зарплате рабочего)


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 17:33 
Не в сети

Зарегистрирован: 18 апр 2010 14:25
Сообщения: 1803
Откуда: РПЦ
Подробности см. Дж. Оруэлла...


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 17:46 
Не в сети

Зарегистрирован: 14 апр 2010 08:36
Сообщения: 10539
Не-а, чисто техническая задача, супер хайтек - разработка крупных программных систем, которые делают ровно то, что надо.


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 18:14 
Не в сети
Аватара пользователя

Зарегистрирован: 19 апр 2010 10:30
Сообщения: 10795
Откуда: Таганрог
хых...
это не является проблемой ни в малейшей степени, если заказчику понятно ЧТО ЕМУ НАДО
Вы такое хоть раз в жизни видели?

_________________
Спасите мышонка Гарольда! http://eyewire.org


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 18:34 
Не в сети

Зарегистрирован: 14 апр 2010 08:36
Сообщения: 10539
Слышал.
Просто это имеет отношение к области вычислительной математики, когда чрезвычайно трудно понять достоверность получаемого результата. Ибо программа может считать не падать, но при этом врать. Причем не везде, скажем. У нас была лекция на вечернем за это дело.


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 21:05 
Однозначность=отказ от символов (в пользу "знаков")=полное Г.
Помимо проблем, связанных с функционалом "символов" - "знак" требует "расшифровки" - приземления к конретному контексту - т.е. два потока - "знак"+указание на "контекст" - требует "библиотеки" контекстов.


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
  
 
СообщениеДобавлено: 20 сен 2011 21:52 
Не в сети
Аватара пользователя

Зарегистрирован: 11 апр 2010 16:25
Сообщения: 12796
wus777 писал(а):
[b]Пишет Нет (reincarnat)
Цитата:
Рабдыбр
Обозначилась проблема "языка межсистемного общения". Грубо говоря, языка на котором очень трудно сознательно врать.
...
Я, собственно, не первый этим озаботился, но эту проблему надо решать и решать в первую очередь. Все остальное вторично.


ну, если человеку не жаль угробить на это жысть, то пусть работает :)

правда, решать задачи логического вывода - это для начала уж совсем неподъемно.

пусть для начала хотя бы повычисляет "семантические расстояния" между понятиями - чем, собственно, отличается "православное большинство" от "эффективного собственника"?

вернее - для начала - хотя бы даст ему определение.
вот хотя бы в терминах такой картинки:
Изображение

З.Ы. что "он не первый" это верно подмечено... эму правда невдомек, насколько он не первый... :)))


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 22:00 
Не в сети
Аватара пользователя

Зарегистрирован: 11 апр 2010 16:25
Сообщения: 12796
Чибрикин Илья писал(а):
Есть какие-то наработки в области программирования, я о них слышал краем уха.
Типа языка программирования, который одновременно является доказательством того, что программа делат ровно то, что требуется.


http://ru.wikipedia.org/wiki/Haskell
http://en.wikipedia.org/wiki/Agda_(theorem_prover)

только все эти фокусы доступны для вещей, описанных в терминах http://ru.wikipedia.org/wiki/Абстрактная_алгебра.

Естественный язык до счетной алгебры никто еще не свел...


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 22:08 
Не в сети
Аватара пользователя

Зарегистрирован: 11 апр 2010 16:25
Сообщения: 12796
impetus писал(а):
как будет на этом языке 'конфета "раковые шейки" '?


как вариант:


Вложения:
sheika.PNG
sheika.PNG [ 34.56 КБ | Просмотров: 9768 ]
Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 20 сен 2011 23:35 
Не в сети

Зарегистрирован: 19 апр 2010 20:14
Сообщения: 2374
impetus писал(а):
ок, мне просто название понравилось - пришёл же кому-то в голову такой оксюморон

Спецоперация по инициации.


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 21 сен 2011 08:29 
Не в сети

Зарегистрирован: 14 апр 2010 08:36
Сообщения: 10539
В общем, насколько я понимаю сабж возможна некая валидация текста (речи) на предмет непротиворечивости. Далее можно предположить, что информация в тексте, прошедшем валидацию имеет большую вероятность быть достоверной чем в тексте, валидацию не прошедшем.
А вообще валидация текстов и иных данных в информационных системах Больших Лавок - отдельная и очень болезненная проблема.


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 21 сен 2011 09:56 
Не в сети

Зарегистрирован: 14 апр 2010 09:15
Сообщения: 150
Откуда: из деревни
Теплов писал(а):
Однозначность=отказ от символов (в пользу "знаков")=полное Г.
Помимо проблем, связанных с функционалом "символов" - "знак" требует "расшифровки" - приземления к конретному контексту - т.е. два потока - "знак"+указание на "контекст" - требует "библиотеки" контекстов.

Угу, причем у создателя текста и потребителя текста библитеки должны быть согласованы (по крайней мере, если не совпадать). Не то чтобы, перебор тождеств получится, но новизны уже не появится.

Ложь, как осознанное искажение реальности с целью получить преимущество перед оппонентом всегда будет в языке. Если КМ не согласована, то изменяющий (расширяющий) ее получает преимущество перед тем, у кого КМ неизменна.

_________________
"...из моря информации в котором мы тонем единственный выход это саморазрушение..."


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 21 сен 2011 10:53 
Не в сети

Зарегистрирован: 14 апр 2010 09:15
Сообщения: 150
Откуда: из деревни
Я бы назвал "доверием" - проверить не могу, но опасности не ожидаю - принимаю как истину.
А вообще-то да,
Цитата:
сигнал "запомненый" становится информацией
- чем чаще повторятся - тем истиннее кажется - статистика, когда данных недостаточно...
А астрономы - так, "самозаблуждаются"... Обманывают сознательно, а тут - недостаток данных - либо статистика, либо на веру...

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

_________________
"...из моря информации в котором мы тонем единственный выход это саморазрушение..."


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 21 сен 2011 11:17 
Не в сети

Зарегистрирован: 14 апр 2010 08:36
Сообщения: 10539
По сравнению с тем, как самозаблуждаются геологи, астрономы отдыхают.


Share on FacebookShare on TwitterShare on RedditShare on VKShare on Google+
Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 19 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 4


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

Topic attributes:

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB