В. В. Разин, А. Ф. Тузовский Представление знаний о времени с учётом неопределённости



Скачать 94.58 Kb.
Pdf просмотр
страница1/5
Дата13.05.2018
Размер94.58 Kb.
ТипДоклад
  1   2   3   4   5


В.В. Разин, А.Ф. Тузовский. Представление знаний о времени с учётом неопределённости
Доклады ТУСУРа, № 2 (28), июнь 2013

157
УДК 004.89
В.В. Разин, А.Ф. Тузовский

Представление знаний о времени с учётом неопределённости
в онтологиях Semantic Web
Предложен подход к представлению знаний о времени в онтологиях Semantic Web. Представ- лена формальная модель описания моментов и промежутков времени с учётом возможной неопределённости знаний о них. Приведён пример использования модели для описания событий.
Ключевые слова: Semantic Web, OWL, описание времени, онтология.
Описание динамических систем в базах знаний в последнее время становится всё более насущ- ной потребностью современного мира. Системы, основанные на знаниях, – экспертные системы и системы поддержки принятия решений – становятся всё более привлекательными в свете растущих вычислительных мощностей и возможностей таких систем по логической обработке уже накоплен- ной в огромных количествах информации. Более того, развитие и повсеместное распространение геоинформационных систем, а также постоянно растущий интерес к системам анализа ситуаций ведут к необходимости представления как имеющейся, так и вновь поступающей информации в едином пространственно-временном контексте.
Время представляется в интеллектуальных системах либо в неявном виде при помощи модели- рования изменений состояния некоторой системы, либо в явном – на основе той или иной иерархии временных единиц. К числу методов, представляющих время в неявном виде, можно отнести в пер- вую очередь ситуационное исчисление [1]. Такие подходы оперируют «мгновенными снимками» состояний моделируемой системы и не учитывают протяжённость изменений во времени. К мето- дам представления времени в явном виде можно отнести многочисленные темпоральные логики: как основанные на аппарате классической логики (например, широко используемая интервальная алгебра Аллена [2] или псевдофизические временные логики Поспелова [3]), так и модальные логи- ки (линейная темпоральная логика LTL [4], пропозициональная логика ветвящегося времени BPTL
[5]). В общем случае методы явного представления времени обладают преимуществом высокой вы- разительности описания, но алгоритмы машинного логического вывода для них гораздо сложнее. В особенности это касается модальных темпоральных логик.
В настоящее время одной из наиболее перспективных и применяемых на практике технологий представления знаний является стек технологий Semantic Web. Центральным понятием Semantic
Web является онтология – модель предметной области, состоящая из множества понятий, множества экземпляров понятий и множества отношений (свойств). Отношения могут быть как объектными
(связывающими понятия и их экземпляры друг с другом), так и литеральными (связывающими с текстовыми строками). Множество понятий и отношений между ними определяет общую схему хранения данных, представленных как множество утверждений об экземплярах понятий, или акси- ом онтологии. Такие простые утверждения, называемые триплетами, имеют вид «субъект-предикат- объект». Основными языками, с помощью которых описываются онтологии Semantic Web, являются стандартизованные организацией W3C языки RDF/RDFS [6] и OWL [7], выгодно отличающиеся от других языков описания онтологий доступностью для интерпретации человеком. На данный момент для работы с OWL-онтологиями и базами знаний на их основе разработан широкий спектр ПО (на- пример, семантические хранилища Virtuoso, OWLIM или Oracle Spatial and Graph RDF Semantic
Graph).
Для определения взаимодействия элементов онтологии, а также описания изменений их со- стояния с течением времени используются продукционные правила вида «если… то…». Набор пра- вил, задаваемых пользователем, загружается в систему логического вывода, которая на основе со- держащихся в онтологии утверждений создает согласно этим правилам новые экземпляры понятий и отношений онтологии.


Каталог: filearchive
filearchive -> Рабочая программа дисциплины Наименование дисциплины в. Од. 4 Философия и методология науки Направление подготовки
filearchive -> Рабочая программа дисциплины
filearchive -> Рабочая программа дисциплины Наименование дисциплины в. Од. 1 Научная апологетика Направление подготовки
filearchive -> Рабочая программа дисциплины Наименование дисциплины в. Дв 2 Основное богословие Направление подготовки
filearchive -> Рабочая программа дисциплины Наименование дисциплины в. Од. 9 Патрология 5-8 веков Направление подготовки
filearchive -> Рабочая программа дисциплины Наименование дисциплины б 3 Пастырское богословие Направление подготовки
filearchive -> Рабочая программа дисциплины Наименование дисциплины в. Од. 3 «Экзегеза Ветхого Завета»
filearchive -> Рабочая программа дисциплины Наименование дисциплины б 2 Религиозная философия (История русской философии) Направление подготовки по направлению
filearchive -> Руководителям


Поделитесь с Вашими друзьями:
  1   2   3   4   5


База данных защищена авторским правом ©znate.ru 2017
обратиться к администрации

    Главная страница