Флора-2

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

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

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

История

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

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

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

Ссылки

  1. ^ М. Кифер, Г. Лаузен, Дж. Ву (1995). Основы объектно-ориентированных и фреймовых языков, Журнал ACM, май 1995.
  2. ^ W. Chen, M. Kifer и DS Warren (1993), HiLog: Основы программирования логики высшего порядка. Журнал логического программирования, 1993.
  3. ^ AJ Bonner и M. Kifer (1993), Транзактное логическое программирование , Международная конференция по логическому программированию (ICLP), 1993.
  4. ^ H. Wan, B. Grosof, M. Kifer, P. Fodor, S. Liang (2009), Логическое программирование с использованием значений по умолчанию и теорий аргументации. 25-я Международная конференция по логическому программированию (ICLP 2009), июль 2009 г.
  5. ^ Х. Чен, Т. Финин и А. Джоши (2003). Онтология для контекстно-зависимых всепроникающих вычислительных сред, The Knowledge Engineering Review 18:3, Cambridge University Press.
  6. ^ Y. Zou, T. Finin, H. Chen (2005). F-OWL: Машина вывода для семантической паутины, Формальные подходы к системам на основе агентов, Конспект лекций по информатике, т. 3228, Springer Verlag.
  7. ^ AD Lattner, JD Gehrke, IJ Timm, O. Herzog (2005) Подход на основе знаний к принятию решений о поведении в интеллектуальных транспортных средствах, Симпозиум по интеллектуальным транспортным средствам, IEEE, стр. 466-471.
  8. ^ М. Малекович и М. Шатен (2008) Лидерство в управлении знаниями на основе команды — перспектива автопоэтической информационной системы, Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2008), Загребский университет.
  9. ^ T. Orehovacki, M. Schatten, A. Lovrencic (2011) Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases, Труды 33-й Международной конференции по интерфейсам информационных технологий / Лужар-Стиффлер, Весна; Яреч, Ива; Бекич, Зоран (ред.). - Загреб: Университетский вычислительный центр, Университет Загреба, 2011. 167-172 ( ISBN  978-953-7138-20-2 ).
  10. ^ М. Шаттен (2013) Управление знаниями в семантических социальных сетях, вычислительная и математическая теория организации (1381-298X) 19, 4; 538-568
  11. ^ G. Yang и M. Kifer (2000), Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Международная конференция по вычислительной логике, июль 2000 г.
  12. ^ G. Yang, Michael Kifer и C. Zhao (2003), FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. Вторая международная конференция по онтологиям, базам данных и приложениям семантики (ODBASE), Катания, Сицилия, Италия, ноябрь 2003 г.
  13. ^ М. Кифер (2005), Немонотонные рассуждения в Flora-2. Международная конференция по логическому программированию и немонотонным рассуждениям. Конспект лекций по информатике, том 3662, 2005, стр. 1-12.
  14. ^ G. Yang и M. Kifer (2003), Рассуждения об анонимных ресурсах и метаутверждениях в семантической паутине. Журнал по семантике данных. Конспект лекций по информатике, том 2800, Springer, 2003.
  15. ^ М. Кифер, Г. Янг, Х. Ван, К. Чжао (2013), Руководство пользователя Flora-2
  16. ^ М. Шатен, М. Кубрило, Дж. Сева (2008) Семантическая вики-система на основе F-логики, Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2008), Загребский университет.
  17. ^ М. Шаттен, М. Кубрило, Дж. Сева (2009) Динамические запросы в семантических вики-системах, Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2009), Загребский университет.
  18. ^ М. Шаттен, В. Какулапати, М. Кубрилло (2010) Рассуждения о приложениях социальной семантической сети с использованием сходства строк и логики фреймов, Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2010), Загребский университет.
  19. ^ М. Шаттен (2007) Разумный Python или как интегрировать F-логику в объектно-ориентированный язык сценариев, Интеллектуальные инженерные системы (INES-2007), IEEE, стр. 297-300.
  • Сайт Флора-2.
Взято с "https://en.wikipedia.org/w/index.php?title=Flora-2&oldid=1237708515"