Поиск докладчиков на FProg 2012-08

17 views
Skip to first unread message

Andrey Vlasovskikh

unread,
Aug 2, 2012, 7:53:28 AM8/2/12
to spb...@googlegroups.com
Всем привет!

Мы ищем докладчиков для выступления на встрече Fprog 2012-08.
Подробности здесь: http://lanyrd.com/2012/fprog-08/calls/qhhx/

--
С уважением,
Андрей Власовских
Web: http://pirx.ru/
IM: xmpp:andrey.vl...@gmail.com

Yakov Zaytsev

unread,
Aug 2, 2012, 12:27:10 PM8/2/12
to spb...@googlegroups.com
ну вот выше я писал что мог бы подогнать доклад про ILP, если народу интересно

2012/8/2 Andrey Vlasovskikh <andrey.vl...@gmail.com>:

> --
> Отправить сообщение в SPb HUG: spb...@googlegroups.com
> Отменить подписку: spbhug-un...@googlegroups.com
> Страница группы: http://groups.google.com/group/spbhug?hl=ru

Incubos

unread,
Aug 2, 2012, 12:29:56 PM8/2/12
to spb...@googlegroups.com, Andrey Vlasovskikh
Здравствуйте!

Пришлите, пожалуйста, формулировку темы и аннотацию доклада на абзац.
--
Best regards,
Incubos

Yakov Zaytsev

unread,
Aug 2, 2012, 1:12:56 PM8/2/12
to spb...@googlegroups.com, Andrey Vlasovskikh
тема будет

First steps in Indictive Logic Programming

(я расскажу про то с чем сам смог разобратся на каком-нибудь простом примере)

одним абзацем про что же такое ILP (текст надерган из книжки
"Foundations of Inductive Logic Programming")

Inductive Logic Programming is the research area covering the
intersection of Machine Learning and Logic Programming.

Inductive Logic Programming (ILP) has been concerned with
systems and general methods that are given examples and produce
programs.

In fact, an ILP system may receive various kinds of information
about the desired program as input, but this input always includes
examples of the program's inpnt/output behavior. The output that
is produced is a logic program that behaves as expected on the
given examples. Typically the obtained programs will then be
used on new examples not given to the ILP system during the learning
phase.

For a computer scientist it is just a form of program synthesis
from examples.

2012/8/2 Incubos <sob...@gmail.com>:

Reply all
Reply to author
Forward
0 new messages