Пара вопросов новичка в декларативном программировании.

1. На чем проще реализовать базу знаний на базе семантической сети
из следующего списка:
— Prolog (SWI-Prolog);
— LISP (Common LISP);
— Scheme (Elk/mzScheme);
— Erlang;
— Ocaml;
— Haskell (ghc/hugs) ?

Среда разработки: Debian GNU/Linux

2. Есть ли свободные демонстрационные/исследовательские прототипы библиотек,
ориентированные на работу с семантическими сетями/базами знаний на их основе ?

3. Что рекомендуете почитать по семантическим сетям на русском языке из электронных/бумажных книг ?

Здравствуйте, pacify, Вы писали:

P>1. На чем проще реализовать базу знаний на базе семантической сети
P> из следующего списка:
P> — Prolog (SWI-Prolog);
P> — LISP (Common LISP);
P> — Scheme (Elk/mzScheme);
P> — Erlang;
P> — Ocaml;
P> — Haskell (ghc/hugs) ?

Тут есть такие вопросы:

1) Какие знания у тебя есть по этим языкам?
Если никаких, то затраты на освоение языка могут превысить простоту реализации.

2) Если это коллективная разработка то есть существенный риск не найти специалистов
по этим языкам.

Так что может стоит подумать о чем-то более распространенном.

А так вроде Пролог как раз для баз знаний создавался.

P> Среда разработки: Debian GNU/Linux

P>2. Есть ли свободные демонстрационные/исследовательские прототипы библиотек,
P> ориентированные на работу с семантическими сетями/базами знаний на их основе ?
Почему бы не начать копать отсюда ?
Да и вообще поиск в Google и на Sourceforge.net в помощь .

P>3. Что рекомендуете почитать по семантическим сетям на русском языке из электронных/бумажных книг ?
Думаю что на русском ничего нет.
Более того, браться за создание чего-то серьезного в этой области без знания английского я бы не стал.

Здравствуйте, Андрей Хропов, Вы писали:

АХ>Тут есть такие вопросы:

АХ>1) Какие знания у тебя есть по этим языкам?

Практически никаких. С Прологом также знаком поверхностно,
но чуть получше, так как есть книги на русском и немного
изучал в школе.

Мне показалось, что для баз знаний Пролог не годится,
так как для изменения алгоритма вывода надо иногда менять
порядок предложений, описывающих факты базы. Или я не прав ?

АХ> Если никаких, то затраты на освоение языка могут превысить простоту реализации.
АХ> ....
АХ>Так что может стоит подумать о чем-то более распространенном.

Угу. Для небольших семантических сетей можно попробовать Python, а там видно будет.

АХ>А так вроде Пролог как раз для баз знаний создавался.

P>>2. Есть ли свободные демонстрационные/исследовательские прототипы библиотек,
P>> ориентированные на работу с семантическими сетями/базами знаний на их основе ?

АХ>Почему бы не начать копать отсюда ?

Благодарю за ссылочку, вот здесь термин "semantic web" был определен по-другому.

АХ>Да и вообще поиск в Google и на Sourceforge.net в помощь .

It is already used. На Sourceforge отобрал три проекта (все написаны на Java):
— knowledge explorer;
— mindraider;
— ng4j.

Советую начать отсюда: Protege.
Наиболее популярный инструмент для работы с онтологиями. Для семантических сетей посмотри версию Protege Frames, но лучше сразу ориентироваться на OWL (соответсвенно, версия Protege OWL).

Как пример системы автоматического вывода можно получить ознакомительную версию Racer: www.racer-systems.com

Также есть и открытые проекты, например, Pellet (для первого знакомства там есть возможность поиграть с отнологиями через веб-интерфейс)

А также почитать стандарты w3c по RDF / OWL.

Удачи!

P>Пара вопросов новичка в декларативном программировании.

P>1. На чем проще реализовать базу знаний на базе семантической сети
P> из следующего списка:
P> — Prolog (SWI-Prolog);
P> — LISP (Common LISP);
P> — Scheme (Elk/mzScheme);
P> — Erlang;
P> — Ocaml;
P> — Haskell (ghc/hugs) ?

P> Среда разработки: Debian GNU/Linux

P>2. Есть ли свободные демонстрационные/исследовательские прототипы библиотек,
P> ориентированные на работу с семантическими сетями/базами знаний на их основе ?

P>3. Что рекомендуете почитать по семантическим сетям на русском языке из электронных/бумажных книг ?