Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Flora-2 - это основанная на семантических правилах система с открытым исходным кодом для представления знаний и рассуждений . Язык системы является производным от F-логики , [1] HiLog , [2] и логики транзакций . [3] Основание на F-логике и HiLog подразумевает, что объектно-ориентированный синтаксис и представление высшего порядка являются основными особенностями системы. Flora-2 также поддерживает форму проверяемых рассуждений, называемую логическим программированием с использованием значений по умолчанию и теориями аргументации (LPDA). [4] Приложения включают интеллектуальных агентов, семантическую сеть, сети баз знаний, онтологию.управление, интеграция информации, анализ политики безопасности, автоматическая нормализация базы данных и многое другое. [5] [6] [7] [8] [9] [10]

Flora-2 полагается на систему XSB для своего механизма вывода. Дизайн и архитектура «Флоры-2» описаны в ряде работ. [11] [12] [13] [14]

Подробности о системе и ее использовании описаны в Руководстве пользователя Flora-2. [15] Флора-2 доступна для всех основных вычислительных платформ, включая Linux и другие разновидности Unix , Microsoft Windows (32- и 64-бит) и Mac OS X .

История [ править ]

Flora-2 является преемником системы Flora (1998–1999) и включает в себя опыт, накопленный при разработке и использовании исходной системы Flora. Проект «Флора-2» начался примерно в 2000 году Гуйчжэнь Янгом и Майклом Кифером. В последующие годы ее возглавил Майкл Кифер, и у нее было много других участников.

Проекты с использованием флоры-2 [ править ]

  • TaOPiS - это социальное семантическое веб-приложение для поддержки самоорганизующихся сообществ. [16] [17] [18]
  • Baze - это среда разработки баз данных, аналогичная Access и Base .
  • ReasonablePython - это модуль, который добавляет F-Logic в Python. [19]
  • Проект FRDCSA разрабатывает расширение интерфейса Perl XSB для поддержки доступа к Flora-2 и HiLog из Perl и системы FreeKBS3.

Ссылки [ править ]

  1. ^ М. Кифер, Г. Lausen, Дж Ву (1995). Основы объектно-ориентированных и фрейм-ориентированных языков , Журнал ACM, май 1995 г.
  2. ^ В. Чен, М. Кифер и Д. С. Уоррен (1993), HiLog: основа для логического программирования высшего порядка . Журнал логического программирования, 1993.
  3. ^ AJ Боннер и М. Кифер (1993), Transaction логики программирования , Международная конференция по логическому программированию (ICLP), 1993.
  4. ^ Х. Ван, Б. Грософ, М. Кифер, П. Фодор, С. Лян (2009), Логическое программирование со значениями по умолчанию и теориями аргументации . 25-я Международная конференция по логическому программированию (ICLP 2009), июль 2009 г.
  5. ^ Х. Чен, Т. Финин и А. Джоши (2003). Онтология контекстно-зависимой всеобъемлющей вычислительной среды , Обзор инженерии знаний 18: 3, Cambridge University Press.
  6. ^ Ю. Цзоу, Т. Финин, Х. Чен (2005). F-OWL: механизм вывода для семантической паутины , формальные подходы к агент-ориентированным системам, лекции по информатике v. 3228, Springer Verlag.
  7. ^ AD Lattner, JD Gehrke, IJ Timm, O. Herzog (2005) Основанный на знаниях подход к принятию решения о поведении в интеллектуальных транспортных средствах, Симпозиум интеллектуальных транспортных средств, IEEE, стр. 466-471.
  8. ^ М. Малекович и М. Шаттен (2008) Лидерство в командном управлении знаниями - перспектива автопоэтической информационной системы , Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2008), Загребский университет.
  9. ^ Т. Ореховацки, М. Шаттен, А. Ловренчич (2011) Реализация логической системы для тестирования функциональной независимой нормальной формы в реляционных базах данных , Труды 33-й Международной конференции по интерфейсам информационных технологий / Лужар-Штиффлер, Весна; Ярек, Ива; Бекич, Зоран (ред). - Загреб: Университетский вычислительный центр Загребского университета, 2011. 167-172 ( ISBN  978-953-7138-20-2 ).
  10. ^ М. Шаттен (2013) Управление знаниями в семантических социальных сетях , вычислительная и математическая теория организации (1381-298X) 19, 4; 538-568
  11. ^ Г. Янг и М. Кифер (2000), Флора: Реализация эффективной системы DOOD с использованием логического механизма таблиц . Intl. Конференция по вычислительной логике, июль 2000 г.
  12. ^ Г. Янг, Майкл Кифер и К. Чжао (2003), FLORA-2: Основанное на правилах представление знаний и инфраструктура вывода для семантической сети . Вторая международная конференция по онтологиям, базам данных и приложениям семантики (ODBASE), Катания, Сицилия, Италия, ноябрь 2003 г.
  13. ^ М. Кифер (2005), Немонотонные рассуждения во Флоре-2 . Международная конф. по логическому программированию и немонотонным рассуждениям. Конспект лекций по информатике, том 3662, 2005 г., стр. 1-12.
  14. ^ Г. Янг и М. Кифер (2003), Рассуждения об анонимных ресурсах и мета-утверждениях в семантической сети . Журнал по семантике данных. Конспект лекций по информатике, том. 2800, Springer, 2003.
  15. ^ М. Кифер, Г. Ян, Х. Ван, К. Чжао (2013), Руководство пользователя Flora-2
  16. ^ М. Шаттен, М. Кубрило, Дж. Сева (2008) Семантическая вики-система, основанная на F-Logic , Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2008), Загребский университет.
  17. ^ М. Шаттен, М. Кубрило, Дж. Сева (2009) Динамические запросы в семантических вики-системах , Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2009), Загребский университет.
  18. ^ М. Шаттен, В. Какулапати, М. Кубрило (2010) Рассуждения о социальных семантических веб-приложениях с использованием подобия строк и фреймовой логики , Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2010), Загребский университет.
  19. ^ М. Шаттен (2007) Разумный Python или как интегрировать F-логику в объектно-ориентированный язык сценариев , Интеллектуальные инженерные системы (INES-2007), IEEE, стр. 297-300.

Внешние ссылки [ править ]

  • Сайт "Флора-2" .