Флора-2
Flora-2 — это семантическая система с открытым исходным кодом , основанная на правилах, для представления и рассуждения знаний .Язык системы получен из F-логики , [1] Привет Лог , [2] и Логика транзакций . [3] Основание на F-логике и HiLog подразумевает, что объектно-ориентированный синтаксис и представление высшего порядка являются основными особенностями системы. Флора-2 также поддерживает форму отменяемых рассуждений, называемую логическим программированием с использованием значений по умолчанию и теориями аргументации (LPDA). [4] Приложения включают интеллектуальные агенты, семантическую сеть, сети баз знаний, управление онтологиями , интеграцию информации, анализ политик безопасности, автоматическую нормализацию баз данных и многое другое. [5] [6] [7] [8] [9] [10]
Флора-2 использует систему XSB в качестве механизма вывода. Конструкция и архитектура «Флоры-2» описаны в ряде работ. [11] [12] [13] [14]
Подробности работы системы и ее использования описаны в Руководстве пользователя Флора-2. [15] Flora-2 доступна для всех основных вычислительных платформ, включая Linux и другие версии Unix , Microsoft Windows и Mac OS X.
История
[ редактировать ]Флора-2 является преемницей системы «Флора» (1998–1999 гг.) и включает в себя опыт, полученный при разработке и использовании исходной системы «Флора». Проект «Флора-2» стартовал примерно в 2000 году Гуйчжэнем Яном и Майклом Кифером. В последующие годы его возглавил Майкл Кифер, и в нем было много других участников.
Проекты с использованием Флора-2
[ редактировать ]- TaOPiS — это социально-семантическое веб-приложение для поддержки самоорганизующихся сообществ. [16] [17] [18]
- Baze — это среда разработки баз данных, аналогичная Access и Base .
- ReasonablePython — это модуль, добавляющий F-логику в Python. [19]
- Проект FRDCSA разрабатывает расширение интерфейса Perl XSB для поддержки доступа к Flora-2 и HiLog из Perl и системы FreeKBS3.
Ссылки
[ редактировать ]- ^ М. Кифер, Г. Лаузен, Дж. Ву (1995). Основы объектно-ориентированных и фреймовых языков , журнал ACM, май 1995 г.
- ^ В. Чен, М. Кифер и Д.С. Уоррен (1993), HiLog: Фонд логического программирования высшего порядка . Журнал логического программирования, 1993.
- ^ Эй Джей Боннер и М. Кифер (1993), Транзакционно-логическое программирование , Международная конференция по логическому программированию (ICLP), 1993.
- ^ Х. Ван, Б. Грософ, М. Кифер, П. Фодор, С. Лян (2009), Логическое программирование с использованием значений по умолчанию и теории аргументации . 25-я Международная конференция по логическому программированию (ICLP 2009), июль 2009 г.
- ^ Х. Чен, Т. Финин и А. Джоши (2003). Онтология для контекстно-зависимых всеобъемлющих вычислительных сред , The Knowledge Engineering Review 18:3, Cambridge University Press.
- ^ Ю. Цзоу, Т. Финин, Х. Чен (2005). F-OWL: Механизм вывода для семантической сети , Формальные подходы к агентным системам, Конспекты лекций по информатике, версия 3228, Springer Verlag.
- ^ А. Д. Латтнер, Дж. Д. Герке, И. Дж. Тимм, О. Херцог (2005) Основанный на знаниях подход к принятию решений о поведении в интеллектуальных транспортных средствах , Симпозиум по интеллектуальным транспортным средствам, IEEE, стр. 466-471.
- ^ М. Малекович и М. Шаттен (2008) Лидерство в командном управлении знаниями - перспектива автопоэтической информационной системы , Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2008), Загребский университет.
- ^ Т. Ореховацкий, М. Шаттен, А. Ловренчич (2011) Реализация логической системы для тестирования функционально независимой нормальной формы в реляционных базах данных , Материалы 33-й Международной конференции по интерфейсам информационных технологий / Лужар-Стиффлер, Весна; Ярек, Ива ; Бекич, Зоран (ред.). - Загреб: Университетский вычислительный центр Загребского университета, 2011. 167-172 ( ISBN 978-953-7138-20-2 ).
- ^ М. Шаттен (2013) Управление знаниями в семантических социальных сетях , теория вычислительной и математической организации (1381-298X) 19, 4; 538-568
- ^ Г. Ян и М. Кифер (2000), Флора: реализация эффективной системы DOOD с использованием механизма табличной логики . Международный Конференция по вычислительной логике, июль 2000 г.
- ^ Г. Ян, Майкл Кифер и К. Чжао (2003), FLORA-2: основанная на правилах инфраструктура представления знаний и вывода для семантической сети . Вторая международная конференция по онтологиям, базам данных и приложениям семантики (ODBASE), Катания, Сицилия, Италия, ноябрь 2003 г.
- ^ М. Кифер (2005), Немонотонные рассуждения во Флоре-2 . Международная конференция. по логическому программированию и немонотонному рассуждению. Конспекты лекций по информатике, том 3662, 2005 г., стр. 1–12.
- ^ Г. Ян и М. Кифер (2003), Рассуждения об анонимных ресурсах и метазаявлениях в семантической сети . Журнал семантики данных. Конспекты лекций по информатике, том. 2800, Спрингер, 2003.
- ^ М. Кифер, Г. Ян, Х. Ван, К. Чжао (2013), Руководство пользователя Флора-2
- ^ М. Шаттен, М. Кубрило, Дж. Сева (2008) Семантическая вики-система, основанная на F-логике , Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2008), Загребский университет.
- ^ М. Шаттен, М. Кубрило, Дж. Сева (2009) Динамические запросы в семантических вики-системах , Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2009), Загребский университет.
- ^ М. Шаттен, В. Какулапати, М. Кубрило (2010) Рассуждения о социально-семантических веб-приложениях с использованием сходства строк и логики фреймов , Центральноевропейская конференция по информационным и интеллектуальным системам (CECIIS-2010), Загребский университет.
- ^ М. Шаттен (2007) Разумный Python или как интегрировать F-логику в объектно-ориентированный язык сценариев , Интеллектуальные инженерные системы (INES-2007), IEEE, стр. 297-300.