1
Мне было интересно, действительно ли вычислительная семантика используется в любой реальной системе? (Простые примеры here и here). Я хотел бы посмотреть, как работает реальная система.Кто-нибудь знает о каких-либо реальных системах, использующих вычислительную семантику с исчислением лямбда?
Похоже, есть куча вопросов, с использованием фактически вычислительная семантики в любой реальной мировой системе:
- Это кажется просто маркируя предложения с частичным из речи тегов ошибок.
- Но вам также нужно надежное дерево разбора, которое подвержено ошибкам, и для одного предложения может быть много допустимых деревьев.
- Поиск того, что местоимения относятся к объектам, подверженным ошибкам.
- Неопределенность слов также является еще одним источником ошибок, и несколько значений могут быть действительными в том же контексте.
- Любая контекстно-свободная грамматика английского языка, которую я могу найти, кажется неполной.
Наконец, после того, как все эти источники ошибок уклонились, мы можем, наконец, преобразовать предложение в FOL с помощью семантики вычислений!
Кроме того, я не могу понять, как бороться с предлогами в Семантике вычислений.
Действительно ли это действительно академическое упражнение или вычислительная семантика действительно полезны?
Уотсон, похоже, использует подход к раковине для кухни (трубопровод из 100 различных методов ИК/НЛП). Для машинного перевода доминируют статистические и сквозные методы глубокого обучения. Граммары похожи на другую основанную на правилах систему, которая, как правило, не выполнялась в ИИ. Я думаю, что вычислительная семантика - это научное упражнение, которое может быть полезно в один прекрасный день, когда мы сможем успешно сделать символическое обоснование. – anthonybell