Page 1 of 1

DARPA Agent Markup Language ?

Posted: Mon Dec 19, 2005 11:35 am
by Иван FXS
Кто-нить понимает, что вот это:
http://www.daml.org/
- такое?

И, в частности, вот это:
http://www.daml.org/tools/
?

Posted: Wed Aug 23, 2006 9:52 am
by Бугульдей
Иван -- daml -- это то, в чём можно, например, записать знания CYC. Есть также похожие языки KIF и CYCML. (Последний анонсировался Cycorpами, но без описаний). Т.е. daml -- средство задания онтологий. Другими его применениями не интересовался.

Posted: Wed Aug 23, 2006 12:31 pm
by Иван FXS
Спасибо за разъяснение.

Кажется Вы писали, что то ли работали в CYC, то ли работали с CYC ... не могли бы Вы разъяснить, что и как ЭТО было?

Posted: Wed Aug 23, 2006 1:01 pm
by Бугульдей
нет, не "в".

с опенcyc я возился, версий 0.7 и 0.9. довольно подробно изучил относящееся к ЕЯ наполнение cyc. С кириллицей, скажу, там полные траблы -- желающим работать с кириллицей придётся переводить её в ASCII (латиницу), чтоб работать с cyc.

с сайковской логикой совсем мало возился.

что конкретно про cyc Вас интересует? какие вещи?

Posted: Wed Aug 23, 2006 1:06 pm
by Бугульдей
кстати, ещё двух маньяков cyc по прозвищам dmiles и kinoc можно часто встретить на каналах #opencyc, #logicmoo irc-сети freenode. этот kinoc, в частности, известен скрещиванием aiml и cyc -- cycorp его статейку про это публиковало -- из aiml использовать cyc-запросы и ассертить/ретрактить cyc-предикаты. dmiles к виртуальной реальности пытался cyc прикрутить, + абстрактные игровые (MUD/MOO) миры эмулировать пытался cyc-ом - типа мир задается cyc-теориями. довольно общительный товарищ. ничего в результате не вышло, бо за все берется и ничего не заканчивает. но полезного про сус легко расскажет.

Posted: Wed Aug 23, 2006 1:12 pm
by Бугульдей
в ветке "развлеч. с ЕЯ" есть скриншоты моей проги, там видно cyc-константы, соотв. словам ЕЯ. вот -- http://forum.aicommunity.org/viewtopic. ... 8348#28348

ну и некие правила фильтрации я на cyc-е же писал -- фреймы куда поддеревья дерева синтакс. разбора вкладывались чтоб лишние смыслы слов выкинуть.

собсно на скриншотах примерно видно на кой лад я в основном cyc юзал.

Posted: Wed Aug 23, 2006 1:21 pm
by Бугульдей
собсно, заставить cyc сделать что-то умное-нетривиальное, какое-то суждение вынести по real world проблемам, в т.ч. простейшим, практически НЕВОЗМОЖНО, ибо его знания обо всём чрезвычайно обрывочны и фрагментарны. И дело вовсе не в том, что это ОПЕН cyc. Я очень и очень подозреваю, что характер знаний в полном сайке и в рисёч сайке совершенно аналогичен.

в частности, в моей задаче автопрограммера мне пришлось бы самостоятельно теоретизировать о том, что есть такое программирование и какова структура предм. области. Т.е. пришлось бы вколачивать 99.999% программистской онтологии самостоятельно, ручками. Т.е. 0.0001 процента уже предоставляет cyc :))))))))))

Posted: Wed Aug 23, 2006 4:13 pm
by Иван FXS
"... НЕВОЗМОЖНО, ибо его знания обо всём чрезвычайно обрывочны и фрагментарны ..."
- хм, это, вроде, не ПРОБЛЕМА, а ЗАДАЧА: наполнить его заниями - вот они и перестанут быть "чрезвычайно обрывочны и фрагментарны"!

"Т.е. пришлось бы вколачивать 99.999% программистской онтологии самостоятельно, ручками."
- я так понимаю, КТО-ТО должен "вколотить ручками", или там есть заявка на то, что программа САМА будет знания откуда-то импортировать? Например, и Интернета?

Если Вы не хотите вколачивать ВСЕ сами - скооперируйтесь с кем-нибудь. Там предусмотрены какие-то возможности импорта в МОЮ базу - знаний из базы Васи-Вовы-Пети?

Posted: Thu Aug 24, 2006 2:10 am
by Бугульдей
ЗАДАЧА -- Эту задачу ставил себе CYcorp, и решил её неудовлетворительно.

заявка, скооперируйтесь, предусмотрены -- У меня в проге нет такой заявки, никакого импорта не предусмотрено. И формулировать структуру предметной области вручную мне неинтересно -- буде я один этим буду заниматься или в кооперации -- неинтересно в любом случае. Хочется поискать автоматические методы наполнения онтологий.

Если сильно кому-то хочется, то Васину/Петину онтологию можно задать в CYC, и экспортировать/импортировать посредством языков daml/kif/cycml, благо какие-то тулзы импорта/экспорта таковых языков в CYC есть.

Posted: Thu Aug 24, 2006 6:55 am
by Иван FXS
Бугульдей wrote:Хочется поискать автоматические методы наполнения онтологий.
- онтологии и семантика - это, в моем понимании, почти одно и то же. Так вот, ассоциативная семантика - это есть ... дорога к ... автоматическому наполнению онтологий.

Posted: Thu Aug 24, 2006 7:58 am
by Бугульдей
семантика -- слово слабоопределённое.

онтология в рамках проекта cyc -- нечто совершенно определённое.

дорога та длинна.

Posted: Thu Aug 24, 2006 10:51 am
by Иван FXS
"семантика" - намного более сильное слово, чем "онтология в рамках проекта cyc".

Кстати, "семантика в рамках проекта SemantiCat" - тоже "нечто совершенно определённое". ;-)

Динна, наверное ... важно, что это - дорога, а не "завалинка". ;-)

Posted: Thu Aug 24, 2006 4:07 pm
by Бугульдей
если хотите, можете почитать
http://www.aiai.ed.ac.uk/project/akt/wo ... fromNL.pdf

это обзор современных исследований по высасыванию знаний из корпусов ЕЯ -- т.е. обзор того, чем Вы пытаетесь заниматься

Posted: Fri Aug 25, 2006 8:07 am
by Иван FXS
Knowledge Acquisition (KA) is the process of acquiring (either directly from a human or from some other source) that information, and its formalised structure, that will allow some particular task to be performed by a computer system. In AI, structured information of this sort is commonly termed ‘knowledge’, and it is in this sense that the term is used throughout this document.
(Приобретение Знаний (KA) - процесс приобретения (или непосредственно от человека или из некоторого другого источника) такой информации, и ее формализованной структуры, которая позволит некоторой специфической задаче быть выполненной компьютерной системой. В Искусственном интеллекте структурированную информацию этого вида обычно называют 'знанием', и именно в этом смысле этот термин используется всюду в этом документе.)


- на самом деле я, конечно, занимаюсь не этим. То есть, я извлекаю … то, что я извлекаю … не для того, конечно же, чтобы «специфическая задача была выполнена компьютерной системой».
_________________

Вообще, что такое «знания» … кто бы знал!
(Определение, данное в этом абзаце, - уж точно не может быть признано универсальным … )
Вот, например, «карта языка» - это «знание»?

То, что я делаю, - это «карта языка». Как употреблять карту – любую карту – это вопрос отдельный … от самой карты.