PZ
В программировании и моделировании (естественно) да, чаще всего используется термин модель, но оно имеет более узкое значение в моём понимании...
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 December 20
AC
Что означает "термин не подходящий", потому что Ваше понимание по определению правильное. 👍
AB
В ИИ терминология существенно неустоявшаяся. Как говорит Левенчук ) фронтир фронтира ))
AB
Пишет какой либо Деннет или Чалмерс какую-либо дребедень и пошли гулять зомби, летучие мыши, китайские комнаты и прочие аффордансы... ))
2021 December 22
PZ
Несколько раз перечитывал ваше сообщение, так и не понял, что имелось ввиду...
Если кому немного интересно всё-таки, что у меня есть по проекту СИМ, то можно подписаться на группу и пригласить ещё кого-нибудь:
https://t.me/cai_x
Если кому немного интересно всё-таки, что у меня есть по проекту СИМ, то можно подписаться на группу и пригласить ещё кого-нибудь:
https://t.me/cai_x
2021 December 24
AL
А можно поставить в чат бот shieldy? Спам прекратится.
DG
Так поставь, давно уже пора 👍🏻
AL
У меня ж прав нет. Его ведь надо админом сделать.
DG
Понял. Я думал, что ты owner чата😊
AL
Спасибо, мне очень приятно )))
AC
Не хватает прав? Это жаль. Я тогда на днях займусь.
[
Есть три совершенно случайных аккаунта. Что же их различает?
[
у одного из них точно телефон, а не десктоп!
DG
А четвёртый аккаунт не учитывает при анализе окружение😁
2021 December 26
AC
Переслано от Alexander Chichigin
Кто хотел gradual dependent types?! 😄
AC
Переслано от Trebor Huang
AL
Ну вот это всё попытки изобрести шкалу формальности.
По-хорошему нужно разбираться с псевдокодами: псевдокод очевидно более формален, чем просто естественный язык, но по сравнению с кодом он не формальней естественного языка. Вот как с этим работать, зачем людям вообще псеводокоды (в работах по AI ни одна статья без них не обходится, алгоритмы почему-то на псеводокоде дают, а не каком-нибудь языке программирования или естественном языке), можно ли управлять "уровнем псевдокодности" для реализации тех целей, для которых существуют псевдокоды — вот это было бы интересным исследованием.
Ибо даже язык с градуальными типами — это ни разу не шаг к псевдокодам, то есть это в части представления знаний незначимые отклонения от строгой типизации, примерно как из Москвы дома на разных улицах Владивостока, неразличимо близко. Это во Владивостоке они на разных улицах!
По-хорошему нужно разбираться с псевдокодами: псевдокод очевидно более формален, чем просто естественный язык, но по сравнению с кодом он не формальней естественного языка. Вот как с этим работать, зачем людям вообще псеводокоды (в работах по AI ни одна статья без них не обходится, алгоритмы почему-то на псеводокоде дают, а не каком-нибудь языке программирования или естественном языке), можно ли управлять "уровнем псевдокодности" для реализации тех целей, для которых существуют псевдокоды — вот это было бы интересным исследованием.
Ибо даже язык с градуальными типами — это ни разу не шаг к псевдокодам, то есть это в части представления знаний незначимые отклонения от строгой типизации, примерно как из Москвы дома на разных улицах Владивостока, неразличимо близко. Это во Владивостоке они на разных улицах!