Язык разметки происхождения

Язык разметки Provenance (сокращенно PML ; первоначально назывался языком разметки Proof ) — это интерлингва для представления и обмена знаниями о том, как информация, опубликованная в Интернете, была получена из информационных источников и/или получена из веб-информации интеллектуальными агентами . Первоначально язык был разработан для поддержки языка разметки агентов DARPA с целью объяснить, как автоматизированные средства доказательства теорем (ATP) получают выводы из набора аксиом . Информация , вывода шаги , правила вывода и агенты — три основных строительных блока языка. В контексте этапа вывода информация может играть роль антецедента (также называемого предпосылкой) и заключения. Информация также может играть роль аксиомы, которая по сути является выводом, не имеющим никаких предшественников. PML использует широкое философское определение агента в отличие от любого другого более конкретного определения агента.

Использование PML в последующих проектах развило язык в новых направлениях, расширив его возможности представлять знания о происхождении за пределами сферы ATP и автоматизированных рассуждений . Первоначальный набор требований был смягчен и включал следующее: информация, первоначально представленная в виде логических предложений в формате обмена знаниями, могла быть информацией, написанной на любом языке, включая английский ; а правила вывода, первоначально определенные как закономерности в отношении антецедентов и выводов шагов вывода, могли быть недостаточно уточнены, пока они были идентифицированы и названы. Эти послабления были необходимы для объяснения того, как знания извлекаются из текста посредством использования компонентов извлечения информации. Улучшения также потребовались для дальнейшего понимания мотивации необходимости использования автоматизированных средств доказательства теорем для получения выводов: были добавлены новые возможности для аннотирования того, как информация, играющая роль аксиом, была атрибутами как утверждения из источников информации; а понятие вопросов и ответов было введено в язык, чтобы объяснить стороннему агенту, почему автоматическое средство доказательства теорем использовалось для доказательства теоремы (т. е. ответа) на основе заданного набора аксиом.

История развития

Первая версия PML (PML1) была разработана в Стэнфордского университета в Лаборатории систем знаний 2003 году и первоначально была написана в соавторстве с Пауло Пиньейру , Деборой МакГиннесс и Ричардом Файксом . ^[1] Вторая версия PML (PML2), разработанная в 2007 году, разделила PML1 на три модуля для снижения затрат на обслуживание и повторное использование: происхождение , обоснование и доверительные отношения. ^[2] Новая версия PML (PML3), основанная на PROV Консорциума World Wide Web, находится в стадии разработки. ^[3]

Ссылки

^ Паулу Пиньейру да Силва, Дебора Л. МакГиннесс, Ричард Файкс. Язык разметки доказательств для семантических веб-сервисов. Информационные системы 31 (4-5): 381–395, 2006 г.
^ Дебора Л. МакГиннесс, Ли Дин, Паулу Пиньейру да Силва, Синтия Чанг. PML2: Модульное объяснение Interlingua. В материалах семинара AAAI 2007 по вычислениям с учетом объяснений, Ванкувер, Британская Колумбия, Канада, 22–23 июля 2007 г.
^ «inference-web.org-главная страница Ресурсы и информация» . вывод-web.org .

Внешние ссылки

[1] Паулу Пиньейру да Силва, Дебора Л. МакГиннесс, Ричард Файкс. Язык разметки доказательств для семантических веб-сервисов. Информационные системы 31 (4-5): 381–395, 2006 г.

[2] Дебора Л. МакГиннесс, Ли Дин, Паулу Пиньейру да Силва, Синтия Чанг. PML2: Модульное объяснение Interlingua. В материалах семинара AAAI 2007 по вычислениям с учетом объяснений, Ванкувер, Британская Колумбия, Канада, 22–23 июля 2007 г.

[3] «inference-web.org-главная страница Ресурсы и информация» . вывод-web.org .

[1]

[2]

[3]