Вопрос про экспертные системы

[vit_r]

На чём нынче делают экспертные системы?

То есть, пользователь отвечает на вопросы выбирая альтернативы или вводя ключевые имена, а потом ему генерируется отчёт.

Нужно что-то работающее, а не модное. Судя по онтологиям, спираль делает очередной виток, и индустрия начинает понимать, что думать должны люди, а не компьютеры.

Про Пролог понятно, но это распугает всех сразу, да и нет нормальных библиотек под новые технологии. И ещё не понятно, как хранить правила. Хотя бы где об этом спросить можно?

Очень не хочется изобретать велосипед. Особенно, если он должен взлетать вертикально и разгоняться до двух Махов.

Comments

[jdevelop.livejournal.com]

Drools, и можно фронтендом к нему jBPM, если не страшно

работает, не хипстерство, унутре неонка Rete-tree (http://en.wikipedia.org/wiki/Rete_algorithm)

[raydac.livejournal.com]

экспертные системы делают на базе знаний, а так описывай хоть батником
p.s.
большую роль играет будет ли система статическая или динамическая и самообучающаяся.. а пролог клева

[rssh.livejournal.com]

CLIPS типо стандарт http://clipsrules.sourceforge.net/index.html
Порт на JVM - JESS
В java еще есть Drools -- некошерный, рулы на XML, разве что если сильно ентерпрайзом инфицированны
Если самое-монструозного из rule-based: Maude

[vit-r.livejournal.com]

Drools я видел. Это не совсем то, что мне нужно. У меня пользователь просто путешествует по дервеву (хотя, лучше, с пересечениями ветвей), собирая нужные характеристики и куски текста.

Правил мало, но их нужно создавать максимально просто.

[vit-r.livejournal.com]

Грубо говоря, мне и нужна удобная система описания знаний.

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

[raydac.livejournal.com]

если честно, ты на освоение "удобной системы описания правил" потратишь больше времени чем на разработку с нуля новой и в конце (что самое обидное) вдруг выяснишь, что вот дл твоего то случая она что то неочень удобная и не на столько универсальная

[vit-r.livejournal.com]

Как-то не внушает оптимизм "I'm currently searching for employment opportunitie..." на странице автора. Язык описания правил тоже не очень. Явно из восьмидесятых. И хочется правила не программировать, а собирать в GUI.

Впрочем, в расширениях попадается кое-что интересное. надо будет посмотреть.

[vit-r.livejournal.com]

Прежде, чем делать что-то своё, хорошо посмотреть, какие шишки люди уже набили. Ну и да, вдруг повезёт, и оно будет работать и под задачу подойдёт.

[rssh.livejournal.com]

Да, я думаю что эта отрасть в 70-ых отцвела, а сейчас вытеснена всякими data analysis. (кстати, может быть ниша .... )

[rssh.livejournal.com]

По GUI -- был еще такой ILOGRules - возможно у него есть наследник

[vit-r.livejournal.com]

Ага. Вроде, сейчас Business Rules Management System у IBM. Но у них как обычно страницы мутные. Придётся копать, что там из полезного есть.

[vit-r.livejournal.com]

Я, вот, недавно смотрел, как люди составляют онтологию. Очень оно по-ручному получается, совсем не автоматизированно.

[vdggenerator.livejournal.com]

Gensym G2

[vit-r.livejournal.com]

Это опять для бизнес-процессов, а не для анализа. И на маке не работает. Надо, видимо, на самом деле посмотреть, насколько BPEL задачи покрывает.

[sab123.livejournal.com]

На C++. Кстати, если путешествовать по деревьям, то ANTLR имеет для этого фичи.

[vit-r.livejournal.com]

На С++ как-то грустно.

ANTLR - немного не то, но надо будет посмотреть. Может для других задач подойдёт.

[serguei tarassov [arbinada.com] (from livejournal.com)]

Наша ERP была на прологе с 1978 до 1995 года примерно :)
До сих пор какие-то родимые пятна вылезают, хотя дело, конечно, не в Прологе.
А контора Prolog SA через дорогу.

[vit-r.livejournal.com]

Я ничего не имею против пролога, кроме того, что он, скорее, мёртв, чем жив. Жалко, японцы, со своими компьютерами пятого поколения так и не смогли ничего дельного поднять.

[serguei tarassov [arbinada.com] (from livejournal.com)]

Вроде, PDC Visual Prolog вполне жив?

кто вам сказал эту фигню про XML?

[serge shikov (from livejournal.com)]

