SM
Меня некоторые из ровесников до сих пор так называют) Но довольно редко.
Size: a a a
2021 October 08
RS
А вообще, возможно, что форма прозвищ проявилась к 90-м с ростом криминализации. В словаре что-то не видно форм имени с окончанием
-ыйВЧ
А где же "Фефюленька" из Хармса?
VS
Добрый вечер! Кто интересуется темой логического программирования?
Подскажите, пожалуйста, как на Ваш взгляд, насколько реально на практике можно использовать PyKE, Kanren+SymPy для логического вывода в реальных проектах? Может быть посоветуете инструмент?
Подскажите, пожалуйста, как на Ваш взгляд, насколько реально на практике можно использовать PyKE, Kanren+SymPy для логического вывода в реальных проектах? Может быть посоветуете инструмент?
SS
Prolog не рассматриваете?
VS
была такая мысль. посмотрю более внимательно
думал, что Prolog больше для учебных целей) буду копаться. спасибо за совет
основной код на python, поэтому искал инструмент на python
думал, что Prolog больше для учебных целей) буду копаться. спасибо за совет
основной код на python, поэтому искал инструмент на python
SS
Попробуйте почитать про Datalog. Это тоже клаузы хорна, только вывод не сверху вниз, как у пролога, а снизу вверх. Ну и это не логика предикатов первого порядка. Для многих задач этого достаточно.
VS
спасибо, вернусь
SS
Если зададите свой вопрос в чате по компиляторам (там разбирают формальные языки), то Вам набросают безумное к-во разных языков, про которые Вы, скорее всего, никогда не слышали. Там много фанатов этого дела.
DD
Всем привет!
А кто знает уже обученные модели NLI для русского языка?
Пока что мне указали на две мультиязычные с поддержкой русского:
- https://huggingface.co/vicgalle/xlm-roberta-large-xnli-anli
- https://huggingface.co/facebook/bart-large-mnli
Может быть, вам известны ещё какие-то?
А кто знает уже обученные модели NLI для русского языка?
Пока что мне указали на две мультиязычные с поддержкой русского:
- https://huggingface.co/vicgalle/xlm-roberta-large-xnli-anli
- https://huggingface.co/facebook/bart-large-mnli
Может быть, вам известны ещё какие-то?
2021 October 09
B
🔫 @EricButler кикнут — вернуть этого пользователя можно только разбаном в настройках чата.
Проголосовавшие за кик:
@LoneGeek, @mikhailyumanov, @vantral, @tak_ty, @is_not_defined
При поддержке Золота Бородача
Проголосовавшие за кик:
@LoneGeek, @mikhailyumanov, @vantral, @tak_ty, @is_not_defined
При поддержке Золота Бородача
B
🔫 @GeraldReed кикнут — вернуть этого пользователя можно только разбаном в настройках чата.
Проголосовавшие за кик:
@LoneGeek, @vantral, @mikhailyumanov, @Deksedon, @is_not_defined, @tak_ty
При поддержке Золота Бородача
Проголосовавшие за кик:
@LoneGeek, @vantral, @mikhailyumanov, @Deksedon, @is_not_defined, @tak_ty
При поддержке Золота Бородача
AP
К kanren вернись, а то задал конкретный вопрос, а тебе советуют что-то вообще левое ;)
SS
miniKanren - это просто попытка сделать урезанный встраиваемый аналог пролога.
SS
A detailed discussion of the differences between miniKanren and Prolog can be found here.
SS
Datalog из той же серии.
AP
Это пролог урезанный по сравнению с канрен.