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

Язык разметки 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 ]