В drools правила на чем угодно. XML есть в виде стандарта обмена правилами _между_ разными системами, и там он вполне уместен.

оно принципиально не лучше drools

[serge shikov (from livejournal.com)]

И намного дороже...

[sab123.livejournal.com]

Если считать вероятности, то все интерпретируемое получается на удивление медленно.

[vit-r.livejournal.com]

В этом смысле и Форт вполне жив. Но, по-моему, они больше похожи на зомби.

Re: кто вам сказал эту фигню про XML?

[vit-r.livejournal.com]

Ну всё-таки хочется стандарт для записи правил на нормальном языке. А что, кроме XML языков есть такого, чтобы не было решением для конкретного тула?

[vit-r.livejournal.com]

Для вероятностей нужны большие объёмы. Тут же хочется просто задавать правила, а конфликты решать запросом к человеку.

[sab123.livejournal.com]

Чем Перл не подоходит? Ну, или Питон или Тикл при альтернативных предпочтениях?

[vit-r.livejournal.com]

Вопрос был о том, решил ли кто-нибудь уже задачу таким образом, что это можно использовать универсально. Перлом делал много раз. Даже с подобием DSL, но хочется чего-нибудь уже готового. Тут даже подсказали вещи, которые почти подходят.

[serguei tarassov [arbinada.com] (from livejournal.com)]

Кажется, у пролога есть небольшое сообщество, у форта - только отдельные энтузиасты.
Тада лисп, его ж для экспертных систем придумывали :) Помню, была даже книжка по теме.

[inandout-oflove.livejournal.com]

Вот-вот, поделитесь знанием, если найдете

[vit-r.livejournal.com]

У меня где-то лежит книжка про Форт для экспертных систем. Зачем её в Германию привёз - сам не знаю. А людей, работающих с Фортом тут я видел больше, чем тех, кто что-то далал на Прологе. И в отличие от них те, что на Форте, программировали реальные микроконтроллеры в промышленных системах.

[(Anonymous)]

Не распугает, у меня в университете сразу попёр пролог, с первого семестра.

[vit-r.livejournal.com]

Университет и промышленность кардинально отличаются.

Re: кто вам сказал эту фигню про XML?

[rssh.livejournal.com]

Ops - таки действительно прикрутили ( http://docs.jboss.org/drools/release/5.2.0.M2/drools-expert-docs/html/ch05.html ) В самом начале у них найтивно был XML, а потом я за ними следить перестал..

[(Anonymous)]

Точно, университет продвинутей

[serguei tarassov [arbinada.com] (from livejournal.com)]

Да, я тоже помню книжку по разработке экспертных систем на Форте.
Фортт, все-таки, труден в отладке и реструктуризации словаря. Т.е. для проектов более несколько человеко-месяцев и более одного человека использовать затруднительно.

Re: кто вам сказал эту фигню про XML?

[serge shikov (from livejournal.com)]

Да это уже лет пять как, минимум...

Когда был только XML - это наверное самая первая версия была... Когда я смотрел на него в 2008, были MVEL, и другие варианты языков.

стандарт для записи правил

[serge shikov (from livejournal.com)]

таки по-моему только BRML, который XML. И ничего особо хорошего в нем в общем-то нет. Это просто формат импорта и экспорта, который многие поддерживают, но который для записи правил не удобен.

Не могу на 100% утверждать, но по-моему такого языка нет. Более того, даже в рамках iLog, к примеру, есть два языка минимум (не считая таблиц решений и пр. прибамбасов), BAL и IRL, разного уровня. Грубо говоря, если BAL это язык для пользователей, с возможностью локализации на родной язык, и записи правил в квази естественном виде, то IRL - это синтаксически что-то типа java, предикаты, кванторы и т.п, т.е. язык для разработчика, чтобы делать базовые правила, которые потом будут употреблять уже аналитики. Из него можно методы модели вызывать, то есть по сути, это такой DSL под JVM.

У jboss примерно тоже самое.

Можно конечно попробовать экспортировать правила из iLog и импортировать потом в Drools, изначально записав их на смеси разных языков - но у меня есть большие сомнения, что это возможно.

Re: стандарт для записи правил

[vit-r.livejournal.com]

Не могу на 100% утверждать, но по-моему такого языка нет.

Я искал - ничего не нашёл. Видел несколько студенческих разработок из универов, но они совсем уж студенческие.

[serguei tarassov [arbinada.com] (from livejournal.com)]

Вот, нашел случайно
http://protege.stanford.edu/