Телеграмм чат группы typeslife страница 666

Size: a a a

Типы в языках программирования, моделирования, представления знаний и жизни

505 membersпожаловаться на группу

2021 December 19

Pavel Zachesa in Типы в языках программирования, моделирования, представления знаний и жизни

😁

источник

14:31пожаловаться #1

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

LOL, это феерично! Хотел бы я посмотреть на алгебру для такой логики! Ставлю на то, что она противоречива. 😃

Я не издеваюсь, я рад, что Вы имеете храбрость и упорство этим заниматься, и желаю успехов. Но с моделями и противоречивлстью лучше бы разобраться на старте, потому что дальше на таком фундаменте у Вас будут очень весёлые результаты.

источник

14:33пожаловаться #2

Kir in Типы в языках программирования, моделирования, представления знаний и жизни

... вроде возможности доказать любое ложное утверждение

источник

14:34пожаловаться #3

Nikita Repeev in Типы в языках программирования, моделирования, представления знаний и жизни

А вы можете решить какую нибудь простую задачу, уровня классификации картинок, не обращаясь ни к каким авторитетным источникам? Перед тем как браться за великое вроде стоит опробовать что-то попроще, интересно опробовали ли вы.

источник

14:34пожаловаться #4

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Похоже, Вы изобрели Blackboard systems. Неплохо.

источник

14:35пожаловаться #5

Nikita Repeev in Типы в языках программирования, моделирования, представления знаний и жизни

Я тоже не издеваюсь и считаю что пусть растут все цветы.

источник

14:35пожаловаться #6

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Смотрите на вещи позитивно: можно доказать любое истинное. Вообще любое! 😃

источник

14:36пожаловаться #7

Pavel Zachesa in Типы в языках программирования, моделирования, представления знаний и жизни

Разного рода логические эксперименты проводил конечно же. Но меня больше интересует именно психология с философией, в глобальном плане. Мне трудно сосредоточится на отдельных деталях. Но понимаю, что они важны конечно же...

источник

14:37пожаловаться #8

Pavel Zachesa in Типы в языках программирования, моделирования, представления знаний и жизни

Стакан наполовину пуст или полон?

источник

14:37пожаловаться #9

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Что-то маловато вариантов для энтузиаста многозначных логик, нет? 😉

источник

14:39пожаловаться #10

Nikita Repeev in Типы в языках программирования, моделирования, представления знаний и жизни

Я время от времени пытаюсь чекать как там с описанием предполных классов в трёхзначной логике. Кажется никто так и не хочет этого делать.

источник

14:39пожаловаться #11

Pavel Zachesa in Типы в языках программирования, моделирования, представления знаний и жизни

Так мне полстакана вполне достаточно. Другое дело, когда не знаешь, что там в стакане то))

источник

14:40пожаловаться #12

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Позвольте отрезюмировать. Философию Вы учить не можете, потому что "иностранцы" и "идеология", математической стороной Вашей же системы Вы тоже не занимаетесь (модели? теоремы?). Главное, чем Вы занимаетесь — фантазированием про ИИ на основе Вашей логики.

Подозреваю, про системы AGI Вы тоже ничего не читали? NAL/NARS, Cyc, OpenCog?

источник

14:41пожаловаться #13

Kir in Типы в языках программирования, моделирования, представления знаний и жизни

Я прямо сейчас исследую фазовое пространство чашки с кофе, к слову

источник

14:47пожаловаться #14

Pavel Zachesa in Типы в языках программирования, моделирования, представления знаний и жизни

Вопрос не в том, что я могу читать и учить, или нет. Я там ничего нового для себя не нахожу. С 2015 примерно начал более менее плотно заниматься СИМ. Это если не брать во внимание, что впервые задумываться о проблемах ИИ серьёзно начал вместе с разработкой игрового проекта в 2007

источник

14:47пожаловаться #15

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Чашка с готовым кофе — это не интересно! Лучше исследуйте фазовое пространство какого-нибудь метода заваривания кофе. 😁

источник

14:49пожаловаться #16

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Вы так и не привели список того, что Вы всё-таки осилили прочитать в связи с проектом. 😉

источник

14:49пожаловаться #17

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

В частности, работы по многозначным логикам, нечёткой логике, вероятностной логике.

источник

14:50пожаловаться #18

. in Типы в языках программирования, моделирования, представления знаний и жизни

как стать айтишником?

источник

14:50пожаловаться #19

Pavel Zachesa in Типы в языках программирования, моделирования, представления знаний и жизни

Я всего не упомню, что читал за эти 14 лет. Все эти опенсорсные проекты, что вы перечислили, решают отдельные задачи. СИИ мне и не нужен. Я вполне скромно хочу создания простой системы персонажей....

источник

14:54пожаловаться #20