Лейбниц жил до Бертрана Рассела, который обратил внимание, что с логикой не так всё просто...
АШ: плюс Гильберт, Гёдель, Тарский, Мальцев, Марков... рассказали нам столько мто стало возможно подключить компьютеры. Я лично за теорию моделей Тарского-Мальцева.
19:02:11 От Сергей Терехов кому Все:
Можно ли корректно разобрать КРЯ автоматически, если ситема не понимает смысла разбираемого?
АШ:в большинстве случаев синтаксический анализ в КРЯ (построение дерева подчинения) не потребует семантической инфы о слова.
19:03:49 От Сергей Терехов кому Все:
Речь о разборе цепочек из связанных предложений.
АШ: да.
19:05:36 От Alexandr Petroff кому Все:
контролируются утверждения или знания?
АШ: знания.
19:07:43 От Сергей Терехов кому Все:
Антон, спасибо, вы точнее спросили, чем я.
19:07:54 От Vladimir Smolin кому Все:
Более конкретный пример: как КРЯ трактует двусмысленные утверждения? Например чиновники встречаются с населением. Население наивно думает, что их хотят услышать. А чиновники приходят вещать населению свою позицию. Поэтому ответы чиновников обычно не соответствуют вопросам населения...
АШ: вы описали не двусмысленность, а нюансы ситуации, которые относятся к знанию предметной области. в "базе знаний" так и будет записано: "Население думает, что их хотят услышать." "чиновники приходят вещать населению свою позицию." "ответы чиновников обычно не соответствуют вопросам населения"
19:09:57 От Alexandr Petroff кому Все:
если говорить о знаниях или "сером", "дырчатом" то вне процесса понять что то невозможно в сообщении
АШ: да, о чём идёт речь, т.е. контекст... содержится в "базе знаний" и предложение будучи грамматически разобрано будет с "базой" сверяться семантически. задача КРЯ обеспечить грамматический разбор, чтобы мы имели структуру а не цепочку слов...
19:10:22 От Ильгизар Талипов кому Все:
Насколько создание КРЯ объективно сложнее чем для английского?
АШ: объективно не знаю.
19:12:01 От Александр Соколов кому Все:
Какое правила позволит задать например такое, слово организация в одном предложении это будет глагол, а в другом это будет существительное?
АШ:правила способа употребления, например, когда в языке программирования у нас есть идентификатор функции и в одном месте мы описываем её свойства (существительное), а в другом его применяем (глагол).
19:15:13 От Сергей Терехов кому Все:
"Имение быть проектом требует иметь именение"
АШ: сначала лексический-анализатор затребует изменить "именение" на допустим "изменение". далее уверен что синтаксический анализатор построит дерево подчинения, а вот семантический скажет что не понял (также как и я:-)
19:15:31 От Сергей Терехов кому Все:
"Имение быть ПОЭТОМ требует иметь именение"
АШ: это предложение скорее всего не пройдёт лексический анализ из-за слова "ПОЭТОМ"