Автоопределение выражений языка(истина/ложь)

Вопросы баз знаний, надсистем и искусственных интеллектов

Модератор: al_mt

Ответить
Аватара пользователя
wus777
Сообщения: 3945
Зарегистрирован: 29 апр 2010 20:09
Откуда: Ej

Автоопределение выражений языка(истина/ложь)

Сообщение wus777 » 20 сен 2011 09:33

Пишет Нет (reincarnat)
@ 2011-09-20 09:38:00

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

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

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

Чибрикин Илья
Сообщения: 11061
Зарегистрирован: 14 апр 2010 08:36

Re: Автоопределение выражений языка(истина/ложь)

Сообщение Чибрикин Илья » 20 сен 2011 11:50

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

Чибрикин Илья
Сообщения: 11061
Зарегистрирован: 14 апр 2010 08:36

Re: Автоопределение выражений языка(истина/ложь)

Сообщение Чибрикин Илья » 20 сен 2011 11:51

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

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

Re: Автоопределение выражений языка(истина/ложь)

Сообщение pope » 20 сен 2011 17:33

Подробности см. Дж. Оруэлла...

Чибрикин Илья
Сообщения: 11061
Зарегистрирован: 14 апр 2010 08:36

Re: Автоопределение выражений языка(истина/ложь)

Сообщение Чибрикин Илья » 20 сен 2011 17:46

Не-а, чисто техническая задача, супер хайтек - разработка крупных программных систем, которые делают ровно то, что надо.

Аватара пользователя
al_mt
Сообщения: 11327
Зарегистрирован: 19 апр 2010 10:30
Откуда: Таганрог

Re: Автоопределение выражений языка(истина/ложь)

Сообщение al_mt » 20 сен 2011 18:14

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

Чибрикин Илья
Сообщения: 11061
Зарегистрирован: 14 апр 2010 08:36

Re: Автоопределение выражений языка(истина/ложь)

Сообщение Чибрикин Илья » 20 сен 2011 18:34

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

Теплов

Re: Автоопределение выражений языка(истина/ложь)

Сообщение Теплов » 20 сен 2011 21:05

Однозначность=отказ от символов (в пользу "знаков")=полное Г.
Помимо проблем, связанных с функционалом "символов" - "знак" требует "расшифровки" - приземления к конретному контексту - т.е. два потока - "знак"+указание на "контекст" - требует "библиотеки" контекстов.

Аватара пользователя
ko4evnik
Сообщения: 13360
Зарегистрирован: 11 апр 2010 16:25

Re: Автоопределение выражений языка(истина/ложь)

Сообщение ko4evnik » 20 сен 2011 21:52

wus777 писал(а):Пишет Нет (reincarnat)
Рабдыбр
Обозначилась проблема "языка межсистемного общения". Грубо говоря, языка на котором очень трудно сознательно врать.
...
Я, собственно, не первый этим озаботился, но эту проблему надо решать и решать в первую очередь. Все остальное вторично.


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

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

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

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

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

Аватара пользователя
ko4evnik
Сообщения: 13360
Зарегистрирован: 11 апр 2010 16:25

Re: Автоопределение выражений языка(истина/ложь)

Сообщение ko4evnik » 20 сен 2011 22:00

Чибрикин Илья писал(а):Есть какие-то наработки в области программирования, я о них слышал краем уха.
Типа языка программирования, который одновременно является доказательством того, что программа делат ровно то, что требуется.
http://ru.wikipedia.org/wiki/Haskell
http://en.wikipedia.org/wiki/Agda_(theorem_prover)

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

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

Аватара пользователя
ko4evnik
Сообщения: 13360
Зарегистрирован: 11 апр 2010 16:25

Re: Автоопределение выражений языка(истина/ложь)

Сообщение ko4evnik » 20 сен 2011 22:08

impetus писал(а):как будет на этом языке 'конфета "раковые шейки" '?
как вариант:
Вложения
sheika.PNG
sheika.PNG (34.56 КБ) 11448 просмотров

polartoad
Сообщения: 2374
Зарегистрирован: 19 апр 2010 20:14

Re: Автоопределение выражений языка(истина/ложь)

Сообщение polartoad » 20 сен 2011 23:35

impetus писал(а):ок, мне просто название понравилось - пришёл же кому-то в голову такой оксюморон
Спецоперация по инициации.

Чибрикин Илья
Сообщения: 11061
Зарегистрирован: 14 апр 2010 08:36

Re: Автоопределение выражений языка(истина/ложь)

Сообщение Чибрикин Илья » 21 сен 2011 08:29

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

Kent
Сообщения: 150
Зарегистрирован: 14 апр 2010 09:15
Откуда: из деревни

Re: Автоопределение выражений языка(истина/ложь)

Сообщение Kent » 21 сен 2011 09:56

Теплов писал(а):Однозначность=отказ от символов (в пользу "знаков")=полное Г.
Помимо проблем, связанных с функционалом "символов" - "знак" требует "расшифровки" - приземления к конретному контексту - т.е. два потока - "знак"+указание на "контекст" - требует "библиотеки" контекстов.
Угу, причем у создателя текста и потребителя текста библитеки должны быть согласованы (по крайней мере, если не совпадать). Не то чтобы, перебор тождеств получится, но новизны уже не появится.

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

Kent
Сообщения: 150
Зарегистрирован: 14 апр 2010 09:15
Откуда: из деревни

Re: Автоопределение выражений языка(истина/ложь)

Сообщение Kent » 21 сен 2011 10:53

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

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

Чибрикин Илья
Сообщения: 11061
Зарегистрирован: 14 апр 2010 08:36

Re: Автоопределение выражений языка(истина/ложь)

Сообщение Чибрикин Илья » 21 сен 2011 11:17

По сравнению с тем, как самозаблуждаются геологи, астрономы отдыхают.

Ответить

Вернуться в «Золотая рыбка»