?

Log in

No account? Create an account
о верификации - Поклонник деепричастий [entries|archive|friends|userinfo]
Anatoly Vorobey

[ website | Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Links
[Links:| English-language weblog ]

о верификации [окт. 27, 2015|05:40 pm]
Anatoly Vorobey
[Tags|]

Сегодня вечером (во ВТОРНИК, 19:00) в Тель-Авиве будет очередная встреча (Facebook event) участников форума LessWrong.

Сегодня Йоав Холландер прочитает лекцию о верификации аппаратного обеспечения (hardware verification) и о том, имеют ли современные парадигмы верификации применение в гипотетической будущей верификации программ искусственного интеллекта.
СсылкаОтветить

Comments:
From: (Anonymous)
2015-10-27 04:11 pm

Жаль что не могу послушать.

В ИИ верификации относительно мало потребуется, поскольку он конструктивно несложен. Сложны его теоретические основы, а не реализация.
(Ответить) (Thread)
[User Picture]From: alexcohn
2015-10-28 04:24 pm

Re: Жаль что не могу послушать.

Йоав таки утверждал, что очень немало требуется, причем верифицируемы должны быть не только модули (т.е. "реализация"), но и концепция.
(Ответить) (Parent) (Thread)
From: (Anonymous)
2015-10-29 08:25 am

Вот концепция это да.

Её даже объяснить другому человеку трудно, буквально единицы въезжают.
(Ответить) (Parent) (Thread)