Комментарии: Pronto – прототип системы вероятностного логического вывода в OWL

Автор: PavelK

PavelK — Thu, 04 Jun 2009 08:38:37 +0000

Лично я не рассматривал, однако многие рассматривали. Расширений DL для default reasoning достаточно немало (default description logic). Даже у Pellet, насколько я помню, была версия, поддерживающая т.н. «K-operator» для подобных целей. У C&P в блогах наверняка остались о ней записи.
Если же Вы имеете в виду моделирование подобного средствами *обычной* монотонной DL, то тут сразу куча проблем. Во-первых, количество классов начнет расти экспоненциально. Птицы бывают не только летающие и не летающие, а еще и с крыльями и без крыльев (кстати, знаете таких?) и т.д. Плюс я не очень понял как планируется моделировать «летит > 90″. Cardinality restrictions для подобного размера чисел работают мягко говоря не очень быстро.

Автор: Shcherbak Sergey

Shcherbak Sergey — Wed, 03 Jun 2009 18:09:29 +0000

мое дело маленькое в данном случае – тех. поддержка – а благодарности все перенаправляю автору Павлу Клинову, создателю Пронто ))
Кстати, для заметки – Авторы статьи указываются на SHCHERBAK.NET в виде рубрики в начале заметки.

Автор: roshchin

roshchin — Wed, 03 Jun 2009 07:46:58 +0000

Сергей, спасибо большое за статью. Вы не рассматривали варианты подобного описания и последующего вывода, но только без вероятностей?

что я имею ввиду: исключения про пингвина могут быть описаны с помощью дополнительных классов: птицы_летающие и птицы_нелетающие. а вероятностные значения можно записать с помощью свойств: птица1 = летит 80. самолет1 = летит 100.
и соответственно летающий_объект = летит (> 90).
т.е. таким образом мы можем выражать в том числе и вероятностные вещи на достаточно примитвном уровне.

проблема в том, что пока новый Пронто не вышел, работать с тем же p-owl достаточно нелегко в проектах, где надо менять модели на ходу…