Добро пожаловать, гость
:: алгоритмы  и методы :: :: олимпиадные задачи :: :: связь :: :: о сайте :: :: форум ::

Форум работает в режиме архива, только для чтения и поиска.
Архив 2004 Архив 2007 Архив 2013

 
 
Опции темы Поиск в этой теме Опции просмотра
  #1  
Старый 11.11.2009, 18:30
Новичок

Отправить личное сообщение для Krieger Посмотреть профиль Найти все сообщения от Krieger
 
Регистрация: 11.11.2009
Сообщений: 1

Логический вывод
Здравствуйте.

Подскажите конкретные алгоритмы (открытые исходники реализации - вообще замечательно) логического вывода.

Задача:
Есть база фактов вида

Джонатан есть ласточка
ласточка есть птица
птица имеет часть - крылья
крылья имеют часть - перья

"есть", "имеет часть" - это транзитивные отношения.
Нужно строить ответы на запросы вида
объект1:отношение:объект2
Любые элементы запроса могут быть установлены в "?" (неопределённость, требующая конкретизации).

Кроме прямых совпадений, нужно показывать подходящие результаты логического вывода.
Например:
Джонатан:имеет часть:?
Нужно вывести:
Джонатан имеет часть крылья
Джонатан имеет часть перья

Я стал программировать реализацию, но уж черезчур замудрёный код получается.
Помогите не изобретать велосипед заново!
 


Опции темы Поиск в этой теме
Поиск в этой теме:

Расширенный поиск
Опции просмотра


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Вывод пути через матрицу последовательности узлов Алгоритм Флойда Cerberus Реализация, исходники, языки 1 18.11.2008 16:53
Вывод цветного текста на Си под Linux Гость Реализация, исходники, языки 3 17.11.2008 01:25
вывод бинарного дерева незарегистрированный Математические алгоритмы 1 08.05.2007 06:15